|
Committees
Program ChairsByron Cook, Microsoft Research, United KingdomPaul Jackson, University of Edinburgh, United Kingdom Tayssir Touili, LIAFA-CNRS, France Program CommitteeRajeev Alur, University of Pennsylvania, USDomagoj Babic, UC Berkeley, US Christel Baier, Technical University of Dresden, Germany Roderick Bloem, Graz University of Technology, Austria Ahmed Bouajjani, LIAFA-University of Paris 7, France Alessandro Cimatti, FBK-irst, Italy Byron Cook, Microsoft Research, United Kingdom Javier Esparza, Technische Universität München, Germany Azadeh Farzan, University of Toronto, Canada Martin Fränzle, University of Oldenburg, Germany Ganesh Gopalakrishnan, University of Utah, US Mike Gordon, University of Cambridge, United Kingdom Orna Grumberg, Technion, Israel Ziyad Hanna, Jasper, US Holger Hermanns, Saarland University, Germany Alan Hu, University of British Columbia, Canada Paul Jackson, University of Edinburgh, United Kingdom Kevin Jones, City University London, United Kingdom Vineet Kahlon, NEC Labs, US Jean Krivine, PPS-CNRS, France Daniel Kroening, Oxford University, United Kingdom Sava Krstic, Intel Corporation, US Marta Kwiatkowska, Oxford University, United Kingdom Oded Maler, VERIMAG-CNRS, France Kenneth McMillan, Cadence, US David Monniaux, VERIMAG-CNRS, France Markus Müller-Olm, Muenster University, Germany Kedar Namjoshi, Bell Labs, US Doron Peled, Bar Ilan University, Israel Shaz Qadeer, Microsoft Research, US Jean-Francois Raskin, Brussels University, Belgium Natasha Sharygina, University of Lugano, Switzerland Tayssir Touili, LIAFA-CNRS, France Helmut Veith, Vienna University of Technology, Austria Kwangkeun Yi, Seoul National University, Korea Karen Yorav, IBM Haifa, Israel Greta Yorsh, IBM, US Steering CommitteeEdmund M. Clarke, Carnegie Mellon University, USMike Gordon, University of Cambridge, United Kingdom Orna Grumberg, Technion, Israel Robert P. Kurshan, Cadence, US Kenneth McMillan, Cadence, US Workshop Chair
Tomas Vojnar, Brno Univ. of Technology
|