Programme committee

Uwe Glässer (CoChair), Simon Fraser University, Canada

Dominique Méry (CoChair), Université de Lorraine & LORIA, France

Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Étienne André, LIPN , Université Paris 13, France
Christian Attiogbé, L2N , Université de Nantes, France
Richard Banach, University of Manchester, UK
Maurice ter Beek, ISTI-CNR, Italy
Nikolaj Bjørner, Microsoft; USA
Jean-Paul Bodeveix, IRIT, France
Egon Boerger, Università di Pisa, Italy
Eerke Boiten, De Montfort University, Leicester, UK
Silvia Bonfanti, University of Bergamo, Italy
Michael Butler, University of Southampton, UK
Andrew Butterfield, Trinity College Dublin; Ireland
Ana Cavalcanti, University of York, UK
José Creissac Campos, University of Minho & HASLab/INESC TEC, Portugal
David Deharbe, ClearSy System Engineering, France
Juergen Dingel, Queen’s University, UK
Catherine Dubois, ENSIIE-Samovar, France
Guillaume Dupont, IRIT/INPT, France
Marie Farrell, The University of Manchester, UK
Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
Marc Frappier, University of Sherbrooke, Canada
Angelo Gargantini, University of Bergamo, Italy
Vincenzo Gervasi, University of Pisa, Italy
Uwe Glaesser, Simon Frazer University, Canda
Gudmund Grov, University of Oslo, Norway
Stefan Hallerstede, Aarhus University, Denmark
Klaus Havelund, Jet Propulsion Laboratory, USA
Ian J. Hayes, The University of Queensland, Australia
Thai Son Hoang, University of Southampton, U7K
Frank Houdek, Mercedes-Benz AG, Austria
Alexei Iliasov, The Formal Route, UK
Fuyuki Ishikawa, National Institute of Informatics, Japan
Igor Konnov, Informal Systems, Austria
Olga Kouchnarenko, University of Franche-Comté
Markus Alexander Kuppe, Lemmster, Germany
Regine Laleau, Paris Est Creteil University, France
Thierry Lecomte, CLEARSY, France
Martin Leucker, University of Luebeck, Germany
Michael Leuschel, University of Düsseldorf, Germany
Alexei Lisitsa, University of Liverpool, Germany
Nuno Macedo, University of Porto & INESC TEC, Portugal
Frederic Mallet, Universite Nice Sophia-Antipolis, France
Tiziana Margaria, Lero University of Limerick , Ireland
Paolo Masci, National Institute of Aerospace (NIA), USA
Atif Mashkoor, Johannes Kepler University, Linz, Austria
Jackson Mayo, Sandia National Laboratories, USA
Dominique Mery, Université de Lorraine, LORIA, France
Stephan Merz, Inria LORIA, France
Stefan Mitsch, Carnegie Mellon University, USA
Rosemary Monahan, Maynooth University, Ireland
Mohamed Mosbah, LaBRI – University of Bordeaux, France
Shin Nakajima, National Institute of Informatics, Japan
Uwe Nestmann, TU Berlin, Germany
Jose Oliveira, University of Minho, Portugal
Philippe Palanque, ICS-IRIT, University Toulouse 3, France
Luigia Petre, Åbo Akademi University, Finland
Andreas Prinz, University of Agder, Austria
Philippe Queinnec, IRIT – Université de Toulouse, France
Alexander Raschke, Ulm University, Germany
Elvinia Riccobene, University of Milan, Italy
Markus Roggenbach, Swansea University, UK
Patrizia Scandurra, University of Bergamo, Italy
Gerhard Schellhorn, Universitaet Augsburg, Germany
Klaus-Dieter Schewe, Zhejiang University, China
Steve Schneider, University of Surrey, UK
Neeraj Singh, INPT-ENSEEIHT / IRIT, University of Toulouse, France
Elena Troubitsyna, KTH, Sweden
Laurent Voisin, Systerel, France
Alan Wassyng, McMaster University, Canada
Virginie Wiels, ONERA / DTIS, France
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Huibiao Zhu, East China Normal University, China
Wolf Zimmermann, Martin Luther University Halle-Wittenberg, FGermanby

Comments are closed.