Committees

Program Committee

  • Thomas Ågotnes, Univ. of Bergen
  • Alessandro Artale, Free Univ. of Bolzano-Bozen
  • Sourav S. Bhowmick, Nanyang Technical Univ.
  • Michael Böhlen, Univ. of Zurich
  • Amedeo Cesta, ISTC-CNR, Rome
  • Carlo Combi, Univ. of Verona
  • Stephane Démri, CNRS, Cachan
  • Clare Dixon, Univ. of Liverpool
  • Curtis Dyreson, Utah State Univ.
  • Johann Eder, Alpen Adria Univ. Klagenfurt
  • Shashi K. Gadia, Iowa State Univ.
  • Rajeev Goré, Australian National Univ., Canberra
  • Fabio Grandi, Univ. of Bologna (PC co-chair)
  • Keijo Heljanko, Aalto Univ.
  • Wojciech Jamroga, Polish Academy of Sciences, Warsaw
  • Felix Klaedtke, NEC Research, Heidelberg
  • Martin Lange, Univ. of Kassel (PC co-chair)
  • Francois Laroussinie, Univ. of Paris 7
  • Martin Leucker, Univ. of Lübeck
  • Alessio Lomuscio, Imperial College (PC co-chair)
  • Étienne Lozes, ENS Cachan
  • Federica Mandreoli, Univ. of Modena and Reggio Emilia
  • Jerzy Marcinkowski, Univ. of Wroclaw
  • Angelo Montanari, Univ. of Udine
  • Ben Moszkowski, Univ. of Newcastle
  • Aniello Murano, Univ. of Napoli "Federico II"
  • Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim
  • Dirk Pattinson, Australian National Univ., Canberra
  • Ram Ramanujam, IMS Chennai
  • Mark Reynolds, Univ. of Western Australia
  • Sven Schewe, Univ. Liverpool
  • Paolo Terenziani, Univ. of Turin
  • Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign
  • James Worrell, Univ. of Oxford
  • Robert Wrembel, Poznan Univ. of Technology

Organisation Committee

  • Stefan Achler, Univ. of Kassel
  • Florian Bruse, Univ. of Kassel
  • Norbert Hundeshagen, Univ. of Kassel
  • Daniel Kernberger, Univ. of Kassel
  • Tina Landefeld, Univ. of Kassel
  • Martin Lange, Univ. of Kassel
  • Michael Möller, Univ. of Kassel

Steering Committee

  • Claudio Bettini, University of Milan
  • Stephane Démri, LSV, CNRS & ENS de Cachan
  • Clare Dixon, University of Liverpool
  • Martin Leucker, Univ. of Lübeck
  • Angelo Montanari, Univ. of Udine
  • Mark Reynolds, The University of Western Australia
  • David Toman, University of Waterloo
  • André Trudel, Acadia University
  • Jef Wijsen, Université de Mons