FMCAD 2006
Formal Methods in Computer Aided Design
San Jose, CA, USA
November 12 - 16

Organizing Committee

Chairs

Aarti Gupta, NEC Laboratories America, USA
Panagiotis Manolios, Georgia Institute of Technology, USA
Local Arrangements
Jeremy Levitt, Mentor Graphics, USA
Vigyan Singhal, Oski Technology, USA
Panels
Andreas Kuehlmann, Cadence Labs, USA
Tutorials
Leonardo de Moura, Microsoft Research, USA
Webmasters

Sudarshan Srinivasan, Georgia Institute of Technology, USA
Daron Vroon, Georgia Institute of Technology, USA
Workshops
Ganesh Gopalakrishnan, University of Utah, USA

Program Committee