I C T A C - 2 0 0 6
3rd International Colloquium on Theoretical Aspects of Computing
Tunis, Tunisia, 20-24 November 2006
ICTAC Website

ICTAC School
Tunis, 13-17 November 2006

Tutorial Programme
Monday 20/11/2006 - Formal methods for distributed and cooperative systems
Tuesday 21/11/2006 - Decision Procedures for the formal analysis of software
Conference Programme

Tutorial 1: Monday, 20 November 2006 - Full Day

Formal methods for distributed and cooperative systems
by C. Choppy, L. Petrucci, H. Klaudel, S.Haddad, F.Kordon and Y. Thiery Mieg

Tutorial 2: Tuesday, 21 November 2006 - Full Day

Decision Procedures for the formal analysis of software
by D. Déharbe, P. Fontaine, S. Ranise and C. Ringeissen

BACK TO TOP
 Created: Mon Aug 21 10:34:42 CST 2006 Maintained by 
 Updated: Mon Aug 21 13:21:03 CST 2006 Antonio Cerone