|
|
|
|
* 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 |