09. – 13. April 2012, Dagstuhl Seminar 12152
Letzte Aktualisierung: 09. November 2012

Software Synthesis

Participants

  • Rajeev Alur (University of Pennsylvania – Philadelphia, US)
  • Don Batory (University of Texas – Austin, US)
  • Rastislav Bodik (University of California – Berkeley, US)
  • Krzysztof Czarnecki (University of Waterloo, CA)
  • Jyotirmoy Deshmukh (University of Pennsylvania – Philadelphia, US)
  • Laurent Doyen (ENS – Cachan, FR)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Pierre Flener (Uppsala University, SE)
  • Franz Franchetti (Carnegie Mellon University, US)
  • Sumit Gulwani (Microsoft Corporation – Redmond, US)
  • Amey Karkare (Indian Institute of Technology – Kanpur, IN)
  • Hadas Kress-Gazit (Cornell University, US)
  • Vu Le (University of California – Davis, US)
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE)
  • Oded Maler (VERIMAG – Grenoble, FR)
  • Mark Marron (IMDEA Software – Madrid, ES)
  • Alon Mishne (Technion – Haifa, IL)
  • Jean-Noël Monette (Uppsala University, SE)
  • Georg Ofenbeck (ETH Zürich, CH)
  • Doron A. Peled (Bar-Ilan University – Ramat Gan, IL)
  • Ruzica Piskac (MPI-SWS – Saarbrücken, DE)
  • Nir Piterman (University of Leicester, GB)
  • Corneliu Popeea (TU München, DE)
  • Subhajit Roy (Indian Institute of Technology – Kanpur, IN)
  • Roopsha Samanta (University of Texas – Austin, US)
  • Sven Schewe (University of Liverpool, GB)
  • Sanjit A. Seshia (University of California – Berkeley, US)
  • Armando Solar-Lezama (MIT – Cambridge, US)
  • Saurabh Srivastava (University of California – Berkeley, US)
  • Philippe Suter (EPFL – Lausanne, CH)
  • Nathalie Sznajder (UPMC – Paris, FR)
  • Emina Torlak (University of California – Berkeley, US)
  • Stavros Tripakis (University of California – Berkeley, US)
  • Martin Vechev (ETH Zürich, CH)
  • Christian von Essen (VERIMAG – Grenoble, FR)
  • Eran Yahav (Technion – Haifa, IL)
  • Jean Yang (MIT – Cambridge, US)