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