Information on the Meeting January 2005 in Twente

HOTEL: rooms for the people who asked for are booked in the hotel Broeierd, Hengelosestraat 725, Enschede - see here for information and reachbility: or (there is a map under the second link). The easiest way to reach the hotel is from the train station Enschede Drienerlo, the walking for approximately 3-5 minutes. There are trains between Enschede and Hengelo that stop in Drienerlo. Alternatively, you can take a bus from Hengelo station or Enschede station.

MEALS: if you arrive wednesday evening, you can have dinner at one of the restaurants of the hotel. The meeting dinner is on thursday evening, 7 pm, in Hengelo at the 't Lansink. It is in walking distance from the train station Hengelo. adress is: C.T Storkstraat 18. See here a map, Hengelo station is on the right side.
Lunches are in the Faculty Club of the university, nr. 42 on the campus map .

MEETING LOCATION: the meeting will take place in room L200 in the building waaier on the campus. See here the campus map. The hotel is on the bottom left, close to nr.66, the building waaier has nr.12. take the corner entrance to the building. take the spiral stair case one level up.
important: bring a warm sweater, the meeting room sometimes feels a bit chilly


thursday, 13 january

9:30 Talks
Biniam Gebremichael & Frits Vaandrager: Specifying Urgency in Time I/O Automata
Olaf Stursberg: Optimal Control for Hybrid Systems
Kim G Larsen, Jacob I Rasmussen: Optimal Conditional Reachability for Priced Timed Automata

12:30 Lunch in the Faculty Club

14:00 Oded Maler: Scheduling with discrete uncertainty

14:30 Axxom working session:
Angelika Mader: What happened so far
Martijn Hendriks: Extension of the case study
Gerd Behrmann: The Uppaal part for solving the extensions
Holger Hermanns: Scheduling with probabilism
Henrik Bohnenkamp: Similarities between long term scheduling and performance analysis

17:00 PCC

19:00 Dinner at the t' Lansink in Hengelo

friday, 14 january

9:30 Talks

Joost-Pieter Katoen: Are You Still There? A Lightweight Algorithm To Monitor Node Presence in Self-Configuring Networks
Marcel Verhoef & Martijn Hendriks: System Architecture Evaluation Using Modular Performance Analysis and UPPAAL
Sebastian Panek: Sleep set method in scheduling with timed automata
Oded Maler: Past MITL and deterministic timed automata

Birgit Siebenrok & all: questions on the AXXOM case study and answers.

12:30 Lunch at the Faculty Club

PCC cont' if necessary

Biniam Gebremichael
Martijn Hendriks
Frits Vaandrager
Marcel Verhoef
Olaf Stursberg
Birgit Siebenrok
Gera Weiss
Sebastian Panek
Gerd Behrmann
Kim Larsen
Sebastian Engell
Sven Lohmann
Rom Langerak
Joost-Pieter Katoen
Pedro d'Argenio
Conrado Daws
Henrik Bohnenkamp
Theo Ruys
Tomas Krilavicius
Holger Hermanns
David Jansen
Oded Maler
Ed Brinksma
Angelika Mader