GENERAL CHAIRS
Kamel Barkaoui - Cedric, Cnam Paris
Béatrice Bérard - LIP6, University Pierre et Marie Curie
PC CHAIRS
Dimitra Giannakopoulou, NASA Ames, Research Center,Moffett Field
Dominique Méry, LORIA et Université Henri Poincaré Nancy 1
WORKSHOPS CHAIRS
Nihal Pekergin, LACL, University Paris-Est Créteil, France
Laure Petrucci, LIPN, University Paris Nord, France
Tayssir Touili, LIAFA, University Paris Diderot, France
INDUSTRY DAY CHAIRS
Isabelle Perseil, Inserm, France
Karim Djouani, LISSI, University Paris-Est Créteil
Thierry Lecomte, ClearSy R&D , Aix en Provence
Bruno Monsuez, LEI, Ensta ParisTech
TUTORIAL CHAIRS
Serge Haddad, LSV, ENS Cachan, France
Fabrice Kordon, LIP6, University Pierre et Marie Curie, France
DOCTORAL SYMPOSIUM CHAIRS
Christine Choppy, LIPN, Université Paris Nord, France
David Delayahe, CEDRIC, CNAM Paris, France
Kaïs Klaï, LIPN, University Paris Nord, France
FINANCE CHAIRS
Bruno Monsuez, LEI, Ensta ParisTech
Nicolas Trèves, Cedric, Cnam Paris
PUBLICITY CHAIRS
Hanna Klaudel, IBISC ,University of Évry
Frédéric Lemoine, Computer Science Department, Cnam Paris
Franck Pommereau, IBISC ,University of Évry
Olivier Pons, Cnam France
PROGRAMME COMMITTEE
Yamine Ait Ameur, IRIT/ENSEEIHT France
Keijiro Araki, Kyushu University, Japan
Jos Baeten, CWI Amsterdam, The Netherlands
Howard Barringer, The University of Manchester, UK
Saddek Bensalem, University Joseph Fourier, France
Bruno Blanchet, LIENS, France
Ahmed Bouajjani, LIAFA, University of Paris 7, France
Patricia Bouyer, LSV, CNRS & ENS Cachan, France
Victor Braberman, Universidad de Buenos Aires, Argentina
Michael Butler, University of Southampton, UK
Andrew Butterfield, Trinity College Dublin, Ireland
Ana Cavalcanti, University of York, UK
Krishnendu Chatterjee, Institute of Science and Technology , Austria
Marsha Chechik, University of Toronto, Canada
Yu-Fang Chen, Academia Sinica, Taiwan
Leonardo De Moura, Microsoft Research, USA
Dino Distefano, Queen Mary, University of London, UK
Matt Dwyer, University of Nebraska, USA
Bernd Finkbeiner, Saarland University, Germany
John Fitzgerald, Newcastle University, UK
(chair) Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Patrice Godefroid, Microsoft Research, USA
Ganesh Gopalakrishnan, University of Utah, USA
Kim Guldstrand Larsen, Aalborg University, Denmark
Klaus Havelund, JPL, California Institute of Technology, USA
Ian J. Hayes, University of Queensland, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Jane Hillston, University of Edinburgh, UK
Bart Jacobs, ICIS, Radboud University Nijmegen, The Netherlands
Claude Jard, ENS Cachan Bretagne, France
Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Sarfraz Khurshid, The University of Texas at Austin, USA
Daniel Kroening, Oxford University, UK
Marta Kwiatkowska, Oxford University, UK
Pascale Le Gall, Université d'Evry, France
Rustan Leino, Microsoft Research, USA
Michael Leuschel, University of Düsseldorf, Germany
Zhiming Liu, United Nations University - IIST, Macao
Tom Maibaum, McMaster University, Canada
Rupak Majumdar, Max Planck, Germany
Annabelle Mciver, Macquarie University, Australia
(chair) Dominique Mery, Université Henri Poincaré Nancy 1 & LORIA, France
Cesar Munoz, NASA, USA
Fernando Orejas, UPC, Spain
Isabelle Perseil, Inserm, France
Andre Platzer, Carnegie Mellon University, USA
Shengchao Qin, Teesside University, UK
S Ramesh, General Motors R&D, India
Jean-Francois Raskin, ULB, Belgium
Neha Rungta, SGT/NASA Ames, USA
Augusto Sampaio, Federal University of Pernambuco, Brazil
Bernhard Schaetz, TU München, Germany
Wolfram Schulte, Microsoft Research, USA
Kaisa Sere, Abo Akademi University, Finland
Bernhard Steffen, TU Dortmund, Germany
Kenji Taguchi, AIST, Japan
Francois Vernadat, LAAS-CNRS INSA, France
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA