Organization
Program Committee
Farhad Arbab CWI and Leiden University, The Netherlands
David Aspinall University of Edinburgh, UK
Marcello M. Bersani Politecnico di Milano, Italy
Eike Best Universität Oldenburg, Germany
Nikolaj Bjørner Microsoft Research, USA
Nail Bukharaev Kazan Federal University, Russia
Andrea Calì University of London, Birkbeck College, UK
Mauro Caporuscio Politecnico di Milano, Italy
Néstor Cataño Madeira Interactive Technologies Institute, Portugal
Gabriel Ciobanu Romanian Academy, Iasi, Rom ania
Volker Diekert University of Stuttgart, Germany
Salvatore Distefano University of Mess ina, Italy
Nicola Dragoni Technical University of Denmark, Denmark
Schahram Dustdar TU Wien, Austria
Dieter Fensel University of Innsbruck, Austria
Carlo A. Furia ETH Zurich, Switzerland
Carlo Ghezzi Politecnico di Milano, Italy
Sergei Gorlatch University of Münster, Germany
Jan Fr iso Groote Eindhoven University of Technology, The Netherlands
Arie Gurfinkel Carnegie Mellon University, USA
Cliff Jones Newcastle University, UK
Joost-Pieter Katoen RWTH Aachen University, Germany
Konstantin Korovin The University of Manchester, UK
Maciej Koutny Newcastle University, UK
Laura Kovacs Chalmers University of Technology, Sweden
Gregory Kucherov CNRS/LIGM, France
Johan Lilius A bo Akademi University, Finland
Anthony Widjaja Lin Yale-NUS College, USA
Zhiming Liu Birmingham City University, UK
Jan Madse n Technical University of Denmark
Rupak Majumdar MPI-SWS, Germany
Manuel Mazzara Innopolis University, Russia
Klaus Meer TU Cottbu s, Germany
Hernan Melgratti Universidad de Buenos Aires, Argentina
Bertrand Meyer ETH Zurich, Switzerland
Torben Mogensen DIKU, Denmark
Peter Mosses Swansea University, UK