CATS'07 Program Committee

• Tetsuo Asano JAIST, Japan.
• Otfried Cheong KAIST, Korea
• David Clarke CWI, Amsterdam
• Rowan Davies University of Wesern Australia
• Joachim Gudmundsson (Co-chair) NICTA, Australia
• Barry Jay (Co-chair) UTS, Australia
• Mike Johnson Macquarie University, Australia
• Bruce Litow James Cook University, Australia
• John Lloyd Australian National University, Australia
• Prabhu Manyem University of Ballarat, Australia
• Brendan McKay Australian National University, Australia
• David Pearce Victoria University of Wellington, New Zealand
• Kunihiko Sadakane Kyushu University, Japan
• Tasos Viglas University of Sydney, Australia