Program Chairs

Program Committee

  • Roderick Bloem (Graz University of Technology)
  • Swarat Chaudhuri (Rice University)
  • Pedro D'Argenio (Universidad Nacional de Cordoba)
  • Rayna Dimitrova (MPI-SWS)
  • Rüdiger Ehlers (University of Bremen)
  • Bernd Finkbeiner (Saarland University)
  • Dana Fisman (co-chair, Ben-Gurion University)
  • Swen Jacobs (co-chair, Saarland University)
  • Stéphane Lafortune (University of Michigan)
  • Alessio Lomuscio (Imperial College, London)
  • Doron Peled (Bar-Ilan University)
  • Ruzica Piskac (Yale University)
  • Nadia Polikarpova (Massachusetts Institute of Technology)
  • Arjun Radhakrishna (University of Pennsylvania)
  • Veselin Raychev (ETH Zurich)
  • Roopsha Samanta (Purdue University)
  • Ocan Sankur (Irisa Rennes)
  • Sven Schewe (University of Liverpool)
  • Armando Solar-Lezama (MIT)
  • Ufuk Topcu (University of Texas at Austin)
  • Frits Vaandrager (University of Washington)
  • Damien Zufferey (MPI-SWS)

Steering Committee