Journées de Vérification Formelle
JOURNEES DE VERIFICATION FORMELLE
Jeudi 8 et Vendredi 9 Juin 2000
(
LIFO
, Bât. IIIA, Université d'Orléans)
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