Organizing Committee
Chairs |
|
|---|---|
Tutorials | Anna Slobodova, Centaur Technology, USA |
Panels |
Carl Pixley, Synopsys Inc., Hillsboro, USA |
Local
Arrangements |
Annette Bunker, Intel Corp., USA |
Publicity |
Lee Pike, Galois Inc., USA |
Webmasters |
Anders Franzen, FBK-irst, Trento, Italy Alberto Griggio, University of Trento, Italy |
Program Committee
- Mark Aagaard, University of Waterloo, Canada
- Jason Baumgartner, IBM Corporation, USA
- Valeria Bertacco, University of Michigan, USA
- Armin Biere, Johannes Kepler University, Austria
- Per Bjesse, Synopsys, USA
- Roderick Bloem, TU Graz, Austria
- Dominique Borrione, Grenoble University, France
- Gianpiero Cabodi, Politecnico di Torino, Italy
- Alessandro Cimatti (co-chair), FBK-irst, Trento, Italy
- Koen Claessen, Chalmers University of Technology, Sweden
- Ganesh Gopalakrishnan, University of Utah, USA
- Aarti Gupta, NEC Laboratories America, USA
- Alan J. Hu, University of British Columbia, Canada
- Robert Jones (co-chair), Intel Corp., USA
- Daniel Kroening, Oxford University, UK
- Andreas Kuehlmann, Cadence Laboratories, USA
- Wolfgang Kunz, University of Kaiserslautern, Germany
- Shuvendu Lahiri, Microsoft, USA
- Jeremy Levitt, Mentor Graphics, USA
- Panagiotis Manolios, Northeastern University, USA
- Andy Martin, IBM Research Division, USA
- Tom Melham, Oxford University, UK
- Ken McMillan, Cadence Labs, USA
- John O'Leary, Intel Corp., USA
- Lee Pike, Galois Inc., USA
- Rajeev Ranjan, Jasper Design Automation, USA
- Sandip Ray, University of Texas at Austin, USA
- Alper Sen, Freescale Austin, USA
- Natasha Sharygina, University of Lugano, Switzerland
- Eli Singerman, Intel Corp., Israel
- Fei Xie, Portland State U., USA
- Karen Yorav, IBM Haifa Research Laboratory, Israel