Le séminaire Graphes et Logique est maintenant géré par Sylvain Salvati, voilà la nouvelle page du séminaire.
Ci-dessous la liste des exposés du séminaire "Graphes et Logique", de septembre 2008 à juillet 2009.
mardi, 16 septembre 2008
Mathieu Poudret, "Transformation de graphe pour la modélisation géométrique à base topologique", avec application à la biologie.
mardi, 23 septembre 2008
Géraud Sénizergues, "Higher-Order pushdowns and monoids".
mardi, 7 octobre 2008
Bruno Courcelle, "Une hiérarchie linéaire des classes de graphes basée sur les transductions monadiques du second-ordre".
mardi, 14 octobre 2008
Laurent Méhats, "Identité de preuves d'un point de vue catégorique"
mardi, 21 octobre 2008
Benoit Razet, "Modélisation et simulation des automates à l'aide de machines d'Eilenberg"
mardi, 28 octobre 2008
Bruno Courcelle, "Une hiérarchie linéaire des classes de graphes basée sur les transductions monadiques du second-ordre".
mardi, 4 novembre 2008
Pawel Parys, "Systems of equations satisfied in all commutative finite semigroups "
mardi, 18 novembre 2008
Hélène Kirchner, "Un Calcul de réécriture de graphes, inspiré par la biochimie".
mardi, 25 novembre 2008
Václav Brožek, "Reachability in stochastic BPA games"
mardi, 2 décembre 2008
Réunion d'équipe
mardi, 9 décembre 2008
Hugo Gimbert, "Détermination et décidabilité des jeux stochastiques à observation partielle"
mardi, 16 décembre 2008
Serge Gaspers, "Domination pour des classes de graphes"
mardi, 6 janvier 2009
Mamadou Kante
mardi, 13 janvier 2009
Peter Habermehl, "Emptiness of (ordered) multi-pushdown automata is 2ETIME-complete"
mardi, 20 janvier 2009
Lutz Strassburger, "A Characterisation of Medial as Rewriting Rule"
mardi, 27 janvier 2009
Michaël Rao, "Décompositions et unicité"
mardi, 10 février 2009
David Michel, "Logiques pédagogiques propositionnelles"
mardi, 17 février 2009
Bruno Courcelle, "Evaluation des formules de la MSOL sur les mots : Compilation ou Interprétation"
mardi, 24 février 2009
Thomas Colcombet, "Fonctions de coût régulières et monoïde de stabilisation"
jeudi, 5 mars 2009
Stéphane Demri, "Complexity of Modal Logics with Presburger Constraints"
mardi, 10 mars 2009
11:00
Marc Zeitoun
14:00
Stephan Kepser, "On monadic second-order theories of multi dominance structures"
mardi, 17 mars 2009
Dietrich Kuske, "Automatic structures: simple, difficult, rather unsolvable, and very unsolvable problems"
mardi, 24 mars 2009
Anca Muscholl, "A look at the control of asynchronous automata"
mardi, 31 mars 2009
Salle 178, Marc Zeitoun, "Topologies profinies du monoïde libre (suite et fin)"
mardi, 7 avril 2009
David Renault, "Le théorème de discrétude des isométries du plan"
mardi, 21 avril 2009
Anuj Dawar, "Logics with Rank Operators"
mardi, 28 avril 2009
Rahul Savani, "Wiretapping: the nucleolus of connectivity"
mardi, 12 mai 2009
Konrad Zdanowski, "A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata"
mardi, 26 mai 2009
Igor Walukiewicz, "Alternating Timed Weak Automata"
mardi, 9 juin
Laurent Doyen, "Quantitative Languages"
mardi, 16 juin
Paul-André Melliès, "Game Semantics in String Diagrams"
mardi, 23 juin
Didier Caucal
mardi, 30 juin
Jean Daligault
Ci-dessous, feu l'agenda du séminaire.
Mais pourquoi le garder?
Parce qu'en cliquant sur la flèche gauche, puis en sélectionnant la bonne date et enfin en cliquant sur les titres des exposés, vous obtiendrez, parfois, le résumé de l'exposé en question.