Approches Formelles dans l'Assistance au Développement de Logiciels





Comités

Comité d'organisation

  • Ioannis Parissis, LCIS
  • Akram Idani, LIG
  • Yliès Falcone, LIG
  • Carole Seyvet, LCIS
  • Jennyfer Duberville, LCIS
  • Yves Grasland, LCIS/LIG

Président du CP

  • Ioannis Parissis, LCIS

Comité de programme

  • Yamine Ait Ameur, LISI/ENSMA-UP, Poitiers
  • Kamel Barkaoui, Cedric CNAM, Paris
  • Thouraya Bouabana Tebibel, E.S.I., Algerie
  • Boutheina Chetali, Gemalto, Paris
  • Catherine Dubois, Cedric ENSIIE, Evry
  • Mamoun Filali-Amine, IRIT, Toulouse
  • Marc Frappier, Univ. Sherbrooke
  • Annie Geniet, LISI/ENSMA-UP, Poitiers
  • Frederic Gervais, LACL, Fontainebleau
  • Jean-Louis Giavitto, IBISC, Univ. Evry
  • Akram Idani, LIG, Grenoble
  • Lanet Jean-Louis, XLIM, Limoges
  • Jacques Julliand, LIFC, Univ. Besançon
  • Jean-Yves Lafaye, L3I, La Rochelle
  • Regine Laleau, LACL, Fontainebleau
  • Arnaud Lanoix, LINA, Nantes
  • Pascale Le Gall, Univ. Evry
  • Emmanuel Ledinot, Dassault Aviation
  • Yves Ledru, LIG, Grenoble
  • David Lesens, ASTRIUM, Toulouse
  • Nicole Levy, PRISM, Versailles
  • Bruno Marre, CEA, Saclay
  • Thierry Millan, IRIT, Toulouse
  • Mohamed Mezghiche, LIFAB/Univ. Boumerdes, Algérie
  • Ioannis Parissis, INP, Grenoble
  • Marie-Laure Potet, VERIMAG, Grenoble
  • Marc Pouzet, LRI, Paris
  • Riadh Robbana, Ecole Polytechnique Tunisie
  • Pierre-Yves Schobbens, FUNDP, Belgique
  • Christel Seguin, ONERA, Toulouse
  • Sylvie Vignes, Telecom Paris Tech, Paris
  • Helene Waeselynck, LAAS, Toulouse
  • Virginie Wiels, Onera, Toulouse
  • Fatiha Zaidi, LRI, Orsay

Contact : Ioannis Parissis, LCIS




    2012

Grenoble, France, 11-13 Janvier 2012