Participants
- Marco Balduzzi (TREND MICRO Italy S.r.l. – Sesto San Giovanni, IT)
- Nataliia Bielova (INRIA Rennes – Bretagne Atlantique, FR)
- Arnar Birgisson (Chalmers UT – Göteborg, SE)
- Egon Börger (University of Pisa, IT)
- Bastian Braun (Universität Passau, DE)
- Juan Chen (Microsoft Corporation – Redmond, US)
- Ravi Chugh (University of California – San Diego, US)
- Jorge R. Cuéllar (Siemens AG – München, DE)
- Valentin Dallmeier (Universität des Saarlandes, DE)
- Philippe De Ryck (KU Leuven, BE)
- Lieven Desmet (KU Leuven, BE)
- Akhawe Devdatta (University of California – Berkeley, US)
- Daniele Filaretti (Imperial College London, GB)
- Cormac Flanagan (University of California – Santa Cruz, US)
- Cédric Fournet (Microsoft Research UK – Cambridge, GB)
- Michael Franz (University of California – Irvine, US)
- Dieter Gollmann (TU Hamburg-Harburg, DE)
- Arjun Guha (Cornell University, US)
- Daniel Hedin (Chalmers UT – Göteborg, SE)
- Mario Heiderich (Ruhr-Universität Bochum, DE)
- Boris Hemkemeier (Commerzbank AG – Frankfurt, DE)
- Michael Hicks (University of Maryland – College Park, US)
- Thorsten Holz (Ruhr-Universität Bochum, DE)
- Thomas Jensen (INRIA Rennes – Bretagne Atlantique, FR)
- Ranjit Jhala (University of California – San Diego, US)
- Martin Johns (SAP SE – Karlsruhe, DE)
- Shriram Krishnamurthi (Brown University – Providence, US)
- Ben Livshits (Microsoft Corporation – Redmond, US)
- Sergio Maffeis (Imperial College London, GB)
- Fabio Massacci (University of Trento, IT)
- John C. Mitchell (Stanford University, US)
- Nick Nikiforakis (KU Leuven, BE)
- Martin Ochoa (Siemens AG – München, DE)
- Frank Piessens (KU Leuven, BE)
- Joseph Gibbs Politz (Brown University – Providence, US)
- Joachim Posegga (Universität Passau, DE)
- Tamara Rezk (INRIA Sophia Antipolis – Méditerranée, FR)
- Eric Rothstein (Universität Passau, DE)
- Andrei Sabelfeld (Chalmers UT – Göteborg, SE)
- Sebastian Schinzel (Universität Erlangen-Nürnberg, DE)
- Juraj Somorovsky (Ruhr-Universität Bochum, DE)
- Nikhil Swamy (Microsoft Corporation – Redmond, US)
- Steven Van Acker (KU Leuven, BE)
- John Wilander (Hägersten, SE)
