~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 733 date: vendredi 11 janvier 2019 heure: 14h30 salle: Salle 3052 nom: Olivier Carton affiliation: IRIF titre: Discrepancy and nested perfect necklaces ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 695 date: vendredi 21 décembre 2018 heure: 14h30 salle: Salle 3052 nom: Jérôme Leroux affiliation: LaBRI titre: The Reachability Problem for Petri Nets is Not Elementary ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 679 date: vendredi 14 décembre 2018 heure: 14h30 salle: Salle 3052 nom: Colin Riba affiliation: École Normale Supérieure de Lyon titre: A Curry-Howard approach to tree automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 678 date: vendredi 07 décembre 2018 heure: 14h30 salle: Salle 3058 nom: Antoine Amarilli affiliation: Télécom ParisTech titre: Topological Sorting under Regular Constraints ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 676 date: vendredi 30 novembre 2018 heure: 14h30 salle: Salle 3052 nom: Dominique Perrin affiliation: Université Paris-Est Marne-la-Vallée titre: Groups, languages and dendric shifts ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 705 date: vendredi 23 novembre 2018 heure: 14h30 salle: Salle 3052 nom: Sébastien Labbé affiliation: IRIF titre: Structure substitutive des pavages apériodiques de Jeandel-Rao ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 696 date: vendredi 16 novembre 2018 heure: 14h30 salle: Salle 358 nom: Manon Stipulanti affiliation: Université de Liège titre: A way to extend the Pascal triangle to words ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 665 date: vendredi 09 novembre 2018 heure: 14h30 salle: Salle 358 nom: Fabian Reiter affiliation: LSV titre: Counter Machines and Distributed Automata: A Story about Exchanging Space and Time ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 675 date: vendredi 19 octobre 2018 heure: 14h30 salle: Salle 3052 nom: Andrew Rizhikov affiliation: University Paris-Est Marne-la-Vallée titre: Finding short synchronizing and mortal words for prefix codes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 629 date: vendredi 05 octobre 2018 heure: 14h30 salle: Salle 3052 nom: Sam Van Gool affiliation: University of Amsterdam, ILLC titre: tba ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 615 date: vendredi 29 juin 2018 heure: 14h30 salle: Salle 3052 nom: Jacques Sakarovitch affiliation: IRIF/CNRS and Telecom ParisTech titre: The complexity of carry propagation for successor functions ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 616 date: vendredi 22 juin 2018 heure: 14h30 salle: Salle 3052 nom: Nathanaël Fijalkow affiliation: LABRI titre: Where the universal trees grow ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 624 date: vendredi 15 juin 2018 heure: 14h30 salle: Salle 3052 nom: Pierre Ohlmann affiliation: IRIF titre: Unifying non-commutative arithmetic circuit lower bounds ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 617 date: mercredi 13 juin 2018 heure: 15h00 salle: Salle 3052 nom: Joël Ouaknine affiliation: Max Planck Institute titre: Program Invariants ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 593 date: vendredi 01 juin 2018 heure: 14h30 salle: Salle 3052 nom: Ines Klimann affiliation: IRIF titre: Groups generated by bireversible Mealy automata: a combinatorial explosion ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 602 date: vendredi 25 mai 2018 heure: 14h30 salle: Salle 3052 nom: Ulrich Ultes-Nitsche affiliation: University of Fribourg titre: A Simple and Optimal Complementation Algorithm for Büchi-Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 592 date: vendredi 18 mai 2018 heure: 14h30 salle: Salle 3052 nom: Irène Guessarian affiliation: IRIF titre: Congruence preservation, treillis et reconnaissabilite ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 539 date: vendredi 20 avril 2018 heure: 14h30 salle: Salle 3052 nom: Davide Mottin affiliation: Hasso Platner Institute titre: Graph Exploration: Graph Search made Easy ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 556 date: vendredi 13 avril 2018 heure: 14h30 salle: Salle 3052 nom: Denis Kuperberg affiliation: ÉNS Lyon titre: Width of non-deterministic automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 541 date: vendredi 06 avril 2018 heure: 14h30 salle: Salle 3052 nom: Victor Marsault affiliation: LFCS, University of Edinburgh titre: Formal semantics of the query-language Cypher ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 571 date: vendredi 30 mars 2018 heure: 14h30 salle: Salle 3052 nom: Bénédicte Legastelois affiliation: LIP6 titre: Extension pondérée des logiques modales dans le cadre des croyances graduelles ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 555 date: vendredi 23 mars 2018 heure: 14h30 salle: Salle 3052 nom: Javier Esparza affiliation: Technical University of Munich titre: One Theorem to Rule Them All: A Unified Translation of LTL into omega-Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 526 date: vendredi 16 février 2018 heure: 14h30 salle: Salle 3052 nom: Prakash Panangaden affiliation: McGill University titre: A canonical form for weighted automata and applications to approximate minimization ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 524 date: vendredi 09 février 2018 heure: 14h30 salle: Salle 3052 nom: Sylvain Schmitz affiliation: LSV titre: Algorithmic Complexity of Well-Quasi-Orders ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 448 date: vendredi 02 février 2018 heure: 14h30 salle: Salle 3052 nom: Szymon Toruńczyk affiliation: MIMUW titre: Sparsity and Stability ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 346 date: vendredi 19 janvier 2018 heure: 14h30 salle: Salle 3052 nom: Verónica Becher affiliation: Universidad de Buenos Aires and CONICET titre: Randomness and uniform distribution modulo one ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 355 date: vendredi 08 décembre 2017 heure: 14h30 salle: Salle 3058 nom: Camille Bourgaux affiliation: Télécom ParisTech titre: Computing and explaining ontology-mediated query answers over inconsistent data ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 352 date: vendredi 01 décembre 2017 heure: 14h30 salle: Salle 3058 nom: Patricia Bouyer affiliation: LSV, CNRS et ENS Cachan titre: Nash equilibria in games on graphs with public signal monitoring ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 354 date: vendredi 24 novembre 2017 heure: 14h30 salle: Salle 3052 nom: Paul Brunet affiliation: University College London titre: Pomset languages and concurrent Kleene algebras ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 360 date: vendredi 17 novembre 2017 heure: 14h30 salle: Salle 3058 nom: Michał Skrzypczak affiliation: University of Warsaw titre: Deciding complexity of languages via games ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 328 date: vendredi 10 novembre 2017 heure: 14h30 salle: Salle 3058 nom: Laure Daviaud affiliation: University of Warwick titre: Max-plus automata and tropical identities ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 318 date: vendredi 27 octobre 2017 heure: 14h30 salle: Salle 3058 nom: Mikhail V. Volkov affiliation: Ural Federal University, Russie titre: Completely reachable automata: an interplay between semigroups, automata, and trees ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 327 date: vendredi 20 octobre 2017 heure: 14h30 salle: Salle 3058 nom: Sylvain Perifel affiliation: IRIF titre: Lempel-Ziv: a "one-bit catastrophe" but not a tragedy ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 314 date: vendredi 06 octobre 2017 heure: 14h30 salle: Salle 3058 nom: Nahtanaël Fijalkow affiliation: University College London titre: Comparing the speed of semi-Markov decision processes ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 288 date: jeudi 13 juillet 2017 heure: 14h30 salle: Amphi Turing nom: Thibault Godin affiliation: IRIF titre: Mealy machines, automaton (semi)groups, decision problems, and random generation (PhD defence) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 287 date: lundi 10 juillet 2017 heure: 14h30 salle: Amphi Turing nom: Matthieu Picantin affiliation: IRIF titre: Automates, (semi)groupes et dualités (soutenance d'habilitation) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 285 date: vendredi 07 juillet 2017 heure: 14h00 salle: 0010 nom: Bruno Karelović affiliation: IRIF titre: Analyse Quantitative des Systèmes Stochastiques - Jeux de Priorité et Population de Chaînes de Markov (soutenance de thèse) ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 266 date: vendredi 16 juin 2017 heure: 14h30 salle: Salle 1006 nom: Thomas Garrity affiliation: titre: Classifying real numbers using continued fractions and thermodynamics. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 257 date: vendredi 09 juin 2017 heure: 14h30 salle: Salle 1006 nom: Pierre Ohlmann affiliation: ENS de Lyon titre: Invariant Synthesis for Linear Dynamical Systems ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 210 date: vendredi 02 juin 2017 heure: 14h30 salle: Salle 1006 nom: Michaël Cadilhac affiliation: U. Tübingen titre: Continuity & Transductions, a theory of composability ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 256 date: vendredi 19 mai 2017 heure: 14h30 salle: Salle 1006 nom: Anaël Grandjean affiliation: LIRMM titre: Small complexity classes for cellular automata, dealing with diamond and round neighborhood ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 252 date: vendredi 12 mai 2017 heure: 14h30 salle: Salle 1006 nom: Paul-Elliot Anglès D'auriac affiliation: LACL titre: Higher computability and Randomness ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 232 date: vendredi 05 mai 2017 heure: 14h30 salle: Salle 1006 nom: Sebastián Barbieri affiliation: ENS Lyon titre: Symbolic dynamics and simulation theorems ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 238 date: vendredi 21 avril 2017 heure: 14h30 salle: Salle 1006 nom: Wolfgang Steiner affiliation: IRIF titre: Recognizability for sequences of morphisms ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 224 date: vendredi 07 avril 2017 heure: 14h30 salle: Salle 1006 nom: Alan J. Cain affiliation: U. Nova Lisbon titre: Automatic presentations for algebraic and relational structures ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 193 date: vendredi 31 mars 2017 heure: 14h30 salle: Salle 1006 nom: Cyril Nicaud affiliation: LIGM titre: Synchronisation d'automates aléatoires ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 221 date: vendredi 24 mars 2017 heure: 14h30 salle: Salle 1006 nom: Martin Delacourt affiliation: U. Orléans titre: Des automates cellulaires unidirectionnels permutifs et du problème de la finitude pour les groupes d'automates. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 208 date: vendredi 17 mars 2017 heure: 14h30 salle: Salle 1006 nom: Fabian Reiter affiliation: IRIF titre: Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 197 date: vendredi 10 mars 2017 heure: 14h30 salle: Salle 1006 nom: Victor Marsault affiliation: University of Liège titre: An efficient algorithm to decide the periodicity of $b$-recognisable sets using MSDF convention ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 181 date: vendredi 03 mars 2017 heure: 14h30 salle: Salle 3052 nom: Guillaume Lagarde affiliation: IRIF titre: Non-commutative lower bounds ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 191 date: vendredi 24 février 2017 heure: 14h30 salle: Salle 3052 nom: Daniela Petrisan affiliation: IRIF titre: Quantifiers on languages and topological recognisers ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 194 date: vendredi 17 février 2017 heure: 14h30 salle: Salle 3052 nom: Svetlana Puzynina affiliation: IRIF titre: Additive combinatorics generated by uniformly recurrent words ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 164 date: vendredi 27 janvier 2017 heure: 14h30 salle: Salle 3052 nom: Nadime Francis affiliation: University of Edinburgh titre: Schema Mappings for Data Graphs ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 163 date: vendredi 20 janvier 2017 heure: 14h30 salle: Salle 3052 nom: Nathanaël Fijalkow affiliation: Alan Turing Institute titre: Logical characterization of Probabilistic Simulation and Bisimulation. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 171 date: vendredi 13 janvier 2017 heure: 14h30 salle: Salle 1006 nom: Reem Yassawi affiliation: IRIF titre: Extended symmetries of some higher dimensional shift spaces. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 172 date: vendredi 06 janvier 2017 heure: 14h30 salle: Salle 1006 nom: Alexandre Vigny affiliation: IMJ-PRG titre: Query enumeration and Nowhere-dense graphs ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 158 date: vendredi 09 décembre 2016 heure: 14h30 salle: Salle 1006 nom: Benjamin Hellouin affiliation: IRIF titre: Computing the entropy of mixing tilings ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 141 date: vendredi 02 décembre 2016 heure: 14h30 salle: Salle 1006 nom: Christian Choffrut affiliation: IRIF titre: Some equational theories of labeled posets ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 114 date: vendredi 25 novembre 2016 heure: 14h30 salle: Salle 1007 nom: Benedikt Bollig affiliation: LSV, ENS de Cachan titre: One-Counter Automata with Counter Observability ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 126 date: vendredi 18 novembre 2016 heure: 14h30 salle: Salle 1006 nom: Nathan Lhote affiliation: LaBRI & ULB titre: Towards an algebraic theory of rational word functions ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 130 date: vendredi 04 novembre 2016 heure: 09h20 salle: Salle 3052 nom: Lia Infinis affiliation: titre: Workshop ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 111 date: vendredi 28 octobre 2016 heure: 14h30 salle: Salle 1006 nom: Vincent Jugé affiliation: LSV, ENS de Cachan titre: Is the right relaxation normal form for braids automatic? ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 113 date: vendredi 21 octobre 2016 heure: 14h30 salle: Salle 1006 nom: Georg Zetzsche affiliation: LSV, ENS de Cachan titre: Subword Based Abstractions of Formal Languages ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 124 date: vendredi 14 octobre 2016 heure: 14h30 salle: Salle 1006 nom: Léo Exibard affiliation: titre: Alternating Two-way Two-tape Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 112 date: vendredi 07 octobre 2016 heure: 14h30 salle: Salle 1006 nom: Hubie Chen affiliation: titre: One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 93 date: vendredi 30 septembre 2016 heure: 14h30 salle: 1006 nom: Équipe automate affiliation: titre: Journée de rentrée ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 87 date: vendredi 08 juillet 2016 heure: 14h30 salle: Salle 1003 nom: Sylvain Hallé affiliation: Université du Québec à Chicoutimi titre: Solving Equations on Words with Morphisms and Antimorphisms ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 70 date: vendredi 17 juin 2016 heure: 14h30 salle: Salle 1003 nom: Arthur Milchior affiliation: IRIF titre: Deterministic Automaton and FO[<,mod] integer set ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 69 date: vendredi 10 juin 2016 heure: 14h30 salle: Salle 1003 nom: Bruno Karelovic affiliation: IRIF titre: Perfect-information Stochastic Priority Games ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 60 date: vendredi 03 juin 2016 heure: 14h30 salle: Salle 1003 nom: Howard Straubing affiliation: Boston College titre: Two Variable Logic with a Between Predicate ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 82 date: lundi 30 mai 2016 heure: 14h00 salle: Salle des thèse (halle aux farines) nom: Bruno Guillon affiliation: IRIF - Universitá degli Studi di Milano titre: Soutenance de Thèse : Two-wayness: Automata and Transducers ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 56 date: vendredi 27 mai 2016 heure: 14h30 salle: Salle 1003 nom: Laure Daviaud affiliation: LIP – ENS Lyon titre: A Generalised Twinning Property for Minimisation of Cost Register Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 49 date: vendredi 20 mai 2016 heure: 14h30 salle: Salle 1003 nom: Igor Potapov affiliation: University of Liverpool titre: Matrix Semigroups and Related Automata Problems ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 47 date: vendredi 13 mai 2016 heure: 14h30 salle: Salle 1003 nom: Dong Han Kim affiliation: Dongguk University, Corée du Sud titre: Sturmian colorings on regular trees ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 48 date: vendredi 15 avril 2016 heure: 14h30 salle: Salle 1003 nom: Emmanuel Jeandel affiliation: LORIA titre: Un jeu apériodique de 11 tuiles ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 20 date: vendredi 01 avril 2016 heure: 14h30 salle: Salle 1003 nom: Tim Smith affiliation: LIGM Paris Est titre: Determination and Prediction of Infinite Words by Automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 396 date: lundi 21 mars 2016 heure: 10h00 salle: LABRI nom: Colloque En L'honneur De Marcel-Paul Schützenberger (21-25/03/2016) affiliation: titre: [[http://mps2016.labri.fr/index_fr.html|Programme]] ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 17 date: vendredi 18 mars 2016 heure: 14h30 salle: Salle 1003 nom: Eugene Asarin affiliation: IRIF titre: Entropy games and matrix multiplication games ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 385 date: vendredi 11 mars 2016 heure: 14h30 salle: Salle 0010 nom: Anna-Carla Rousso affiliation: IRIF titre: TBA ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 386 date: vendredi 04 mars 2016 heure: 14h30 salle: Salle 0010 nom: Thierry Bousch affiliation: Paris Sud titre: La Tour d'Hanoï, revue par Dudeney ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 387 date: vendredi 22 janvier 2016 heure: 14h30 salle: Salle 0010 nom: Laurent Bartholdi affiliation: ENS titre: TBA ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 388 date: vendredi 15 janvier 2016 heure: 14h30 salle: Salle 0010 nom: Viktoriya Ozornova affiliation: Universität Bremen titre: Factorability structures ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Automata seminaire: automates id: 389 date: vendredi 08 janvier 2016 heure: 14h30 salle: Salle 0010 nom: Antoine Amarilli affiliation: Télécom ParisTech titre: Provenance Circuits for Trees and Treelike Instances ----