École Jeunes Chercheurs
en Algorithmique et Calcul Formel

À Marne-la-Vallée du 31 mars au 4 avril 2003

Programme détaillé

*** Remarque : Les fichiers des supports de cours sont donnés ici pour information. Les versions imprimées seront distribuées aux participants. ***

Veuillez cliquer sur les titres pour accéder aux résumes des exposés courts.

Les exposés ont lieu (sauf le jeudi après midi) dans l'auditorium (R.D.C) du bâtiment Copernic.

Lundi 31 mars : Combinatoire Algébrique

---

• 9:00 - 9:15 : Accueil

---



• 9:15 - 9:45 Jean-Yves Thibon (IGM, Marne-la-Vallée) : Introduction à la combinatoire algébrique
• 9:45 - 10:45 Jean-Gabriel Luque (IGM, Marne-la-Vallée) : Théorie classique des invariants et information quantique
  

  [Support de cours (Postscript)]




---

• 10:45 - 11:15 : Pause café

---



• 11:15 - 12:15 Alain Lascoux (IGM, Marne-la-Vallée) : Structures combinatoires pour les calculs Polynomiaux
  

  [Support de cours (8 pages, Postscript)]

  
  

  [Une version longue du support de cours (34 pages, Postscript)]

• 12:15 - 13:15 Florent Hivert (IGM, Marne-la-Vallée), Nicolas Thiéry (LaPCS, Université Claude Bernard Lyon I) : Exemples d'algèbres combinatoires; Implantation
  

  [Support de cours (Postscript)]




---

• 13:15 - 14:30 : Pause déjeuner

---



• 14:30 - 14:50 Cyrille Martig : Autour de la réecriture d'une série rationnelle en plusieurs variables sous forme du quotient de 2 polynômes
• 14:50 - 15:10 Gilles Radenne : Structures d'ordres et Algèbre de Hecke à $q=0$
• 15:10 - 15:30 Olivier Ruatta : Sur une généralisation de l'interpolation de Newton
• 15:30 - 15:50 Hervé Sibert : Entity Authentication Schemes Using Braid Word Reduction



---

• 15:50 - 16:20 : Pause café

---



• 16:20 - 16:40 Aline Gouget : Sur le critère de propagation des fonctions booléennes
• 16:40 - 17:00 Nazim Fatès : Que peut nous apprendre la modélisation par automates cellulaires ?
• 17:00 - 17:20 Clémence Magnien : Modèle du tas de sable abélien : configurations récurrentes
• 17:20 - 17:40 Arnaud Dartois : Le modèle du tas de sable

Mardi 1er avril : Combinatoire des mots

• 9:00 - 10:00 Jean Berstel (IGM, Marne-la-Vallée) : Quelques problèmes en combinatoire des mots
  

  [Support de cours (Postscript)]




---

• 10:00 - 10:30 : Pause café

---



• 10:30 - 11:50 Gwénaël Richomme (LaRIA, Amiens) : Morphismes autour des mots sans répétition
  

  [Support de cours (Postscript)]

• 11:50 - 13:15 Julien Cassaigne (IML) : Autour de la complexité des mots infinis
  

  [Support de cours (Postscript)]




---

• 13:15 - 14:30 : Pause déjeuner

---



• 14:30 - 14:50 Adel Guerziz : Mots et morphismes à effacements sturmiens
• 14:50 - 15:10 Julien Bernat : Beta-numération et fractions continues
• 15:10 - 15:30 Marianne Durand : Un algorithme de comptage probabiliste
• 15:30 - 15:50 Anne-Elisabeth Baert : Création de composantes complexes dans les graphes aléatoires



---

• 15:50 - 16:20 : Pause café

---



• 16:20 - 16:40 Taoufik Faik : Sur les b-colorations d'un graphe
• 16:40 - 17:00 Jean-Loup Guillaume : Modélisation de graphes petit-monde
• 17:00 - 17:20 Emmanuelle Lebahr : Les graphes et modules sandwich
• 17:20 - 17:40 Simon Bliudze : Evaluation de performances dans les réseaux de télécommunications sous l'angle combinatoire
• 17:40 - 18:00 Olivier Serre : Jeux sur des graphes finis et infinis



---

• 18:00 - 19:00 : Pot de bienvenue

---

Mercredi 2 avril : Vérification automatique de systèmes concurrents

• 9:00 - 10:55 Anca Muscholl (LIAFA, Paris 7) : Vérification automatique de systèmes concurrents (1ère partie)
  

  [Support de cours (Postscript)]




---

• 10:55 - 11:25 : Pause café

---



• 11:25 - 13:15 Marc Zeitoun (LIAFA, Paris 7) : Vérification automatique de systèmes concurrents (2ème partie)
  

  [Dernière version du support de cours ]

  
  

  [Les transparents de la deuxième partie du cours]




---

• 13:15 - 14:30 : Pause déjeuner

---



• 14:30 - 14:50 Antoine Meyer : Traces contextuelles de graphes infinis
• 14:50 - 15:10 Christophe Papazian : Hiérarchie des classes de reconnaissances sur graphes
• 15:10 - 15:30 Chloé Rispal : Mots indexés par des ordres linéaires



---

• 15:30 - 16:00 : Pause café

---



• 16:00 - 16:20 Heikel Batnini : Analyse par intervalles et résolution de systèmes d'équations de distance
• 16:20 - 16:40 Philippe Chapdelaine : Difficulté de la recherche locale pour les CSP booléens
• 16:40 - 17:00 Laurent Noé : Recherche heuristique de similitudes dans les séquences d'ADN

Jeudi 3 avril : Calcul Formel

• 9:00 - 9:15 Paul Zimmermann (Loria, Nancy) : Introduction
  

  [Introduction (Postscript)]

• 9:15 - 10:25 Eric Schost (GAGE, École polytechnique) : Systèmes polynomiaux
  

  [Support de cours (Postscript)]




---

• 10:25 - 10:55 : Pause café

---



• 10:55 - 12:05 Frédéric Chyzak (INRIA) : Sommation symbolique
  

  [Support de cours (Postscript)]

• 12:05 - 13:15 Guillaume Hanrot (Loria, Nancy) : Réduction des réseaux
  

  [Support de cours (Postscript)]




---

• 13:15 - 14:30 : Pause déjeuner

---



• 14:30 - 14:50 Abdolali Basiri : An application of LLL algorithmes in Gröbner basis
• 14:50 - 15:10 Alin Bostan : Autour du principe de transposition
• 15:10 - 15:30 Ludovic Meunier : Encyclopédie Automatique des Fonctions Spéciales
• 15:30 - 15:50 Guénaël Renault : Calcul efficace d'un idéal des relations entre les racines d'un polynôme



---

• 15:50 - 16:20 : Pause café

---



• 16:20 - 16:40 Nadia Ben Atti : Réduction des matrices de Henkel utilisant les matrices de Toeplitz
• 16:40 - 17:00 Hervé Perdry : Les nombres p-adiques
• 17:00 - 17:20 Nicolas Gurel : Algorithme de Kedlaya : une introduction
• 17:20 - 17:40 Loubna Echabbi : Protocole distribué pour commutation de circuits virtuels pour les réseaux de télécommunications avec tarification par les enchères



---

• 20:00 : Banquet [Site web du restaurant] [Informations pratiques]

---

Vendredi 4 avril : Cryptographie

• 9:00 - 10:15 Daniel Augot (INRIA) : Chiffrement et signature
  

  [Support de cours (Postscript)]




---

• 10:15 - 10:45 : Pause café

---



• 10:45 - 12:00 François Morain (LIX) : Protocoles
  

  [Support de cours (Postscript)]

• 12:00 - 13:15 Frédéric Blanqui (LIX) : Preuve de protocole
  

  [Support de cours (Postscript)]




---

• 13:15 - 14:30 : Pause déjeuner

---

Pour toute information, contacter ejc2003@univ-mlv.fr.

http://www-igm.univ-mlv.fr/~ejc2003
ejc2003@univ-mlv.fr