ENS de Cachan
Département
Informatique
Visite de la Technische Universität München, 2006









DateMardi, 31 octobre 2006
Inscriptionscloses
RendezvousDevant le guichet d'enregistrement Air France, Terminal 2D
6:15 au plus tard
Aller Vol Air France 1422. Départ CDG 7:00, Arrivé Munich 8:35
Retour Vol Air France 2523. Départ Munich 20:45, Arrivé CDG 22:30
Accompagnateur Ralf Treinen
Acceuil à Munich Helmut Seidl

Nous allons visiter l'Institut für Informatik de la Technische Universität München (TUM). La TUM est une des universités les plus prestigeuses en Allemagne. En fait, la TUM est une des trois universités allemandes qui ont récu récemment le prédicat d'excellence (article en allemand). Les deux autres sont la LMU, également à Munich, et la TU Karlsruhe.

La TUM est distribuée sur plusieurs campus à Munich. Le département Informatique est situé sur le campus de Garching au nord de Munich.

Program

Cette section est en anglais pour permettre une meilleure interaction avec nos collègues à Munich.

Participating research groups

Schedule

10:00-10:30 Introduction (Helmut Seidl) Room 02.07.014
10:30-11:30 Model Checking
(Helmut Veith)
Robotics
(Alois Knoll)
Operations Research
(Martin Bichler)
Bioinformatics
(Stefan Kramer
11:30-12:30 Efficient Algorithms
(Christian Scheideler)
Robotics
(Alois Knoll)
Theorem Proving
(Tobias Nipkow)
Bioinformatics
(Stefan Kramer)
12:30-14:30 Lunch
14:30-15:30 Efficient Algorithms
(Ernst Mayr)
Database Systems
(Alfons Kemper)
Scientific Computing
(Hans-Joachim Bungartz)
Computer Graphics
(Rüdinger Westermann)
15:30-16:00 Coffee Break
16:00-17:00 Database Systems
(Alfons Kemper)
Abstract Interpretation
(Helmut Seidl)
Computer Graphics
(Rüdinger Westermann)
Scientific Computing
(Hans-Joachim Bungartz

Distribution of the Students on the Presentations

The distribution of the students is here. Those who have not replied in time will have to choose there presentation among those that still have places open.


Contacter le Département Informatique
Dernières modifications : le 19/10/2007