Program Chairs

  • Fabio Gadducci (University of Pisa, Italy)
  • Timo Kehrer (Humboldt University of Berlin, Germany)

Program Committee

  • Paolo Baldan, University of Padua, Italy
  • Paolo Bottoni, Sapienza University of Rome, Italy
  • Andrea Corradini, University of Pisa, Italy
  • Juan De Lara, Autonomous University of Madrid, Spain
  • Juergen Dingel, Queen‘s University Kingston, Ontario, Canada
  • Reiko Heckel, University of Leicester, United Kingdom
  • Thomas Hildebrandt, University of Copenhagen, Denmark
  • Wolfram Kahl, McMaster University, Canada
  • Aleks Kissinger, University of Oxford, United Kingdom
  • Jean Krivine, CNRS, France
  • Barbara König, University of Duisburg-Essen, Germany
  • Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany
  • Yngve Lamo, Western Norway University of Applied Sciences, Bergen, Norway
  • Koko Muroya, Kyoto University, Japan
  • Fernando Orejas, Technical University of Catalonia, Barcelona, Spain
  • Detlef Plump, University of York, United Kingdom
  • Arend Rensink, University of Twente Enschede, Netherlands
  • Leila Ribeiro, Federal University of Rio Grande do Sul, Porto Alegre, Brazil
  • Andy Schürr, Technical University of Darmstadt, Germany
  • Gabriele Taentzer, Philipps University of Marburg, Germany
  • Matthias Tichy, University of Ulm, Germany
  • Uwe Egbert Wolter, University of Bergen, Norway
  • Steffen Zschaler, King’s College London, United Kingdom

Publicity Chair

  • Nicolas Behr, University of Paris, France