AS du RTP 23

Département STIC


Automates, modèles distribués et temporisés


Réunion des 7 et 8 novembre 2002


Programme   Participants   Informations pratiques   Présentation de l'Action Spécifique


Programme

Jeudi 7 novembre

10:30-10:45 -- Accueil

10:45-11:25 -- David Janin : Spécification et synthèse de réseaux de fonctions séquentielles (transparents)

11:30-12:10 -- Catalin Dima : Discretization of timed automata behaviors (transparents)
12:15-14:00 -- Pause déjeuner
14:00-14:40 -- Stavros Tripakis: Undecidable problems on decentralized observation and control (transparents)

14:45-15:25 -- Swarup Mohalik : Concept of Knowledge in Distributed Systems (transparents)
15:30-15:50 -- Pause café
15:50-16:10 -- Discussion : objectifs et projets de l'AS

16:15-16:55 Tayssir Touili : Verification of parallel and recursive programs (transparents)

17:00-17:30 -- Oded Maler : Call for a structured automata theory

Vendredi 8 novembre

09:15-09:55 -- Patricia Bouyer : An Algebraic Approach to Data Languages and Timed Languages (transparents)

10:00-10:40 -- Manuel Baclet : Langages de données, logique (transparents)
10:45-11:15 -- pause café
11:15-11:55 -- Olivier Serre : BPA Games (transparents)

12:00-12:40 -- Eugene Asarin : On timed languages (transparents)
12:45-14:30 -- Pause déjeuner
14:30-15:10 -- Jean-Michel Couvreur : Dépliages de réseaux de Petri

15:15-15:55 -- Pascal Weil : Reconnaissabilité pour les langages de graphes et de posets (transparents)

16:00-16:15 -- Conclusions, projets de l'AS


Participants

VERIMAG
Eugène Asarin, Stavros Tripakis, Oded Maler
LSV
Manuel Baclet, Béatrice Bérard, Patricia Bouyer, Jean-Michel Couvreur, François Laroussinie, Antoine Petit
LIAFA
Paul Gastin, Hugo Gimbert, Anca Muscholl, Olivier Serre, Tayssir Touili, Marc Zeitoun, Wieslaw Zielonka
LaBRI
André Arnold, Julien Bernet, Alexis-Julien Bouquet, Xavier Briand, Catalin Dima, Séverine Fratani, Alain Griffault, David Janin, Swarup Mohalik, Géraud Sénizergues, Grégoire Sutre, Aymeric Vincent, Igor Walukiewicz, Pascal Weil


Informations pratiques

Salle de conférences  : amphi LaBRI, au rez-de-chaussée du bâtiment du LaBRI

Accueil le jeudi matin : à partir de 10h00 (au quart d'heure bordelais près) dans l'atrium du LaBRI (1er étage), avec café et petits gâteaux.

Déjeuners les jeudi et vendredi midi : sur place au LaBRI (salle GT4)

Dîner jeudi 7 novembre 20h30
La réservation est faite aux noms de Weil et LaBRI
Chez Greg
30 quai Monnaie
33000 Bordeaux
Tél :  05 56 31 30 30

Arriver au LaBRI : depuis la place Gambetta (à 3 minutes de l'hôtel), par la ligne CITI-U (plan de la ligne) ; descendre à l'arrêt Pelletan. De là, continuer à descendre la rue de la Vieille Tour (150 m. à peu près), au feu prendre à gauche la rue Pierre de Noailles. Encore 150 m. et au rond-point, une grille ouvre sur le campus, tout près du LaBRI, qui sera à votre gauche. Le plan du campus que voici est un peu daté : il ne montre ni le rond-point, ni la grille, mais il vous permettra de repérer plus facilement le LaBRI (bâtiment A30).

Bus entre la gare et l'hôtel
La ligne 7/8 va de la gare à la place Gambetta. L'hôtel est à 3 minutes à pied de la place Gambetta.

L'hôtel
Hotel Gambetta
66 rue Porte Dijaux
33000 Bordeaux
tél : 05 56 51 21 83
fax : 05 56 81 00 40

Les bus à Bordeaux : le site de la CGFTE et tous les plans


Pascal Weil