Conference Chairs

• General Chair
  • Carlo Combi (Università di Verona, Italy)
• Program Committee Chair
  • Martin Leucker (Universität zu Lübeck, Germany)
  • Frank Wolter (University of Liverpool, UK)

Program committee

• Alessandro Artale (Free University of Bozen-Bolzano, Italy)
• Philippe Balbiani (IRIT, CNRS, France)
• Claudio Bettini (Università di Milano, Italy)
• Benedikt Bollig (LSV, CNRS, France)
• Luboš Brim (Masaryk University, Czech Republic)
• Antonio Cau (De Montfort University, UK)
• Dang Van Hung(VNU, Vietnam)
• Clare Dixon (University of Liverpool, UK)
• Rajeev Goré (ANU, Australia)
• Dimitar Guelev (BAS, Bulgaria)
• Peter Habermehl (University Paris Diderot, LIAFA , France)
• Ian Hodkinson (Imperial College London, UK)
• Roman Kontchakov (Birkbeck, University of London, UK)
• Salvatore La Torre (Università di Salerno, Italy)
• Ranko Lazic (University of Warwick, UK)
• Martin Leucker (Universität zu Lübeck, Germany)
• Kamal Lodaya (IMSc, India)
• Nicolas Markey (CNRS, ENS Cachan, France)
• Angelo Montanari (Università di Udine, Italy)
• Ben Moszkowski (DMU, UK)
• Dirk Nowotka (Universität Stuttgart, Germany)
• Paritosh K. Pandya (Tata Institute of Fundamental Research, India)
• Jean-Francois Raskin (Université Libre de Bruxelles, Belgium)
• Peter Revesz (University of Nebraska-Lincoln, USA)
• Mark Reynolds (University of Western Australia, Australia)
• Martin Sachenbacher (TUM, Germany)
• César Sánchez (IMDEA, CSIC, Spain)
• Christian Schallhart (Oxford University, UK)
• Stefan Wölfl (Albert-Ludwigs-Universität Freiburg, Germany)
• Frank Wolter (University of Liverpool, UK)
• Naijun Zhan (ISCAS, China)
• Esteban Zimányi (Université Libre de Bruxelles, Belgium)

Organizing committee

Institute of Software Engineering and Programming Languages
Universität zu Lübeck, Germany

• Chair
  • Martin Leucker
• Staff
  • Gerhard Buntrock
  • Arne Busch
  • Normann Decker
  • Hedwig Hellkamp
  • Annette Stümpel