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.
Programme
Organizer
- Nicolas Halbwachs - Directeur de Recherche au CNRS, Directeur du Laboratoire Verimag
Organizing Commitee
- Karine Altisen - Grenoble-INP
- Stéphane Devismes - UJF
- Susanne Graf - CNRS
- Nicolas Halbwachs - CNRS
- Pascal Lafourcade - UJF
- Yassine Lakhnech - UJF
- Oded Maler - CNRS
- Florence Maraninchi - Grenoble-INP
Invited Speakers
- 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)
Maison Jean Kuntzmann
From the train station, take tram B direction ’Gières/Plaine des sports’. MJK is close to the ’Tram B’, between the stops ’Gabriel Fauré’ and ’bibliothèque universitaire’. Stop at ’bibliothèque universitaire’. Walk 3 minutes to the MJK (there is map here)
Various maps (bus,tram,town)
http://www.tag.fr/236-plans.htm
