Verimag was created in 1993. To celebrate its 20th anniversary, a workshop will be organised on September 26-28, 2012. It will consist of invited talks by outstanding international scientists, together with communications by Verimag researchers. The workshop will take place at " Maison Jean Kuntzmann " (a.k.a. MJK) on the campus of Grenoble University.
Organizer
- Nicolas Halbwachs - Directeur de Recherche au CNRS, Directeur du Laboratoire Verimag
Organizing comitee
- Karine Altisen - Maître de Conférences Grenoble-INP
- Stéphane Devismes - Maître de Conférences UJF
- Susanne Graf - Directeur de Recherche au CNRS
- Nicolas Halbwachs - Directeur de Recherche au CNRS
- Pascal Lafourcade - Maître de Conférences UJF
- Yassine Lakhnech - Professeur UJF
- Oded Maler - Directeur de Recherche au CNRS
- Florence Maraninchi - Professeur Grenoble-INP
Invited talks
- Joseph Sifakis (EPFL, Lausanne, and Verimag)
- Ahmed Bouajjani (LIAFA, Paris)
- Tom Henzinger (IST Austria)
- Reinhard Wilhelm (Saarland University)
- Albert Benveniste (Inria/IRISA, Rennes)
- Gérard Berry (Inria, Sophia-Antipolis)
- Luca Benini (University of Bologna)
- Pravin Varaiya (Berkeley University)
