Journées de Vérification Formelle

Liste des Participants    

Siva Anantharaman (LIFO)     -      siva@lifo.univ-orleans.fr
Bechir Ayeb (Sherbrooke, Canada)     -      ayeb@dmi.usherb.ca
Jean-Paul Bodeveix (IRIT)     -      bodeveix@irit.fr
Philippe Brousse (Aérospatiale)     -      brousse@lifo.univ-orleans.fr
Jean-Marc Champarnaud (LIFAR)     -     wia@dir.univ-rouen.fr
Jean-Michel Couvreur (LaBRI)     -     couvreur@labri.u-bordeaux.fr
Marie Duflot (LSV)     -     duflot@lsv.ens-cachan.fr
Emmanuelle Encrenaz (LIP6)     -      Emmanuelle.Encrenaz@lip6.fr
Gérard Ferrand (LIFO)     -      ferrand@lifo.univ-orleans.fr
Mamoun Filali (IRIT)     -      filali@irit.fr
Laurent Fribourg (LSV)     -      Laurent.Fribourg@lsv.ens-cachan.fr
Thomas Genet (IRISA)     -      genet@irisa.fr
Valérie Gouranton (LIFO)     -      gouranton@lifo.univ-orleans.fr
Irène Guessarian (LIAFA)     -      ig@liafa.jussieu.fr
Gaétan Hains (LIFO)     -      ghains@lifo.univ-orleans.fr
Florent Jacquemard (LORIA)     -      Florent.Jacquemard@loria.fr
Francis Klay (F. Telecom R&D)     -     Francis.Klay@francetelecom.fr
Anne Labroue (LSV)     -     labroue@lsv.ens-cachan.fr
Richard Lassaigne (Paris 7)     -     lassaign@logique.jussieu.fr
Benoit Lecland (LIFO)     -     lecland@lifo.univ-orleans.fr
Sébastien Limet (LIFO)     -      limet@lifo.univ-orleans.fr
Denis Lugiez (LIM)     -      lugiez@lim.univ-mrs.fr
Pierre-Alain Masson (LIFC)     -      masson@lifc.univ-fcomte.fr
Nicolas Markey (LSV)     -      markey@lsv.ens-cachan.fr
Jean-François Monin (F. Telecom R&D)     -      JeanFrancois.Monin@francetelecom.fr
John Mullins (Montreal)     -      John.Mullins@polymtl.ca
Guy Alain Narboni (IMPLEXE)     -      implexe@gulliver.fr
Antoine Petit (LSV)     -      Antoine.Petit@lsv.ens-cachan.fr
Denis Poitrenaud (LIP6)     -      Denis.Poitrenaud@lip6.fr
Pierre Réty (LIFO)     -      rety@lifo.univ-orleans.fr
Songsakdi Rongviriyapanish (LORIA)     -      rongvir@loria.fr
Michaël Rusinowitch (LORIA)     -      rusi@loria.fr
Frédéric Saubion (LERIA)     -      Frederic.Saubion@univ-angers.fr
Philippe Schnoebelen (LSV)     -      Philippe.Schnoebelen@lsv.ens-cachan.fr
Jean-Marc Talbot (MPI)     -      talbot@mpi-sb.mpg.de
Alexandre Teissier (LIFO)     -      tessier@lifo.univ-orleans.fr
Sophie Tison (LIFL)     -      tison@lifl.fr
Moshe Vardi (RICE Univ., USA)     -      vardi@cs.rice.edu
Valérie Viet Triem Tong (F. Telecom R&D)     -       Valerie.VietTriemTong@francetelecom.fr
Marc Zeitoun (LIAFA)     -      mz@liafa.jussieu.fr

Retour à la page principale