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)