Previous Next Contents

9   Année 1996-97

Groupe de travail géré par P.A. Wacrenier

   


* 14 Octobre 96 Denis Lapoire
  Découpe de cartes


* 21 Octobre 96 David Janin
  Du théorème de Kleene au théorème de Stupp via les calculs de points fixes


* 28 Octobre 96 Denis Lapoire
  Titre à préciser


* 18 Novembre 96 Dirk Janssens (Univ. Anvers)
  Systèmes ESM


* 25 Novembre 96 Anne Bottreau
  Problèmes d'énumération et réécriture de graphes


* 2 Décembre 96 Nicolas Magnier
  Sur la décidabilité des problèmes de préservation de contraintes d'intégrité


* 16 Décembre 96 Mohamed Mosbah
  Marches aléatoires dans un graphe


* 6 Janvier 97 Renate Klempien-Hinrichs
  Remplacements de sommets dans des hypergraphes


* 13 Janvier 97 Sébastien Limet (Orléans)
  Unification dans les systèmes de réécriture et langages d'arbres


* 20 Janvier 97 Jérôme Olivier DURAND-LOSE
  Résultats de décidabilité sur les Automates Cellulaires



* 10 Mars 97 Laurent Pelecq
  Groupe d'automorphisme des graphes équationnels


* 24 Mars 97 Jérôme Olivier DURAND-LOSE
  Résultats de décidabilité sur les Automates Cellulaires


* 21 Avril 97 Géraud Sénizergues
  L(A) = L(B) ?


* 28 Avril 97 Pierre Tisseur - Marseille
  Vitesse de propagation de l'information, entropie et automates cellulaires


Previous Next Contents