Séminaire "Graphes et Logique"

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.