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)