FMCAD 2014
Formal Methods in Computer-Aided Design
Lausanne, Switzerland
October 21-24, 2014
NEWS: Registration is open. The venue page has detailed information about conference location, hotels, and travel resources.






To reach the program committee please use this email: fmcad2014pc@epfl.ch.

This email can be used as a last-resort method for paper submission if the usual
method fails or there is a reasonable suspicion that it is failing. It will accept reasonably
sized PDF attachments.

Organizing Committee

General and Program Chairs
Chalmers, Sweden
EPFL, Switzerland
Publication Chair
EPFL, Jasper DA, and CNRS/Verimag
Student Forum Chair
Yale University
Publicity Chair
IBM Research Lab, Zurich
Webmaster
The University of Texas at Austin

Program Committee

IBM
University of Passau
Johannes Kepler University
Synopsys
Microsoft Research
Atrenta
Politecnico di Torino
Hana Chockler
King's College
FBK-irst
Koen Claessen (Chair)
Chalmers University of Technology
SRI International
University of Oxford
Aalto University
University of British Columbia
University of Texas
Strategic CAD Lab, Intel
Computer Science Department, University of Oxford
Viktor Kuncak (Chair)
EPFL
Northeastern University
Microsoft Research
TIMA Laboratory, Grenoble
Galois, Inc.
Yale University
IBM Research Lab, Zurich
Intel Corporation
Uppsala University, Department of Information Technology
Microsoft Research Cambridge
Julien Schmaltz
Eindhoven University of Technology
Universita' della Svizzera Italiana
Anna Slobodova
Centaur Technology
Niklas Sorensson
Chalmers University of Technology
Daryl Stewart
ARM
The University of Iowa
ETH Zurich
Northeastern University
Vienna University of Technology

Steering Committee

Jason Baumgartner
IBM, USA
Johannes Kepler University in Linz, Austria
University of British Columbia, Canada
The University of Texas at Austin, USA

Valid HTML 4.01 Transitional