BEGIN:VCALENDAR
PRODID://Seminar Graph and Logic//
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120525T110000
LOCATION:LaBRI, salle 178
SUMMARY:Alfredo Costa: Some operators that preserve the locality of a pseud
 ovariety of semigroups. 
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120525T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120327T110000
LOCATION:LaBRI, salle 76
SUMMARY:Jorge Almeida: Schützenberger groups of primitive substitutions ar
 e decidable
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120327T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120515T110000
LOCATION:LaBRI, salle 76
SUMMARY:Antoine Durand-Gasselin: Ehrenfeucht-Fraïssé goes elementarily au
 tomatic for structures of bounded    
degree
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120515T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120417T110000
LOCATION:LaBRI, salle 76
SUMMARY:Sergueï Lenglet: Bisimulations pour les opérateurs de contrôle d
 élimité
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120417T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120410T110000
LOCATION:LaBRI, salle 76
SUMMARY:Yann Strozecki: Largeur de décomposition d'hypergraphe
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120410T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120403T110000
LOCATION:LaBRI, salle 76
SUMMARY:Olivier Serre: Qualitative Tree Languages
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120403T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120313T110000
LOCATION:LaBRI, salle 76
SUMMARY:Michał Skrzypczak: MSO+U defines languages at arbitrarily high lev
 els of the projective hierarchy
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120313T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120320T110000
LOCATION:LaBRI, salle 76
SUMMARY:Amélie Stainer: A game approach to determinize timed automata
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120320T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120306T110000
LOCATION:LaBRI, salle 76
SUMMARY:Romain Brenguier: Nash equilibria in concurrent games
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120306T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120221T110000
LOCATION:LaBRI, salle 76
SUMMARY:Frédérique Carrere: Balancing weighted binary trees in linear tim
 e.
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120221T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120131T110000
LOCATION:LaBRI, salle 75
SUMMARY:David Janin: Quasi-inverse monoids : towards an algebraic character
 ization of MSO-definable languages of overlapping one-dimensionnal tiles
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120131T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120207T110000
LOCATION:LaBRI, salle 76
SUMMARY:Giulio Manzonetto: Lambda Calculus: The Differential Viewpoint
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120207T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120214T110000
LOCATION:LaBRI, salle 76
SUMMARY:Pierre Halftermeyer: Connexité dans les graphes de genre g avec ob
 stacles: un schéma d'étiquetage.
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120214T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120124T110000
LOCATION:LaBRI, salle 76
SUMMARY:Thomas Colcombet: Topological Monadic Logic
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120124T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20120117T110000
LOCATION:LaBRI, salle 76
SUMMARY:Pedro Silva: WREATH PRODUCT: AN APOLOGY 
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20120117T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111115T110000
LOCATION:LaBRI, salle 76
SUMMARY:David Janin: Sur les langages de triplets de mots
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111115T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111129T110000
LOCATION:LaBRI, salle 76
SUMMARY:Laurent Braud: Towards nominal computation
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111129T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111213T110000
LOCATION:LaBRI, salle 76
SUMMARY:Thomas Place: Regular languages of infinite trees that are boolean 
 combinations
of open sets.
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111213T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111108T110000
LOCATION:LaBRI, salle 76
SUMMARY:Olivier Gauwin: Analyse d'automates à pile pour XML 
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111108T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111122T110000
LOCATION:LaBRI, salle 76
SUMMARY:Łukasz Kaiser: The Field of Reals is not omega-Automatic 
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111122T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111206T110000
LOCATION:LaBRI, salle 76
SUMMARY:Laurent Doyen: Partial-Observation Stochastic Games: How to Win whe
 n Belief Fails 
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111206T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20110927T110000
LOCATION:LaBRI, salle 76
SUMMARY:Hugo Gimbert: A Class of Probabilistic Automata with a Decidable Va
 lue 1 Problem
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20110927T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111011T110000
LOCATION:LaBRI, salle 178
SUMMARY:Bruno Courcelle: Orientations et ordres totaux d&eacute;finissables
en logique du second-ordre monadique
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111011T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111004T110000
LOCATION:LaBRI, salle 76
SUMMARY:David Janin: Langages de rythmes : une approche formelle
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111004T120000
END:VEVENT
BEGIN:VEVENT
TZID:/Europe/Paris
DTSTART:20111018T110000
LOCATION:LaBRI, salle 76
SUMMARY:Achim Blumensath: Recognisability for infinite trees
URL:http://www.labri.fr/perso/salvati/seminar.html
DTEND:20111018T120000
END:VEVENT
END:VCALENDAR
