18e journées Approches Formelles dans l'Assistance au Développement de Logiciels
12-14 juin 2019 Toulouse (France)

Comité de programme

Présidents du comité de programme

David Chemouil (ONERA DTIS & Université fédérale de Toulouse)

Thomas Lambolais (IMT Mines Alès, LGI2P)

Comité de programme

En cours de finalisation ; ont déjà confirmé :

Yamine Aït Ameur IRIT/INPT-ENSEEIHT
Sandrine Blazy University of Rennes 1 - IRISA
Oscar Carrillo CPE Lyon
David Chemouil ONERA DTIS
Sylvain Conchon Université Paris-Sud
Frederic Dadeau FEMTO-ST
David Deharbe ClearSy System Engineering
Lydie Du Bousquet LIG
Catherine Dubois ENSIIE-Samovar
Ylies Falcone Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG
Alain Giorgetti FEMTO-ST Institute, Univ. of Bourgogne Franche-Comté
Aurélie Hurault IRIT - ENSEEIHT
Akram Idani LIG
Nikolai Kosmatov CEA List
Regine Laleau Paris Est Creteil University
Thomas Lambolais IMT Mines Alès, LGI2P
Arnaud Lanoix Université de Nantes
Yves Ledru Laboratoire d'Informatique de Grenoble - Université Grenoble Alpes
Nicole Levy Cedric, CNAM
Delphine Longuet Univ. Paris-Sud, LRI
Ioannis Parissis Univ. Grenoble Alpes - Grenoble INP
Pascal Poizat Université Paris Nanterre and LIP6
Marie-Laure Potet Laboratoire Vérimag
Marc Pouzet LIENS
Antoine Rollet LaBRI, Bordeaux INP, University of Bordeaux, CNRS
Vlad Rusu INRIA
Nicolas Stouls CITI/INSA Lyon
Safouan Taha CentraleSupelec
Laurent Voisin Systerel
Virginie Wiels ONERA DTIS
Fatiha Zaïdi Univ. Paris-Sud
Personnes connectées : 1