Participants:
Cachan: Manuel Baclet, Patricia Bouyer, Béatrice Bérard
Paris: Benjamin Lerman, Wieslaw Zielonka, Hugo Gimbert, Olivier Serre, Olivier Carton
Bordeaux: Pascal Weil, David Janin, Igor Walukiewicz, Julian Bernet, Alexis Bouquet, Xavier Briand, Swarum Malik, Catalin Dima, Séverine Fratani
Grenoble: Eugene Asarin, Stavros Tripakis, Oded Maler, Yasmina Abeddaïm, Peter Niebert
Program (Tentative):
Lunday 10/3
12:45 - 14:15 Lunch
14:15 - 15:00 Peter Niebert: Partial-order methods for timed systems
15:00 - 15:45 Yasmina Abdeddaim: Scheduling with timed automata
15:45 - 16:15 Break
16:15 - 17:00 Swarum Mohalik: A game model for distributed synthesis
17:00 - 17:20 Stavros Tripakis: Implications of the undecidability of the universality problem for timed automata
17:20 - 18:00 Patricia Bouyer: Contrôle temporisé avec information partielle
19:00 - 20:00 Social event (surprise)
20:30 - 22:30 Dinner (probably Chinese)
Marday 11/3
09:00 - 09:40 Manuel Baclet: Vérification des "Systems on Chip"
09:40 - 10:20 Igor Walukiewicz: First-order tree languages
10:20 - 10:50 Break
10:50 - 11:20 Catalin Dima: Sur les discretizations des langages temporises
11:20 - 12:00 Wieslaw Zielonka: TBA
12:10 - 14:00 Lunch
14:00 - 14:40 Séverine Fratani: Iterated pushdown automata and sequences of rational numbers
14:40 - 15:00 Oded Maler: Systematic simulation of open continuous systems
Contact: Oded.Maler@imag.fr
Venue
The meeting will take place at Verimag. From the gare (SNCF/routieres)
Take the tramway, line B towards "Universite" till the end stop (~20 minutes
from the railways station). Accomodation
Here are some convenient hotels in Grenoble, close to the tramway:
You can buy tram tickets from the vending machines at each station.
You have to cancel your ticket before entering the tram. From the tram walk
about 10 minutes according to the instruction in the
45 av Félix Viallet GRENOBLE
tel (+33) 4 76 87 00 71
fax (+33) 4 76 56 95 45
email : mailto:"bienvenue@hotel-des-alpes.fr"
25 av Félix Viallet GRENOBLE
tel (+33) 4 76 43 10 27
fax (+33) 4 76 87 52 69
email : mailto:"hotel-bastille@wanadoo.fr"
5 pl Victor Hugo GRENOBLE
tel (+33) 4 76 87 37 21
fax (+33) 4 76 50 94 10
email : mailto:"hotel-angleterre@hotel-angleterre.fr"