HOTEL: rooms for the people who asked for are booked in the hotel Broeierd, Hengelosestraat 725, Enschede - see here for information and reachbility: http://www.bestwestern.nl/broeierd/ or www.hotels.nl/enschede/broeierd/ (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.
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
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
19:00 Dinner at the t' Lansink in Hengelo
friday, 14 january
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