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 Home Overview Important Dates Call for Papers Call for Tutorials Paper Submission Closed Keynote Speakers Committees Tutorial Programme Conference Programme Social Programme Registration & Hotels Scholarships General Information Tourist Information Sponsors PC Login	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