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
|