Meeting of AS-STIC Automates

March 10-11, 2003 - Grenoble, France

 

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).
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

map

 

Accomodation

Here are some convenient hotels in Grenoble, close to the tramway: