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

26 September - 28 September 2007

Macao SAR, China

SPONSORS

UNU-IIST http://www.iist.unu.edu
Formal Methods Europe http://www.fmeurope.org/
Macau Polytechnic Institute http://www.ipm.edu.mo
Macao Foundation http://www.fmac.org.mo/