Approches Formelles dans l'Assistance au Développement de Logiciels
- Soumission de résumé : 7/02/2014 21/02/2014
- Soumission article complet : 14/02/2014 28/02/2014
- Notification aux auteurs : 14/04/2014
- Soumission version finale : 28/04/2014
Présidence du Comité de programme
- Catherine Dubois, ENSIIE - CEDRIC, Evry
- Régine Laleau, LACL - Université Paris-Est Créteil, Créteil
Comité de programme
- Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, Toulouse
- Béatrice Berard, LIP6 - Université Pierre et Marie Curie, Paris
- Sandrine Blazy, IRISA - Université Rennes 1
- Frédéric Boniol, ONERA, Toulouse
- Jean-Michel Bruel, IRIT, Toulouse
- Pierre Casteran, LABRI - Universite Bordeaux 1
- Sylvain Conchon, LRI - Universite Paris-Sud, Orsay
- Catherine Dubois, ENSIIE - CEDRIC, Evry
- Christèle Faure, SafeRiver, Paris
- Akram Idani, LIG, Grenoble
- Jacques Julliand, FEMTO-ST, Besançon
- Florent Kirchner, CEA LIST, Saclay
- Régine Laleau, LACL - Université Paris-Est Créteil
- Arnaud Lanoix, LINA - Université de Nantes
- Yves Ledru, LIG - Université Joseph Fourier, Grenoble
- Pascale Le Gall, Ecole Centrale Paris
- Yves Le Traon, Université de Luxembourg
- Nicole Levy, CEDRIC - CNAM, Paris
- Dominique Mery, LORIA - Université de Lorraine, Nancy
- Jean-Marc Mota, Thalès
- Ioannis Parissis, LCIS, Grenoble
- François Pessaux, ENSTA, Paris
- Pascal Poizat, LIP6 - Université Paris Ouest
- Marie-Laure Potet, VERIMAG, Grenoble
- Marc Pouzet, LIENS, Paris
- Vlad Rusu, INRIA
- Sylvie Vignes, Télécom Paris-Tech, Paris
- Laurent Voisin, Systerel
- Helene Waeselynck, LAAS-CNRS, Toulouse
- Virginie Wiels, ONERA / DTIM, Toulouse
- Nicky Williams, CEA LIST, Saclay