ICTAC 2007
The 4th International Colloquium on Theoretical Aspects of Computing

26 September - 28 September 2007

Macao SAR, China

 

ORGANIZATION

 

Conference Committee

 

  • General Chairs

John Fitzgerald, Newcastle University, UK

George Michael Reed, UNU-IIST, Macao

  • Program Chairs

Cliff Jones, Newcastle University, UK

Zhiming Liu, UNU-IIST, Macao

Jim Woodcock, University of York, UK

  • Organisation Chairs

Chris George, UNU-IIST, Macao

  • Workshop Chair

Dang Van Hung, UNU-IIST, Macao

  • Publicity Chair

Bernhard K. Aichernig Graz University of Technology, Austria

 

 

Program Committee

 

  • Micheal mac an Airchinnigh, IE
  • Farhad.Arbab, NL
  • Kamel Barkaoui, FR
  • Jonathan P. Bowen, UK
  • Andrew Butterfield, IE
  • Ana Cavalcanti, UK
  • Antonio Cerone, MO
  • Jim Davies, UK
  • David Deharbe, BR
  • Jin Song Dong, SG
  • Lindsay Groves, NZ
  • Stefan Hallerstede, CH
  • Michael Hansen, DK
  • Ian Hayes, AU
  • Dang Van Hung, MO
  • Mathai Joseph, IN
  • Joseph Kiniry, IE
  • Peter Gorm Larsen,DK
  • Xuandong Li, CN
  • Shaoying Liu, JP
  • Ali Mili, US
  • Joe Morris, IE
  • Leonor Prensa Nieto, FR
  • Anders Ravn, DK
  • Augusto Sampaio, BR
  • Emil Sekerinski, CA
  • Natarajan Shankar, US
  • Ji Wang, CN
  • Hongseok Yang, UK
  • Naijun Zhan, CN
  • Huibao Zhu, CN

 

Advisory Committee

 

  • Dines Bjørner, Technical University of Denmark, Denmark
  • Manfred Broy, Technische Universität München, Germany
  • José Luiz Fiadeiro, University of Leicester, UK
  • Jifeng He, East China Normal University, China
  • Mathai Joseph, TRDDC, Tata Consultancy Services, India
  • Shaoying Liu, Hosei University, Japan
  • Zhiming Liu, UNU-IIST, Macao SAR, China (Coordinator)
  • Zohar Manna, Stanford University, USA
  • Tobias Nipkow, Technische Universität München, Germany
  • Mike Reed, UNU-IIST, Macao SAR, China
  • Jim Woodcock, York University, UK