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 - Committees

Steering Committee

Special Tracks Chairs

Workshop Chair

Program Committee

Organizing Committee