• Home
• Accepted Papers
• Paper Submission
• Invited Speakers
• Industry Day
• Co-located events
• Workshops
• Tutorials
• Doctoral Symposium
• Verification Competition
• Program Committee
• Important Dates
• External Links
• Local Information
• Finance & Sponsors
• Exhibition-tools demonstration
• Publicity Chairs
• Registration

Invited Speakers

Martin Abadi, Microsoft Research Silicon Valley and UC Santa Cruz

Asaf Degani, General Motors

Alan Wassyng, McMaster University

Conservatoire National des Arts et Métiers - 292 rue Saint-Martin F-75141 Paris Cédex 03 - Tél.: 33 (0)1 40 27 20 00