Liste des inscrits aux journées annuelles 2015 du GT Vérification

Pour toute correction vous concernant: mathieusassolasu-pecfr

▸  Clément Aubert (INRIA -- LACL - Upec)
▸  David Baelde (LSV, ENS Cachan)
▸  Francesco Belardinelli (Université d'Évry)
▸  Béatrice Bérard (LIP6, UPMC)
▸  Alexis Bes (LACL, UPEC)
▸  Michael Blondin (ENS Cachan)
▸  El Habib Boudjema (LACL, ED MSTIC)
▸  Patricia Bouyer (LSV, CNRS)
▸  Claudia Carapelle (Universität Leipzig)
▸  Julien Cervelle (LACL)
▸  Thomas Chatain (LSV, ENS Cachan)
▸  Christine Choppy (LIPN, Université paris 13)
▸  Rémy Chrétien (LSV, CNRS )
▸  Véronique Cortier (CNRS, LORIA)
▸  Mohamed Dahmoune (Lacl)
▸  Antoine Dallon (LSV)
▸  Robin David (CEA, Saclay)
▸  Steven De Oliveira (CEA, LIST)
▸  Benoit Delahaye (Université de Nantes, LINA)
▸  Antoine Delignat-Lavaud (Inria Paris-Rocquencourt)
▸  Catalin Dima (LACL, UPEC)
▸  Anthony Fernandes Pires (FBK)
▸  Mathieu Fertala (Vacataire M2 SSI)
▸  Diego Figueira (CNRS )
▸  Alicia Filipiak (LORIA/Orange)
▸  Frédéric Gava (LACL)
▸  Ivan Gazeau (ENS Cachan)
▸  Richard Genestier (Université de Franche-Comté)
▸  Stefan Haar (INRIA)
▸  Peter Habermehl (LIAFA - Université Paris Diderot)
▸  Serge Haddad (LSV, ENS Cachan, CNRS, INRIA)
▸  Lom Messan Hillah (Univ. Paris Ouest)
▸  Lucca Hirschi (LSV, ENS Cachan)
▸  Aleksandra Jovanovic (Oxford University)
▸  Abderraouf Kabouche (LACL)
▸  Fabrice Kordon (UPMC / LIP6 (UPMC))
▸  Steve Kremer (Inria Nancy)
▸  Regine Laleau (LACL)
▸  Tristan Le Gall (CEA LIST)
▸  Engel Lefaucheux (LSV)
▸  Fabrice Legond-Aubry (UPOND-LIP6)
▸  Jérôme Leroux (LaBRI (CNRS))
▸  Denis Lugiez (LIF UMR 7279)
▸  Amaldev Manuel (University of Warsaw)
▸  Nicolas Markey (LSV -- ENS Cachan)
▸  Jacques Charles Mbiada Ndjanda (CEA LIST )
▸  Memouna Mefire Njikam (UPEC)
▸  Laure Millet (LIP6 UPMC)
▸  Stefano Minopoli (VERIMAG (UJF - Grenoble))
▸  Etienne Moutot (ENS Lyon)
▸  Youssouf Oualhadj (LACL)
▸  Nihal Pekergin (UPEC)
▸  Virgile Prevosto (CEA LIST)
▸  Dimitri Racordon (Université de Genève)
▸  Mickael Randour (LSV - CNRS)
▸  Benjamin Richard (IRISA/Orange)
▸  Ocan Sankur (Université Libre de Bruxelles)
▸  Mathieu Sassolas (LACL, UPEC)
▸  Philippe Schnoebelen (LSV, CNRS)
▸  Julien Signoles (CEA LIST)
▸  Abbas Slimani (IBISC)
▸  Anatol Slissenko (UPEC (LACL))
▸  Safouan Taha (LRI)
▸  Sovanna Tan (LACL, UPEC)
▸  Julien Tesson (LACL)
▸  Nicolas Troquard (LACL)
▸  Pascal Vanier (LACL)
▸  Serghei Verlan (LACL)

Statistiques

Nombre total de participants: 68
Doctorants: 16
Post-doctorants: 9
Permanents: 37
Autres: 6
Affiche des journées 2015 du GT vérification