ICTAC 2010 banner. 1-3 September 2010, Natal, Brazil.

Menu:

Satellite events:


Sponsors:

UFRN

Formal Methods Europe

CNPq

CAPES

Miranda Computação


Co-promotion:


Links:

UNU-IIST
DIMAp
PPgSC

ICTAC 2010 - Important Dates