Participants
- Rastislav Bodik (University of California – Berkeley, US)
- Satish Chandra (IBM TJ Watson Research Center – Yorktown Heights, US)
- Ewen W. Denney (NASA – Moffett Field, US)
- Bernd Finkbeiner (Universität des Saarlandes, DE)
- Sumit Gulwani (Microsoft Corporation – Redmond, US)
- Ashutosh Kumar Gupta (MPI-SWS – Saarbrücken, DE)
- Shachar Itzhaky (Tel Aviv University, IL)
- Barbara Jobstmann (VERIMAG – Grenoble, FR)
- Joost-Pieter Katoen (RWTH Aachen, DE)
- Uri Klein (New York University, US)
- Viktor Kuncak (EPFL – Lausanne, CH)
- Martin Leucker (TU München, DE)
- Yanhong Annie Liu (SUNY – Stony Brook, US)
- Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
- Nir Piterman (Imperial College London, GB)
- Andreas Raabe (fortiss GmbH – München, DE)
- Andrey Rybalchenko (MPI-SWS – Saarbrücken, DE)
- Sven Schewe (University of Liverpool, GB)
- Johann M. Schumann (NASA – Moffett Field, US)
- Douglas R. Smith (Kestrel Institute, US)
- Armando Solar-Lezama (MIT – Cambridge, US)
- Saurabh Srivastava (University of Maryland – College Park, US)
- Martin Vechev (IBM TJ Watson Research Center – Yorktown Heights, US)
- Richard Waldinger (SRI – Menlo Park, US)
- Eran Yahav (IBM TJ Watson Research Center – Hawthorne, US)
- Greta Yorsh (IBM TJ Watson Research Center – Yorktown Heights, US)
