CTMDP SPEED DATING
 | ||
|
This is a one-day meeting, to be held on April 23, 2010 in Saarbrücken.
We are going to discuss recent results in the context
of continuous time Markov decision processes.
Please observe this page for up-to-date info.
The vulcano is hitting us, Sven and Dave had to cancel.
Tugrul and Moritz are delayed. The meeting will take place anyhow.
We will go for dinner jointly on the evening before. The restaurant is in the heart of the city. Trattoria Toscana, Fröschengasse 18. View Map. We meet there at 19:30.
On Friday, the dating starts at maybe 9:30 in the morning in E1 1, room 407.
Presentation length is up to 45 minutes, but we have no strict presentation format. Short presentations are also welcome, and we will reserve time for discussion.
Especially for those arriving early on April 22 we will provide office space and
meeting facilities.
Drop me (Holger) a note if you have comments, suggestions, desires.
Tentative Programme
| Speaker | Time | Title |
| P Buchholz | 09:30-10:15 | Numerical Analysis of Continuous Time Markov Decision Processes over Finite Horizons |
| P Bouyer-Decitre | 10:20-10:55 | A hint into stochastic timed games |
| Break | ||
| M Rabe | 11:20-11:55 | 1 2 3 ... Perfect! Finite Optimal Control for Contiuous-Time MDPs and Markov Games |
| L Zhang | 12:00-12:45 | On Continuous-Time and Non-Determinism |
| Lunch | ||
| C Eisentraut | 14:00-14:30 | Probabilistic Automata in Continuous Time |
| A Mereacre | 14:35-15:20 | Computing Maximum Reachability Probabilities in Markovian Timed Automata |
| T Brazdil | 15:25-15:45 | Randomly chosen by Holger |
| Discussion | ||
| Chill Out |
Recommended hotels (all downtown, with connectivity to university campus by bus) are:
Leidinger (very nice, € 99 or higher)
Madeleine (central, about € 70)
Hotel Weller (about € 40)
B & B Hotel (at central station, about € 46)
Christa Schaefer, schaefer@cs.uni-saarland.de, can assist with hotel room bookings if desired.
To get to the university:
From Saarbrücken Central Station (B&B Hotel is behind station), take bus line 112 or 124 to the 'Universität Busterminal' stop. Here the complete time table.
From central downtown 'Rathaus' stop (Hotel Madeleine), take bus line 101, 102, 109 or 111 to the 'Universität Busterminal' stop. Here the complete time table.
Hotel Weller is served by 101, 112, 124 from stop 'An der Trift'.
The ticket price is € 2,10 for a single bus ride. The 'Universität Busterminal' stop is reached once you have crossed the entire campus, between a parking garage (right) and some construction sites (left). Get off, and walk back some 200 meters to the campus. Right after the gate, the CS buildings are to your left (new) and right (older). We are on the right, in Bldg E1 3, on the top floor, room 501.
On Friday, the meeting takes place in E1 1 (adjacent to E1 3), top floor, room 407.
Call +49 175 4219682 (Pepijn) in case you get lost (quite unlikely).
Tentative list of participants
 | Christel Baier, Dresden (comes by plane) |
| Hernan Baro Graf, Saarbrücken |
| Bettina Braitling, Freiburg |
| Patricia Bouyer-Decitre, Paris (will give a presentation) |
| Tomas Brazdil, Brno (will give a presentation, also present on Thu) |
| Peter Buchholz, Dortmund (will give a presentation, also present on Thu) |
| Pepijn Crouzen, Saarbrücken |
| Tugrul Dayar, Ankara (comes by plane) |
| Christian Eisentraut, Saarbrücken (will give a presentation) |
| Vojtech Forejt, Brno (comes by plane) |
| Arnd Hartmanns, Saarbrücken |
| Moritz Hahn, Saarbrücken (comes by coach) |
| Holger Hermanns, Saarbrücken |
| Joost-Pieter Katoen, Aachen |
| Antonin Kucera, Brno (also present on Thu) |
| Alexandru Mereacre, Aachen (will give a presentation) |
| --cancelled -- Dave Parker, Oxford (also present on Thu, comes by plane) |
| Markus Rabe, Saarbrücken (takes over Sven's presentation) |
| -- cancelled -- Sven Schewe, Liverpool (will give a presentation, also present on Thu, comes by plane) |
| David Spieler, Saarbrücken |
| Björn Wachter, Saarbrücken |
| Ralf Wimmer, Freiburg |
| Verena Wolf, Saarbrücken |
| Lijun Zhang, Copenhagen (will give a presentation, comes by plane) |