Skip to content
Program Chairs
- Yliès Falcone, Univ. Grenoble Alpes, Inria, Grenoble, France
- Leonardo Mariani, University of Milano Bicocca, Milano, Italy
Program Committee
- Marcelo d’Amorim, Universidade Federal de Pernambuco, Brazil
- Sébastien Bardin, CEA, France
- Ezio Bartocci, TU Vienna, Austria
- Benoit Baudry, KTH, Stockholm, Sweden
- Domenico Bianculli, University of Luxembourg, Luxembourg
- Walter Binder, University of Lugano, Switzerland
- Marius Bozga, CNRS, France
- Ana Rosa Cavalli, Telecom Sud Paris, France
- Radu Calinescu, University of York, UK
- Giovanni Denaro, University of Milano Bicocca, Milano, Italy
- Yliès Falcone, Univ. Grenoble Alpes, Inria, France
- Maria del Mar Gallardo, University of Malaga, Spain
- Jaco Geldenhuys, University of Stellenbosch, South Africa
- Milos Gligoric, University of Texas, USA
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Klaus Havelund, NASA JPL, USA
- Ralf Huuck, The University of New South Wales, Australia
- Thierry Jéron, Inria, France
- Nikolai Kosmatov, CEA, France
- Yves Le Traon, University of Luxembourg, Luxembourg
- Martin Leucker, University of Lubeck, Germany
- Stefan Leue, University of Konstanz, Germany
- Leonardo Mariani, University of Milano Bicocca, Italy
- Mercedes Merayo, Universidad Complutense de Madrid, Spain
- Shin Nakajima, NII, Japan
- Brian Nielsen, Aalborg University, Denmark
- Peter Olveczky, University of Oslo, Norway
- Jun Pang, University of Luxembourg, Luxembourg
- Mike Papadakis, University of Luxembourg, Luxembourg
- Filippo Ricca, Università di Genova, Italy
- Antoine Rollet, Bordeaux INP, LaBRI, France
- Gwen Salaün, Univ. Grenoble Alpes, Inria, France
- Julien Signoles, CEA, France
- Marjan Sirjani, Malardalen University, Sweden
- Helene Waeselynck, LAAS-CNRS, France
- Neil Walkinshaw, University of Leicester, UK
- Michael Whalen, University of Minnesota, USA
- Anton Wijs, Technische Universiteit Eindhoven, Netherlands
- Rongxin Wu, Hong Kong University of Science and Technology, Hong Kong
- Nina Yevtushenko, Tomsk State University, Russia
- Cemal Yilmaz, Sabanci University, Turkey
- Fatiha Zaïdi, University of Paris-Sud, France
- Gianluigi Zavattaro, University of Bologne, Italy
