Groupe de travail
Complexité,
Modèles Finis et Bases
de Données
et
Journées
d'Arithmétique Faible (JAF 24)
26-28 mai 2005 à l'IUT de Fontainebleau
[
Présentation | Inscription
| Participants | Programme
| Organisateurs | Accès
]
Présentation
Les 24èmes
journées d'arithmétique faible et les
journées du groupe de travail "Complexité,
modèles finis et bases de données" du GDR ALP se
tiendront en même temps à l'IUT de Fontainebleau
(université Paris 12), les jeudi 26, vendredi 27 et samedi 28
mai 2005.
Les rencontres du groupe de travail "Complexité,
modèles finis et bases de données" ont pour but de
permettre à tout
chercheur qui le souhaite de présenter ses travaux en
complexité,
en théorie des modèles finis ou dans un de leur nombreux
champs d'application comme : les bases de données, la
vérification
de programmes, la satisfaction de contraintes, les jeux formels, etc...
Les éditions précédentes ont eu lieu en
1995 à
Paris XI (organisateur : M. Santha), en 1996 à l'IUT de
Fontainebleau
(P. Cegielski), en 1997 à Paris II (M. de Rougemont), en 1998
à
l'ENS de Lyon (P. Koiran), en 1999 à Paris VI (I. Guessarian),
en
2000 à Paris XII (A. Durand), en 2001 à Paris II (M.
Hermann), en 2002 à Arcachon (D. Janin), en 2003 à
Paris-Dauphine (C. Bazgan et A. Durand) et en 2004 à Lausanne
(J. Duparc).
Les arithmétiques faibles jouent un rôle fondamental dans
plusieurs domaines des mathématiques, de l'informatique et de la
philosophie en étudiant les propriétés des nombres
entiers d'un point de vue logique. Ces journées sont
l'occasion pour les chercheurs du domaine qui étudient ou
appliquent les arithmétiques faibles de se rencontrer et
d'échanger des idées.
Les JAF ont eu lieu précédemment à : Lyon
(1990), Paris (1990, 1991, 1996), Clermont (1991, 1992, 1993, 1994,
1995, 1999, 2000), Fontainebleau (1994, 2001), Metz (1996),
St-Petersburg (1997, 2002), Mons (1997), Warsaw (1998), New-York
(1999), Naples (2003), et Yerevan (2004).
Une grande partie des sessions des deux évènements sont
susceptibles d'intéresser les deux communautés et seront
donc communes. Les conférenciers suivants devraient venir faire
un exposé (à confirmer) :
- Bruno Courcelle (LaBRI, Bordeaux)
- Janos Makowsky (Haifa)
- Yuri Matyiasevich (St Pertersburg)
<>- Anca Muscholl (LIAFA, Paris 7)
- Joachim Niehren (LIFL-INRIA, Lille)
Organisation et
inscriptions
Les journées sont organisées cette année par :
Pour y participer, il suffit d'envoyer un mail à Patrick Cegielski et
Arnaud Durand le plus
rapidement possible et, en tout cas avant le 2 avril 2005 en indiquant :
- Si vous souhaitez faire un exposé (en indiquant sa
durée éventuelle)
- Quels sont les jours où vous comptez venir (afin de
prévoir le nombre de participants éventuels aux repas) .
Accès
Les journées auront lieu à l'IUT de Fontainebleau. Des
infos pratiques pour rejoindre le site peuvent être
trouvées ici
Quelques liens utiles :
Dernière modification le 15 février 2005
