Participants coming to Movep 2012

Adilzhan Abdrakhmanov (master student TU Dresden, Germany, Kazakhstan)
Lakhdar Akroun (LIMOS UMR 6158, Clermont Ferrand, France)
Florent Avellaneda (LIF, AMU & CNRS, France)
Babak Bagheri Hariri (Free Univ. of Bolzano, Italy)
Gilles Barthe (IMDEA Software Institute, Spain)
Nicolas Baudru (LIF, AMU & CNRS, France)
Ala Eddine Ben Salem (LIP6, France)
Clara Bertolissi (LIF, AMU & CNRS, France)
Stanislav Böhm (VSB - Technical University of Ostrava, Czech Republic)
Adrien Boiret (Inria - Mostrare, France)
Ahmed Bouajjani (Univ. Paris Diderot (Paris 7), France)
Pierre-Alain Bourdil (LAAS-CNRS, France)
Laurent Braud (LIF, AMU & CNRS, France)
Mathieu Caralp (LIF, AMU & CNRS, France)
Manman Chen (National University of Singapore, Singapore)
Giuseppe Cicala (University of Genoa, Italy)
Alessandro Cimatti (Istituto per la Ricerca Scientifica e Tecnologica, Italy)
Lorenzo Clemente (LaBRI @ University of Bordeaux I, France)
Sylvain Cotard (IRCCyN Nantes, Renault S.A.S., France)
Aiswarya Cyriac (LSV, ENS Cachan, france)
Emanuele De Angelis (University 'G.d'Annunzio' of Chieti-Pescara, Italy)
Ilaria De Crescenzo (Università degli Studi di Salerno, Italia)
Aurélien Deharbe (UPMC - LIP6, France)
Giorgio Delzanno (Università di Genova, Italy)
Anton Dergunov (Intel; Lobachevsky State University of N. Novgorod, Russia)
Amit Kumar Dhar (LIAFA, Université Paris Diderot, France)
Javier Esparza (Technische Universität München, Germany)
Morgane Estiévenart (UMons, Belgium)
Jean Fanchon (LAAS-CNRS, France)
Marie Favre (LIMOS - UBP, France)
Maxime Folschette (ECN / IRCCyN, France)
Jérôme Fortier (LIF, AMU & CNRS, France)
Paulin Fournier (ENS Cachan, France)
Severine Fratani (LIF, AMU & CNRS, France)
Natalia Garanina (A.P. Ershov Institute of Informatics Systems, Russia)
Hugo Gimbert (CNRS, LaBRI, France)
Johan Girault (IRCcYN, France)
Rosario Giustolisi (University of Luxembourg, Luxembourg)
Emmanuel Godard (LIF, AMU & CNRS, France)
Milka Hutagalung (University of Kassel, Germany)
Thierry Jéron (Inria, France)
Ferdian Jovan (Technische Universität Dresden, Indonesia)
Aleksandra Jovanovic (IRCCyN, Ecole Centrale de Nantes, France)
Oday Jubran (University of Oldenburg, Germany)
Ahmet Kara (TU Dortmund, Germany)
Artem Khyzha (IMDEA Software Institute, Spain)
Marta Kwiatkowska (University of Oxford, UK)
Arnaud Labourel (LIF, AMU & CNRS, France)
Kim G. Larsen (Aalborg University, Denmark)
Simon Laursen (Department of Computer Science, Aalborg University, Denmark)
Carl Leonardsson (Uppsala University, Sweden)
Martin Leucker (Technische Universität München, Germany)
José António Lopes (Max Planck Institute for Software Systems, Germany)
Denis Lugiez (LIF, AMU & CNRS, France)
Grigory Markin (University of Lübeck, ISP, Germany)
Ondrej Meca (VSB - Technical University of Ostrava, Czech republic)
Noémie Meunier (UMONS, Belgique)
Laure Millet (LIP6, France)
Antoine Miné (École normale supérieure, DI, France)
Benjamin Monmege (LSV, ENS Cachan, France)
Rémi Morin (LIF, AMU & CNRS, France)
Durica Nikolic (University of Verona - Dipartimento di Informatica, Italy)
Filip Niksic (MPI-SWS, Germany)
Thomas Noll (RWTH Aachen University, Germany)
Benedikt Nordhoff (University of Münster, Germany)
James Ortiz (University of Namur, Belgium)
Youssouf Oualhadj (LIF, AMU & CNRS, France)
Shashank Pathak (Istituto Italiano Di Tecnologia, Genova, Italy)
Giuseppe Perelli (Università di Napoli "Federico II", Italy)
Guillermo Perez (Université Libre de Bruxelles, Belgium)
Frederic Peschanski (UPMC - LIP6, France)
Srinivas Pinisetty (INRIA Rennes, France)
Ruzica Piskac (Max Planck Institute for Software Systems, Germany)
Julien Reichert (LSV, ENS Cachan, France)
Etienne Renault (LRDE, France)
Pierre-Alain Reynier (LIF, AMU & CNRS, France)
Othmane Rezine (Uppsala University, Sweden)
Andrey Rivkin (Free University of Bozen-Bolzano, Russian Federation)
Cesar Rodriguez (INRIA, ENS Cachan, France)
Ocan Sankur (LSV, ENS Cachan & CNRS, France)
Ario Santoso (Free University of Bozen-Bolzano, Italy)
Nataliia Semenenko (Tartu University, Estonia)
Loredana Sorrentino (Università di Napoli "Federico II", Napoli)
Régis Spadotti (IRIT, France)
Jari Stenman (Uppsala University, Sweden)
Martin Surkovsky (VSB - Technical university of Ostrava, Czech Republic)
Jean-Marc Talbot (LIF, AMU & CNRS, France)
Tian Huat Tan (National University of Singapore, Singapore)
Julien Tanguy (IRCCyN, France)
Riccardo Traverso (DIBRIS - University of Genova, Italy)
Worachet Uttha (LIF, AMU & CNRS, France)
Moshe Y. Vardi (Rice University, USA)
Guillaume Verdier (IRIT, France)
András Vörös (BUTE MIT FTSRG, Hungary)
Jan-Thierry Wegener (Blaise Pascal University, France)
Cyrille Wiedling (CNRS-LORIA, France)
Jakub Wojtanowski (University of Opole, Poland)
Zhengkui Zhang (Aalborg University, Denmark)