L'objectif de ces journées est de permettre une large prise de contacts entre les équipes qui s'inscrivent dans la thématique du GDR ALP. La nouvelle équipe de direction du GDR espère aussi profiter de ces journées scientifiques pour faire mieux connaissance avec les participants du GDR.

Voir plus bas les modalités de participation et autres informations pratiques. La liste des résumés est disponible sur une autre page.

Lundi 28 janvier 2002

• 09.30-10.00 Accueil café
• 10.00-10.20 Ch. Frougny, LIAFA, Paris
  Présentation du GdR ALP
• 10.20-10.45 P. Lescanne, LIP, ENS Lyon
  Substitutions et types avec intersection
• 10.45-11.10 J. Vuotto, LIFO, Orléans
  Ensembles réguliers de descendants par réécriture selon certaines stratégies
• 11.10-11.30 Pause
• 11.30-12.30 I. Walukiewicz, LaBRI, Bordeaux
  Automata theory for verification and synthesis (exposé invité)

• 14.00-15.00 M.-P. Cani, iMAGIS-GRAVIR, Grenoble
  Scènes naturelles animées : éléments de méthodologie (exposé invité)
• 15.00-15.20 Pause
• 15.20-15.45 M. Leblond, LIL, Calais
  Mathématiques et radiosité
• 15.45-16.10 D. Margery, IRISA, Rennes
  Animation et simulation parallèle : vers des environnements virtuels hautement animés
• 16.10-16.35 L. Dupont, LORIA/INRIA Lorraine
  Intersection robuste de deux quadriques
• 16.35-16.55 Pause
• 16.55-17.20 A. Slissenko, LACL, Paris 12
  Questions algorithmiques dans le cadre logique de vérification
• 17.20-17.45 R. Echahed, Leibniz, Grenoble
  Un algorithme d'analyse de confidentialité pour les programmes déclaratifs et concurrents
• 17.45-18.10 N. Markey, LIFO, Orléans & LSV, ENS de Cachan
  Model-checking des structures de Kripke avec durées

• 20.00 Dîner du GDR ALP

Mardi 29 janvier 2002

• 09.00-09.30 Accueil café
• 09.30-09.55 L. Langevine, INRIA-Rocquencourt
  Prototypage de traceur pour la programmation logique par contraintes
• 09.55-10.20 V. Danos, PPS, Paris
  Communication et Contrôle: le EEP-calcul
• 10.20-10.40 Pause
• 10.40-11.40 Ph. Flajolet, INRIA-Rocquencourt
  Les arbres digitaux et quelques uns de leurs avatars (exposé invité)
• 11.40-12.00 Pause
• 12.00-12.25 M. Durand, INRIA-Rocquencourt
  Etude de quicksort et de ses variantes

• 14.00-14.25 J. Bourdon, GREYC, Caen
  Motifs cachés dans les textes : cas des sources dynamiques
• 14.25-14.50 P.-C. Héam, LIAFA, Paris
  Utilisation d'automates pour l'algorithmique des monoïdes finis
• 14.50-15.15 J. Néraud, LIFAR, Rouen
  Une théorie des codes pour les sous-monoïdes arbitraires
• 15.15-15.35 Pause
• 15.35-16.00 S. Vialette, LIAFA, Paris
  Un aspect algorithmique de la recherche de structures secondaires d'ARN
• 16.00-16.25 J.-L. Giavitto, LAMI, Evry
  Collections topologiques et leurs transformations
• 16.30 Clôture des journées

• André Arnold, LaBRI, Bordeaux
• Pierre-Louis Curien, PPS, Paris
• Stephane Donikian, IRISA, Rennes
• Dominique Duval, LMC-IMAG, Grenoble
• Maribel Fernandez, LIENS, ENS Ulm (organisation locale)
• Philippe Flajolet, INRIA Rocquencourt
• Christiane Frougny, LIAFA, Paris (responsable du GDR ALP)
• Michel Habib, LIRMM Montpellier
• Michel Mauny, INRIA Rocquencourt
• Bernard Peroche, LIGIM, Lyon
• Christophe Schlick, LaBRI, Bordeaux
• Philippe Schnoebelen, LSV, ENS de Cachan (pôle «Spécification, Programmation et Logique»)
• Anne Verroust, INRIA Rocquencourt (pôle «Informatique Graphique»)
• Paul Zimmermann, LORIA/INRIA Lorraine (pôle «Calcul Formel»)

Inscription : La participation à ces journées est libre. Il n'y a pas de frais d'inscription. Il est simplement demandé de s'inscrire par un email à alp@liafa.jussieu.fr en précisant si vous souhaitez participer au dîner du lundi soir.

Lieu : Les journées du GDR ALP se tiendront à l'ENS Ulm, Salle de Conférences, rez-de-chaussée, 46 rue d'Ulm, à Paris. Cf. plan d'accès.

Repas : Le dîner du lundi soir aura lieu à partir de 20h, au restaurant « La Touraine », 39 rue Croulebarbe, Paris 13e (voir plan gracieusement fourni par Mappy).

Pour les lundi et mardi midi, il se trouve que le Quartier Latin est riche en solutions pratiques, pittoresques et bon marché, pour déjeuner rapidement.