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