Formal Methods in Computer-Aided Design, 3-6 October, 2016, Mountain View, CA, USA

Committees

General and Program Chairs

Publication Chair

Florian Zuleger, Technische Universität Wien

Local Arrangements Chair & Webmaster

Program Committee
Pranav Ashar Real Intent
Domagoj Babic Google
Armin Biere Johannes Kepler University Linz
Roderick Bloem Graz University of Technology
Ahmed Bouajjani University of Paris
Gianpiero Cabodi Politecnico di Torino
Supratik Chakraborty IIT-Mumbai
Leonardo de Moura Microsoft Research
Michael Emmi IMDEA Software Institute
Malay Ganai Synopsys
Arie Gurfinkel SEI, Carnegie Mellon University
Ziyad Hanna Cadence Design System
Fei He Tsinghua University
Keijo Heljanko Aalto University
Warren Hunt University of Texas Austin
Himanshu Jain Synopsys
Gerwin Klein NICTA and UNSW
Daniel Kroening University of Oxford
Shuvendu Lahiri Microsoft Research
Rebekah Leslie-Hurd Intel
Panagiotis Manolios Northeastern University
Kenneth McMillan Microsoft Research
John O’Leary Intel
Lee Pike Galois, Inc.
Ruzica Piskac Yale University (co-chair)
Ahmed Rezine Linköping University
Sean Safarpour Synopsys
Divjyot Sethi CISCO
Natasha Sharygina University of Lugano
Sharon Shoham Tel Aviv
Muralidhar Talupur FormalSim Inc (co-chair)
Michael Tautschnig Queen Mary University of London
Tomas Vojnar Brno University of Technology
Chao Wang Virginia Tech
Eran Yahav Technion
Florian Zuleger Technische Universität Wien
Steering Committee
Armin Biere Johannes Kepler University in Linz, Austria
Alan Hu University of British Columbia, Canada
Warren A. Hunt, Jr. The University of Texas at Austin, USA
Vigyan Singhal Oski Tech