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

Keynote Speakers
Tutorial Programme (20-21/11/2006) | Wednesday 22/11/2006 | Thursday 23/11/2006 | Friday 24/11/2006
Keynote Speakers | List of Accepted Papers

Aaron Bradley and Zohar Manna (speaker) Friday, 24 November 2006, 9:00-10:00
Stanford University, USA ***** CANCELLED *****
Title: Verification Constraint Problems with Strengthening

Tobias Nipkow (speaker) Wednesday, 22 November 2006, 9:30-10:30
Technische Universität München, Germany
Title: Verifying a Hotel Key Card System

Mike Reed (speaker) Friday, 24 November 2006, 9:00-10:00
IIST, United Nations University, Macao SAR China ***** RESCHEDULED *****
Title: Topological Domains for Theoretical Computer Science

Jim Woodcock (speaker) and Leonardo Freitas Thursday, 23 November 2006, 9:00-10:00
University of York, UK
Title: Z/Eves and the Mondex smart card: a pilot project for the Grand Challenge in Verified Software

BACK TO TOP
 Created: Fri Nov 25 09:55:40 CST 2005 Maintained by 
 Updated: Mon Nov 20 04:58:44 CST 2006 Antonio Cerone