Journéees

Complexité, Modèles Finis et Bases de Données
CMF 2002

Jeudi 23, Vendredi 24 et Samedi 25 mai

Arcachon


Arcachon

Informations générales

Présentation

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 Bernet
David Janin ( janin@labri.fr)
Igor Walukiewicz
Soutiens prévues
 
Soutien logistique : Laboratoire Bordelais de Recherche en Informatique ( LaBRI ) et Laboratoire d'Océanographie Biologique de Bordeaux I (LOB).


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.


Programme

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




Informations pratiques


Lieu des rencontres
(suivre aquarium d'Arcachon)
 
 
Salle de Conférence 
Laboratoire d'Océanographie Biologique 
2, rue du Professeur Jolyet, 
33120 ARCACHON.
 

Plan du quartier

Accés


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. 
 


7 av Gounod 33120 
05 56 83 02 89 
télécopie : 05 56 54 84 90

Pour d'autres hotels, voir le site des hôtels d'Arcachon .


Contact


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