August 30 – September 4 , 2009, Dagstuhl Seminar 09361
Last update: January 26 2011

Design and Validation of Concurrent Systems

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)