Program Committee ACSD 2017

PROGRAM COMMITTEE CHAIRS

Alex Legay, France
Klaus Schneider, Germany

PROGRAM COMMITTEE

Mohamed Faouzi Atig, Uppsala University, Sweden
Saddek Bensalem, VERIMAG, France
Hanifa Boucheneb, Ecole Polytechnique de Montréal, Québec, Canada
Jens Brandt, University of Applied Sciences, Niederrhein, Germany
Benoît Caillaud, IRISA/INRIA Rennes, France
Josep Carmona, Universitat Politècnica Catalunya, Spain
Franck Cassez, Macquarie University, Australia
Rocco De Nicola, IMT - School for Advanced Studies Lucca, Italy
Jörg Desel, Universtiy Hagen, Germany
Uli Fahrenberg, École polytechnique, Palaiseau, France
José Luiz Fiadeiro, Royal Holloway, University of London, UK
Gilles Geeraerts, Université libre de Bruxelles, Belgium
Stefan Haar, INRIA Saclay/LSV, ENS Cachan, France
Rene Rydhof Hansen, Aalborg University, Denmark
Arnd Hartmanns, University of Twente, The Netherlands
Radha Jagadeesan, DePaul University, USA
Gabriel Juhas, Slovak University of Technology Bratislava, Slovakia
Jan Kretinsky, Masaryk University, Czech Republic
Daniel Kroening, University of Oxford, UK
Axel Legay, IRISA/INRIA, Rennes, France
Johan Lilius, Åbo Akademi University, Finland
Tiziana Margaria, University of Limerick, UK
Roland Meyer, University of Braunschweig, Germany
Andrey Mokhov, Newcastle University
Dejan Nickovic, Austrian Institute of Technology AIT, Austria
Doron Peled, Bar Ilan University, Israel
Marta Pietkiewicz-Koutny, Newcastle University, UK
Jean-Baptiste Raclet, IRIT, France
Klaus Schneider, University of Kaiserslautern, Germany
Sandeep Shukla, Indian Institute of Technology Kanpur, India
Jean-Pierre Talpin, INRIA, France
Ashutosh Trivedi, Indian Institute of Technology Bombay, India
Antti Valmari, Tampere University of Technology, Finland
Fei Xia, Newcastle University
Jaco van de Pol, University of Twente, The Netherlands