Participants
- Mohamed-Faouzi Atig (University of Paris VII, FR)
- Anindya Banerjee (IMDEA Software – Madrid, ES)
- Imene Ben Hafaiedh (VERIMAG – Grenoble, FR)
- Robert L. Bocchino Jr. (University of Illinois – Urbana-Champaign, US)
- Ahmed Bouajjani (University of Paris VII, FR)
- Klaus Dräger (Universität des Saarlandes, DE)
- Tayfun Elmas (Koc University – Istanbul, TR)
- Azadeh Farzan (University of Toronto, CA)
- Cormac Flanagan (University of California – Santa Cruz, US)
- Stephen Freund (Williams College – Williamstown, US)
- Pierre Ganty (IMDEA Software – Madrid, ES)
- Ganesh L. Gopalakrishnan (University of Utah – Salt Lake City, US)
- Alexey Gotsman (University of Cambridge, GB)
- Daniel Grossman (Adobe Systems Inc. – Seattle, US)
- Christian Hammer (Purdue University, US)
- Maurice Herlihy (Brown University – Providence, US)
- Claude Jard (IRISA – Rennes, FR)
- Vineet Kahlon (NEC Laboratories America, Inc. – Princeton, US)
- Akash Lal (University of Wisconsin – Madison, US)
- Florence Maraninchi (VERIMAG – Univ. of Grenoble, FR)
- Madhavan Mukund (Chennai Mathematical Institute, IN)
- Iulian Ober (IRIT – Toulouse, FR)
- Gennaro Parlato (University of Illinois – Urbana-Champaign, US)
- Madhusudan Parthasarathy (University of Illinois – Urbana-Champaign, US)
- Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
- Gustavo Petri (INRIA Sophia Antipolis – Méditerranée, FR)
- Shaz Qadeer (Microsoft Research – Redmond, US)
- Sophie Quinton (VERIMAG – Univ. of Grenoble, FR)
- Ganesan Ramalingam (Microsoft Research India – Bangalore, IN)
- Noam Rinetzky (Queen Mary University of London, GB)
- Koushik Sen (University of California – Berkeley, US)
- Vasu Singh (EPFL – Lausanne, CH)
- Armando Solar-Lezama (MIT – Cambridge, US)
- Francesco Sorrentino (University of Illinois – Urbana-Champaign, US)
- Martin Steffen (University of Oslo, NO)
- Serdar Tasiran (Koc University – Istanbul, TR)
- Frank Tip (IBM TJ Watson Research Center – Hawthorne, US)
- Viktor Vafeiadis (Microsoft Research UK – Cambridge, GB)
- Kapil Vaswani (Microsoft Research India – Bangalore, IN)
- Eran Yahav (IBM TJ Watson Research Center – Hawthorne, US)
- Lenore D. Zuck (NSF – Arlington, US)
