![]() |
![]() |
![]() |
![]() |
![]() |
|
|
|
Journéees
Complexité,
Modèles Finis et Bases de Données
CMF 2002
Jeudi 23, Vendredi 24 et Samedi 25 mai
Arcachon
![]() |
![]() |
Les journées 2002 du groupe de travail ALP-AMI Complexité, modèles finis et bases de données se dérouleront, Arcachon, du jeudi 23 mai, à partir de 14h, jusqu'au samedi 25 mai à 12h.
Elles ont pour objectif d'offrir a tout chercheur qui le souhaite de présenter ses travaux de recherche sur le thème de la théorie des modèles finis et l'un de ses nombreux domaines d'applications :
·les
bases de données,
·la
complexité,
·la
vérification de programmes,
·les
jeux formels,
·etc...
Chaque participant est invité à y faire une présentation ; le programme étant complété par quatres présentations invitées. La langue officielle de ces rencontres est le français, mais les exposés en langue anglaise sont aussi les bienvenus.
Pour mémoire, ces rencontres font suite aux précédentes rencontres organisées en 1995 à Paris XI (M. Santha), en 1996 à l'IUT Fontainebleau (P. Cegielski), en 1997 à Paris II (M. de Rougemont), en 1998 à l'Ens Lyon (P. Koiran), en 1999 à Paris VI Jussieu (I. Guessarian), en 2000 à Paris XII (A. Slissenko, A. Durand) et en 2001 à Paris II (M. Hermann).
Conférenciers invités
·Bruno Courcelle (LaBRI, Bordeaux)
·Anuj Dawar (Cambridge, Royaume-Uni)
·Erich Graedel (Aix la Chapelle, Allemagne)
·Janos
Makowsky (Haifa,
Israël)
Dates Importantes
·début février 2002 : premier appel à participation
·31 mars 2002 : date limite d'inscription normale (nécessaire pour la prise en charge de l'hébergement)
·22 mai 2002 : date limite d'inscription tardive (sans aucune garantie quant à la disponibilité de chambres d'hotels)
·23, 24 et 25 mai 2002 : colloque
Comité directeur
·Etienne Grandjean (Caen)
·Michel de Rougemont (Paris II)
·Miklos Santha (Paris XI)
Comité d'organisation
Julien BernetDavid Janin ( janin@labri.fr)Igor Walukiewicz
Soutien aux participants : Université de Bordeaux I (UBX1),
Ecole Nationnale Superieur d'Electronique, d'Informatique et de Télécomunication
de Bordeaux (ENSEIRB), CNRS - GDR ALP.
Soutien aux invités : CNRS - action JemSTIC : jeux, automates
et logique.
|
Jeudi 23 mai
|
|
|
14h
|
-
Acceuil -
|
|
14h30
|
Anuj
Dawar , Cambridge (Angleterre), Automaticité des
propriétés modales des structures finies,
|
|
|
- Pause
café -
|
|
16h15
|
Michel de
Rougemont , LRI - Paris II,Compression aléatoire
de modèles finis,
|
|
16h45
|
Madhavan Mukund, CMI Chennai (Inde), Temporal logics over Mazurkiewicz traces |
|
|
|
|
19h30
|
- Diner
de conférence -
|
|
Vendredi 24
|
|
|
9h
|
Johann
Makowsky,
Technion
- Haifa (Israël), Normal
Forms in databases: looking back 25 years
|
|
|
- Pause
café -
|
|
10h15
|
Nicole
Bidoit , LRI - Paris XI, Order independant temporal properties
|
|
10h45
|
David
Gross-Amblard , CNAM, CEDRIC, Marquage des bases de données
: localité et agrégats
|
|
11h15
|
Irène
Guessarian,
LIAFA
- Paris VI,Window-Accumulated Subsequence matching Problem is linear
|
|
|
- Pause
repas -
|
|
14h
|
Erich
Graedel , RWTH Aachen (Allemagne), Jeux d'evaluation
pour logiques avec points fixes
|
|
|
- Pause
café -
|
|
15h15
|
Luigi
Santocanale , Calgary University (Canada), Induction,
co-induction et jeux de parité
|
|
15h45
|
Julien Bernet, LaBRI - Bordeaux I, Stratégies
permissives: des jeux de parité aux jeux de sureté
|
|
16h15
|
Mohamed
Mosbah , LaBRI - Bordeaux I, Preuves d'algorithmes distribués
par des réécritures de graphes
|
|
|
|
|
|
- Soirée
libre -
|
|
Samedi 25 mai
|
|
|
9h
|
Bruno
Courcelle , LaBRI - Bordeaux I,Transformation de structures
compatibles avec la logique du 2nd ordre monadique
|
|
|
- Pause
café -
|
|
10h15
|
Valère Dussaux, LaBRI - Bordeaux
I, Ordonnnancement cyclique et logique du second ordre monadique
|
|
10h45
|
David
Janin , LaBRI - Bordeaux I, Sur les langages de graphes
MS-définissables et fermés
|
|
11h15
|
Igor
Walukiewicz,
LaBRI
- Bordeaux I, Deciding low levels of tree-automata hierarchy
|
Lieu des rencontres
(suivre aquarium d'Arcachon)
|
Salle
de Conférence
Laboratoire d'Océanographie Biologique
2, rue du Professeur Jolyet, 33120 ARCACHON. |
|
Hébérgement
Au
centre ville d'Arcachon, à deux pas du site de la rencontre et de
la plage, l'hotel le Dauphin (voir plan
du quartier ) propose des chambres à prix négociés
: 42 euros par nuit en chambre simple, 54 euros par nuit en chambre double.
|
|
![]() |
Pour d'autres hotels, voir le site des hôtels d'Arcachon .
David Janin - CMF 2002
LaBRI - Université de Bordeaux I, 351, cours de la Libération,
33 405, Talence cedex
Tél: 05 56 84 69 16
Fax: 05 56 84 66 69
janin@labri.fr