A view of the city hall and Aachener Dom

Fourth Cassting Meeting

Aachen (Germany)

30th and 31st October 2014

Programme of the Meeting

Printable Programme with Abstracts
Thursday, 30.10.2014 (Room 9222, Building E3)
11:00-11:30 Welcome
11:30-12:15 Laurent FribourgControl of switching systems by invariance analysis: application to power electronics
12:15-13:00 Benjamin MonmegeReachability in MDPs: Refining Convergence of Value Iteration
13:00-14:30 Lunch
14:30-15:30 Jiri SrbaSoundness of Timed-Arc Workflow Nets + Tool demo: TAPAAL
15:30-15:45 Coffee
15:45-16:30 Jakob Haahr TaankvistUPPAAL Stratego
16:30-17:15 Namit ChaturvediClassifying regular infinitary trace languages using word automata
17:15-17:30 Coffee
17:30-18:30 Governing Board Meeting
19:30 Dinner at La Finestra (see details below)
Friday, 31.10.2014 (Room 9222, Building E3)
09:00-09:45 Amit Kumar DharEquivalence between Model-checking Flat Counter Systems and Presburger Arithmetic
09:45-10:30 Peter G. Jensen – Memory Efficient Data Structures for Explicit Verification of Timed Systems
10:30-10:45 Coffee
10:45-11:30 Axel Haddad – To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games
11:30-12:15 Gabriel RenaultAbout misère dicot games
12:15-13:45 Lunch
13:45-14:30 Samy Alexandre JaziriRobustness and optimization in weighted timed games
14:30-15:15 Erwin Fang Quantitative synthesis of permissive strategies in real-time systems


The meeting will be held at RWTH Aachen University, Computer Science department, Ahornstraße 55 – Building E3, 52074 Aachen. For speakers, equipment for projector presentation is available, but unfortunately no blackboard.

View Larger Map


We have arranged a bus transfer from Aachen main train station to the meeting venue on Thursday morning. This is synchronised with the Thalys train that arrives in Aachen at 10:36 hrs. Limited seats are available on a first-come-first-served basis via the registration form.

The venue is accessible by city buses; disembark at stop “Halifaxstraße”. From the city-centre, take the following bus lines:

  • 12 direction “Campus Melaten”
  • 22 direction “Campus Melaten”
  • 23 direction “Hörn/Campus Melaten”
  • 33 direction “Vaals”
  • 73 direction “Uniklinik”
  • 75 direction “Hörn Kastanienweg”

You can plan your travel using current bus information on the website of Aachen’s public transport. To plan your journey, in the left hand field, select “Aachen”; and in the right hand field, select your starting point. The main train station is denoted as “Hbf”, and appears as the first option if you click the text box.

To arrive by car/taxi, use the address “Mies-van-der-Rohe-Straße 35, 52074 Aachen”. You can drive to the front door of Building E3 via the parking lot, which is accessible from Mies-van-der-Rohe-Straße. Please bear in mind that to park in any of RWTH Aachen parking lots, you require an RWTH Aachen Parking Permit. Otherwise, your car will be towed away (and it’s not funny). You may request Guest Permits through the registration form. You may also park freely on Mies-van-der-Rohe-Straße and Halifaxstraße.

Meeting Dinner

The meeting dinner is organised in the cellar of Restaurant & Pizzeria La Finestra, Pontstraße 123, 52062 Aachen. From the meeting venue, this restaurant is ca. 20 minutes away on foot.

Alternatively, you can take bus line 33 in direction “Fuchserde”  or bus line 73 in direction “Bf. Rothe Erde” to the bus-stop “Ponttor”. Arriving from elsewhere in the city, “Driescher Gässchen (RWTH Aachen)” is another bus-stop close by.

Accommodation in Aachen

NOTE: This list is only for reference, and these hotels are in no way affiliated with nor recommended by the organisers of this meeting. We refer you to Trip Advisor – Aachen for a comparison.

Registration Form

Participation is free, but a registration is mandatory and is possible until (and including) Wednesday, 15.10.2014.