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. Notre communauté a été rejointe cette année par de nouvelles équipes, à l'occasion de l'ouverture d'un nouveau pôle (Optimisation Combinatoire).

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

Jeudi 30 janvier 2003

• 09.30-10.00 Accueil

• 10.00-10.30 M. Demange, ESSEC, Paris
  Présentation du pôle « Optimisation Combinatoire »
• 10.30-11.20 Th. Hardin, LIP6, Paris
  FOC : un mariage des programmes et des preuves (exposé invité)

• 11.20-11.45 Pause

• 11.45-12.10 E. Colin de Verdière, LIENS, Paris
  Système de lacets optimal sur une surface orientable
• 12.10-12.35 J.-Ph. Farrugia, Université Claude Bernard, Lyon
  Modèles de vision et synthèse d'images

• Déjeuner

• 14.00-14.50 B. Péroche, LIRIS, Lyon
  Le rendu en informatique graphique (exposé invité)

• 14.50-15.15 Pause

• 15.15-15.40 A. Barbier, LIRIS, Lyon
  Modélisation efficace de formes réalistes par surfaces implicites à squelettes complexes
• 15.40-16.05 J. Goubault-Larrecq, LSV, Cachan
  Deux ou trois points de vue sur la vérification de protocoles cryptographiques

• 16.05-16.30 Pause

• 16.30-17.20 M. Daumas, LIP, Lyon
  Arithmétique des ordinateurs - Des chiffres et des nombres dans une machine (exposé invité)

• 20.00-23.00 Dîner du GDR ALP

Vendredi 31 janvier 2003

• 09.00-09.50 Ch. Picouleau, CEDRIC, CNAM Paris
  Reconstruction de matrices : applications à la reconstruction de graphes, aux ordonnancements, à la construction de plannings (exposé invité)
• 9.50-10.15 F. Sourd, LIP6, Paris
  Le problème d'affectation continue et son application à l'ordonnancement

• 10.15-10.40 Pause

• 10.40-11.05 M. Vasquez, LGI2P, Nimes
  Un algorithme hybride pour le problème du sac-à-dos multidimensionnel en 0-1
• 11.05-11.30 B. Escoffier, Lamsade, Paris
  Etude de versions on-line du problème du stable max dans un graphe
• 11.30-11.55 S. Messika, LSV, Cachan
  Les traces des algorithmes distribués probabilistes sont des champs de Gibbs
• 11.55-12.20 J. Leroux, LSV, Cachan
  Comment bien accélérer ?

• Déjeuner

• 14.00-14.50 E. Asarin, VERIMAG, Grenoble
  Vérification des systèmes continus : quelques résultats, quelques problèmes (exposé invité)
• 14.50-15.15 E. Gascard, LIFO, Orléans
  Vérification formelle d'algorithmes parallèles sur réseaux d'interconnexion symétriques : Application aux Hypercubes
• 15.15-15.40 G. Fertin, IRIN, Nantes
  Caractérisation des génomes à distance synténique maximale
• 15.40-16.05 R. Andonov, IRISA, Rennes & LAMIH/ROI, Valenciennes
  Applications de la programmation linéaire à la protéomique et à la génomique

• 16.05 Clôture des journées

• André Arnold, LaBRI, Bordeaux
• Pierre-Louis Curien, PPS, Paris
• Marc Demange, ESSEC (pôle « Optimisation Combinatoire » du GDR ALP)
• Véronique Donzeau-Gouge, CEDRIC, CNAM (pôle « Spécification, Programmation et Logique » du GDR ALP)
• Stephane Donikian, IRISA, Rennes
• Dominique Duval, LMC-IMAG, Grenoble
• Philippe Flajolet, INRIA Rocquencourt
• Christiane Frougny, LIAFA, Paris (responsable du GDR ALP)
• Michel Habib, LIRMM Montpellier
• Michel Mauny, INRIA Rocquencourt
• Bernard Péroche, LIRIS, Lyon
• Christophe Schlick, LaBRI, Bordeaux
• Philippe Schnoebelen, LSV, ENS de Cachan (pôle « Spécification, Programmation et Logique » du GDR ALP)
• Anne Verroust, INRIA Rocquencourt (pôle « Informatique Graphique » du GDR ALP)
• Paul Zimmermann, LORIA/INRIA Lorraine (pôle « Algorithmique et Calcul Formel » du GDR ALP)

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 participerez au dîner organisé par le GDR ALP le jeudi soir.

Lieu : Les journées du GDR ALP se tiendront dans l'Amphi C « Abbé Grégoire » du Conservatoire National des Arts et Métiers (CNAM), 292 rue Saint Martin, à Paris (comment s'y rendre).

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

Les déjeuners de jeudi et vendredi sont à la charge des participants (il est possible de les prendre à la cantine du CNAM).