Verimag a été créé en 1993. A l’occasion des vingt ans du labo, nous organisons un colloque qui est prévu du 26 au 28 septembre 2012. Ce colloque se déroulera à la « Maison Jean Kuntzmann » (MJK), sur le campus de l’université de Grenoble.
Réservez ces dates ! Plus d’infos ici bientôt.
Programme
Organisateur
- Nicolas Halbwachs - Directeur de Recherche au CNRS, Directeur du Laboratoire Verimag
Comité d’Organisation
- 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
Orateurs invités
- 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
Depuis la gare, prenez le tram B direction ’Gières/Plaine des sports’. Le Tram B passe devant la MJK - La MJK se situe à mi-chemin entre les arrêts ’Gabriel Fauré’ et ’bibliothèque universitaire’. Descendre à l’arrêt ’bibliothèque universitaire’. Marcher 3 minutes pour rejoindre la MJK en vous basant sur les instructions de ce lien.
Plans divers (tram, bus, ville)
http://www.tag.fr/236-plans.htm
