## Automates

#### Jour, heure et lieu

Le vendredi à 14h30, salle 3052

Le calendrier des séances (format iCal).

Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien.

#### Contact(s)

### Séances passées

#### Année 2020

Automates

Vendredi 26 juin 2020, 14 heures 30, Held online, on BigBlueButton

**Laure Daviaud** (City University of London) *About learning automata and weighted automata*

Automates

Vendredi 19 juin 2020, 14 heures 30, Online on BigBlueButton

**Sven Dziadek** *Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words*

Our results are threefold. We show that ω-algebraic systems can be transformed into Greibach normal form. Our second result proves that simple ω-pushdown automata recognize all ω-algebraic series. Simple pushdown automata do not use ε-transitions and can change the stack only by at most one symbol. We use these results to prove a logical characterization of weighted ω-context-free languages in the sense of Büchi, Elgot and Trakhtenbrot.

This is joint work with Manfred Droste and Werner Kuich.

Automates

Vendredi 12 juin 2020, 14 heures 30, Online (BigBlueButton)

**Kuize Zhang** *On detectability of finite automata and labeled Petri nets*

Automates

Vendredi 5 juin 2020, 14 heures 30, Online

**K. S. Thejaswini** (University of Warwick) *The Strahler Number of a Parity Game*

Automates

Vendredi 29 mai 2020, 14 heures 30, Online

**Liat Peterfreund** (IRIF) *Weight Annotation in Information Extraction*

Automates

Vendredi 22 mai 2020, 14 heures 30, Virtual seminar on BigBlueButton

**Mikołaj Bojańczyk** (MIMUW) *Single use transducers over infinite alphabets*

In this talk, I will describe how the single-use restriction can bring some order into this zoo. The single-use restriction says that once an atom from a register is queried, then that atom disappears. Among our results: a Factorisation Forest Theorem, a Krohn-Rhodes decomposition, and a class of “regular” transducers which admits four equivalent characterisations.

Joint work with Rafał Stefański.

Automates

Vendredi 15 mai 2020, 14 heures 30, Online, on BigBlueButton (usual link, available on the mailing list)

**Thomas Colcombet** (IRIF) *Unambiguous Separators for Tropical Tree Automata*

Automates

Jeudi 7 mai 2020, 14 heures 30, Online, on BigBlueButton (usual link, available on the mailing list)

**Florent Koechlin** *Weakly-unambiguous Parikh automata and their link to holonomic series*

It is a classical result that regular languages have rational generating series and that the generating series of unambiguous context-free languages are algebraic. This connection between automata theory and analytic combinatorics has been successfully exploited. For instance, Flajolet used it in the eighties to prove the inherent ambiguity of some context-free languages using criteria from complex analysis.

Settling a conjecture of Castiglione and Massazza, we establish an interesting link between unambiguous Parikh automata and holonomic power series, which also yields characterizations of inherent ambiguity and algorithmic byproducts for these automata models.

This is a joint work with Alin Bostan, Arnaud Carayol and Cyril Nicaud.

Automates

Vendredi 17 avril 2020, 14 heures 30, Online

**Jan Philipp Wächter** (Universität Stuttgart) *An Automaton Group with PSPACE-Complete Word Problem*

One aspect of this research is the study of algorithmic properties of automaton groups and semigroups. While many natural algorithmic decision problems have been proven or are generally suspected to be undecidable for these classes, the word problem forms a notable exception. In the group case, it asks whether a given word in the generators is equal to the neutral element in the group in question and is well-known to be decidable for automaton groups. In fact, it was observed in a work by Steinberg published in 2015 that it can be solved in nondeterministic linear space using a straight-forward guess and check algorithm. In the same work, he conjectured that there is an automaton group with a PSPACE-complete word problem.

In a recent paper presented at STACS 2020, Armin Weiß and I could prove that there indeed is such an automaton group. To achieve this, we combined two ideas. The first one is a construction introduced by Daniele D'Angeli, Emanuele Rodaro and me to show that there is an inverse automaton semigroup with a PSPACE-complete word problem and the second one is an idea already used by Barrington in 1989 to encode NC¹ circuits in the group of even permutation over five elements. In the talk, we will discuss how Barrington's idea can be applied in the context of automaton groups, which will allow us to prove that the uniform word problem for automaton groups (were the generating automaton and, thus, the group is part of the input) is PSPACE- complete. Afterwards, we will also discuss the ideas underlying the construction to simulate a PSPACE-machine with an invertible automaton, which allow for extending the result to the non-uniform case. Finally, we will briefly look at related problems such as the compressed word problem for automaton groups.

Automates

Vendredi 10 avril 2020, 14 heures 30, Online

**Javier Esparza** *An Efficient Normalisation Procedure for Linear Temporal Logic*

In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of LTL with past operators is equivalent to a formula of the form $\bigwedge_{i=1}^n \G\F \varphi_i \vee \F\G \psi_i $, where $\varphi_i$ and $\psi_i$ contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for the future fragment of LTL. Both normalisation procedures had a non-elementary worst-case blow-up, and followed an involved path from LTL formulas to counter-free automata to star-free regular expressions and back to LTL. We improve on both points. We present a purely syntactic normalisation procedure from LTL to LTL, with single exponential blow-up, that can be implemented in a few dozen lines of Standard ML code. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalises the formula, translates it into a special very weak alternating automaton, and applies a simple determinisation procedure, valid only for these special automata.

Online seminar on BigBlueButton

Automates

Vendredi 3 avril 2020, 14 heures 30, Online

**Nathanaël Fijalkow** (LaBRI) *Assume Guarantee Synthesis for Prompt Linear Temporal Logic*

In this talk I will discuss the case where both Assumptions and Guarantees are given by Prompt Linear Temporal Logic (Prompt LTL), which is a logic extending LTL by adding bound requirements such as “every request is answered in bounded time”.

The solution to the AG problem for Prompt LTL will be an invitation to the theory of regular cost functions.

Joint work with Bastien Maubert and Moshe Y. Vardi.

Séminaire Virtuel sur BigBlueButton

Automates

Vendredi 27 mars 2020, 14 heures 30, Salle 3052

**Edwin Hamel-De Le Court** *Non encore annoncé.*

Automates

Vendredi 20 mars 2020, 14 heures 30, Online

**Pierre Ohlmann** (IRIF) *Controlling a random population*

The seminar will take place virtually using the software BigBlueButton (see intranet). Detailed instructions will follow by email at 14:00.

Automates

Vendredi 6 mars 2020, 10 heures 30, Salle 3052

**Stefan Milius** (Friedrich-Alexander Universität Erlangen-Nürnberg) *From Equational Specifications of Algebras with Structure to Varieties of Data Languages*

Attention ! Horaire non habituel !

Automates

Vendredi 6 mars 2020, 14 heures 30, Salle 3052

**Henning Urbat** (FAU Erlangen-Nürnberg) *Automata Learning: An Algebraic Approach*

Automates

Vendredi 28 février 2020, 14 heures 30, Salle 3052

**Marie Van Den Bogaard** (ULB) *Subgame Perfect Equilibria in Quantitative Reachability Games*

Automates

Mardi 25 février 2020, 14 heures, Salle 3052

**Georg Zetsche** (MPI SWS) *Extensions of $\omega$-Regular Languages*

(Joint work with Mikołaj Bojańczyk, Edon Kelmendi, and Rafał Stefański)

Note the unusual time (14:00).

Automates

Vendredi 21 février 2020, 14 heures 30, Salle 3052

**Luc Dartois** (LACL) *Reversible Transducers*

Maintenu malgré les vacances, car présence attendue d'une dizaine de personnes (après sondage)

Automates

Vendredi 7 février 2020, 14 heures 30, Salle 3052

**Youssouf Oualhadj** (LACL) *Life is random time is not: Markov decision processes with window objectives*

In this work, we extend the window framework to stochastic environments by considering the fundamental threshold probability problem in Markov decision processes for window objectives. That is, given such an objective, we want to synthesize strategies that guarantee satisfying runs with a given probability. We solve this problem for the usual variants of window objectives, where either the time frame is set as a parameter, or we ask if such a time frame exists. We develop a generic approach for window-based objectives and instantiate it for the classical mean-payoff and parity objectives, already considered in games. Our work paves the way to a wide use of the window mechanism in stochastic models.

Joint work with : Thomas Brihaye, Florent Delgrange, Mickael Randour.

Automates

Vendredi 31 janvier 2020, 14 heures 30, Salle 3052

**Arnaud Sangnier** (IRIF) *Deciding the existence of cut-off in parameterized rendez-vous networks*

This is a joint work with Florian Horn.

Automates

Vendredi 17 janvier 2020, 14 heures 30, Salle 3052

**Marc Zeitoun** (LABRI) *The star-free closure*

These definitions can be rephrased using closure operators operating on classes of languages. In this talk, we investigate these operators and generalize the results of Schützenberger. This is joint work with Thomas Place.

Automates

Vendredi 10 janvier 2020, 14 heures 30, Salle 3052

**Karoliina Lehtinen** *Parity Games – the quasi-polynomial era*

In 2017 a major breakthrough occurred: parity games are solvable in quasi-polynomial time. Since then, several seemingly very distinct quasi-polynomial algorithms have been published, both by myself and others, and some of the novel ideas behind them have been applied to address other problems in automata theory.

In this talk, I will give an overview of these developments, including my own contribution to them, and the state-of-the art, with a slight automata-theoretic bias.

#### Année 2019

Automates

Mardi 17 décembre 2019, 14 heures 30, Salle 0010

**Achim Blumensath** (Masaryk University) *Regular Tree Algebras*

Noter la salle et l'horaire inhabituels.

Automates

Vendredi 6 décembre 2019, 14 heures 30, Salle 3052

**Wesley Fussner** *Residuation: Origins and Open Problems*

Automates

Vendredi 29 novembre 2019, 14 heures 30, Salle 3052

**Dmitry Chistikov** (University of Warwick) *On the complexity of linear arithmetic theories over the integers*

In this talk, I will survey constructions and ideas that underlie known answers to these questions, from classical results to recent developments, and open problems.

First, we will recall the geometry of integer linear programming and how it interacts with quantifiers. This will take us from classical results due to von zur Gathen and Sieveking (1978), Papadimitriou (1981), and others to the geometry of the set of models of quantified logical formulas. We will look at rational convex polyhedra and their discrete analogue, hybrid linear sets (joint work with Haase (2017)), and see, in particular, how the latter form a proper sub-family of ultimately periodic sets of integer points in several dimensions (the semi-linear sets, introduced by Parikh (1961)).

Second, we will discuss “sources of hardness”: which aspects of the expressive power make decision problems for logics over the integers hard. Addition and multiplication combined enable simulation of arbitrary Turing machines, and restriction of multiplication to bounded integers corresponds to resource-bounded Turing machines. How big can these bounded integers be in Presburger arithmetic? This leads to the problem of representing big numbers with small logical formulae, and we will see constructions by Fischer and Rabin (1974) and by Haase (2014). We will also look at the new “route” for expressing arithmetic progressions (in the presence of quantifier alternation) via continued fractions, recently discovered by Nguyen and Pak (2017).

Automates

Vendredi 22 novembre 2019, 14 heures 30, Salle 3052

**Alexis Bes** *Décider (R,+,<,1) dans (R,+,<,Z)*

Automates

Vendredi 15 novembre 2019, 14 heures 30, Salle 3052

**Patrick Totzke** *Timed Basic Parallel Processes*

The first one describes “punctual” reachability relations: reachability in exact time t. It uses a coarse interval abstraction and counting of resets via Parikh-Automata. The other is a “sweep line” construction to compute optimal time to reach in reachability games played on one-clock TA.

Together, these can be used to derive a (tight) NP complexity upper bound for the coverability and reachability problems in an interesting subclass of Timed Petri Nets, which naturally lends itself to parametrised safety checking of concurrent, real-time systems. This contrasts with known super-Ackermannian completeness, and undecidability results for unrestricted Timed Petri nets.

This is joint work with Lorenzo Clemente and Piotr Hofman, and was presented at CONCUR'19. Full details are available at https://arxiv.org/abs/1907.01240.

Automates

Vendredi 8 novembre 2019, 14 heures 30, Salle 3052

**Daniel Smertnig** (University of Waterloo) *Noncommutative rational Pólya series*

This is joint work with Jason Bell. arXiv:1906.07271

Automates

Lundi 28 octobre 2019, 11 heures, Salle 1007

**Pierre Ganty** (IMDEA Software Institute) *Deciding language inclusion problems using quasiorders*

Automates

Vendredi 25 octobre 2019, 14 heures 30, Salle 3052

**Luca Reggio** (Mathematical Institute, University of Bern) *Limits of finite structures: a duality theoretic perspective*

I will explain how this embedding into a space of measures dually corresponds to enriching First-Order Logic with certain probability operators. Further, I will relate this construction to first-order quantification in logic on words.

This talk is based on joint work with M. Gehrke and T. Jakl.

Automates

Vendredi 11 octobre 2019, 14 heures 30, Salle 1016

**Gaëtan Douéneau-Tabot** (IRIF) *Pebble transducers for modeling simple programs*

Automates

Vendredi 5 juillet 2019, 14 heures 30, Salle 1001

**Mahsa Shirmohammadi** (CNRS) *Büchi Objectives in Countable MDPs*

Automates

Vendredi 14 juin 2019, 14 heures 30, Salle 3052

**Engel Lefaucheux** (Max-Planck Institute for Software Systems, Saarbrucken) *Simple Priced Timed Games are not That Simple*

Automates

Vendredi 7 juin 2019, 14 heures 30, Salle 3052

**Jean-Éric Pin** (IRIF) *Un théorème de Mahler pour les fonctions de mots. (Jean-Eric Pin et Christophe Reutenauer)*

Automates

Vendredi 17 mai 2019, 14 heures 30, Salle 3052

**Jeremy Sproston** (Université de Turin) *Probabilistic Timed Automata with Clock-Dependent Probabilities*

Automates

Vendredi 3 mai 2019, 14 heures 30, Salle 3052

**Sam Van Gool** (Utrecht University) *Separation and covering for varieties determined by groups*

The covering problem for the variety of star-free languages was shown to be decidable by Henckell. In fact, he gave an algorithm for an equivalent problem, namely, computing the pointlike subsets of a finite semigroup with respect to the variety of aperiodic semigroups, i.e., semigroups all of whose subgroups are trivial.

In this talk, I will present the following wide generalization of Henckell's result. Let H be any decidable variety of groups. I will describe an algorithm for computing pointlike sets for the variety of semigroups all of whose subgroups are in H. The correctness proof for the algorithm uses asynchronous transducers, Schützenberger groups, and self-similarity. An application of our result is the decidability of the covering and separation problems for the variety of languages definable in first order logic with modular counting quantifiers.

This talk is based on our paper S. v. Gool & B. Steinberg, Adv. in Math. 348, 18-50 (2019).

Automates

Vendredi 29 mars 2019, 14 heures 30, Salle 3052

**Anaël Grandjean** *Points apériodiques dans la sous shifts de dimension 2*

Quelle est la complexité calculatoire de déterminer si un jeu de tuiles (espace de type fini) possède un point apériodique ? Comment se comportent les espaces de pavages ne possédant aucun point apériodique ?

Nous montrons qu’un espace de pavage 2D sans point apériodique a une structure très forte : il est “équivalent” (presque conjugué) à un espace de pavage 1D, et ce résultat s’applique aux espaces de type fini ou non. Nous en déduisons que le problème de posséder un point apériodique est co-récursivement-énumérable-complet, et que la plupart des propriétés et méthodes propres au cas 1D s’appliquent aux espaces 2D sans point apériodique. La situation en dimension supérieure semble beaucoup moins claire.

Cet exposé est issu d’une collaboration avec Benjamin Hellouin de Menibus et Pascal Vanier.

Automates

Mardi 26 mars 2019, 13 heures, Salle 3052

**Francesco Dolce** (Université Paris Diderot, IRIF) *Generalized Lyndon words*

Automates

Vendredi 22 mars 2019, 14 heures 30, Salle 3052

**Reem Yassawi** (CNRS, Institut Camille Jordan - Université Lyon 1 - Claude Bernard) *Versions quantitatives du théorème de Christol*

Andrew Bridy a récemment donne une démonstration du théorème de Christol en utilisant des outils qui proviennent de la géométrie algébrique. Avec cette démonstration il majore le nombre d’états par une borne qui est optimale. Nous obtenons des bornes presque semblables par une démonstration élémentaire, et nous traçons les liens entre notre démonstration et celle de Bridy. Ceci est un travail en commun avec Boris Adamczewski.

Automates

Vendredi 15 mars 2019, 14 heures 30, Salle 3052

**Mateusz Skomra** (ÉNS Lyon) *Condition numbers of stochastic mean payoff games and what they say about nonarchimedean convex optimization*

The talk is based on joint works with X. Allamigeon, S. Gaubert, and R. D. Katz.

Automates

Vendredi 8 mars 2019, 14 heures 30, Salle 3052

**Lama Tarsissi** (Université Marne-la-Vallée, Paris Est) *Christoffel words and applications.*

Automates

Vendredi 15 février 2019, 14 heures 30, Salle 3052

**Alexandre Vigny** (Université Paris Diderot) *Query enumeration and nowhere dense classes of graphs*

In this talk I will talk about some restrictions for which such algorithms exist: graphs with bounded degree, tree-like structures, conjunctive queries… We will more specifically consider nowhere dense classes of graphs: What are they? Why is this notion relevant? How to make algorithms from these graph properties?

Automates

Vendredi 8 février 2019, 14 heures 30, Salle 3052

**Paul-André Melliès** (IRIF) *Higher-order parity automata*

You will find the extended abstract of the talk here: https://www.irif.fr/~mellies/papers/higher-order-parity-automata.pdf

Automates

Vendredi 1 février 2019, 14 heures 30, Salle 3052

**Elise Vandomme** (Université Technique Tchèque de Prague) *New notions of recurrence in a multidimensional setting*

Automates

Vendredi 25 janvier 2019, 14 heures 30, Salle 3052

**Nathan Grosshans** *The power of programs over monoids taken from some small varieties of finite monoids*

Automates

Vendredi 18 janvier 2019, 14 heures 30, Salle 3052

**Adrien Boiret** *Learning Top-Down Tree Transducers using Myhill Nerode or Lookahead*

- first, by an extension of the Myhill-Nerode theorem on DTOP to the regular case, by defining a minimal *leftmost* earliest compatible normal form.
- second, by reducing the problem to top-down domains, by using the regular inspection as a lookahead

The merits of these methods will be discussed for possible extensions of these methods to data trees.

Automates

Vendredi 11 janvier 2019, 14 heures 30, Salle 3052

**Olivier Carton** (IRIF) *Discrepancy and nested perfect necklaces*

#### Année 2018

Automates

Vendredi 21 décembre 2018, 14 heures 30, Salle 3052

**Jérôme Leroux** (LaBRI) *The Reachability Problem for Petri Nets is Not Elementary*

Joint work with Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki.

Automates

Vendredi 14 décembre 2018, 14 heures 30, Salle 3052

**Colin Riba** (École Normale Supérieure de Lyon) *A Curry-Howard approach to tree automata*

Automates

Vendredi 7 décembre 2018, 14 heures 30, Salle 3058

**Antoine Amarilli** (Télécom ParisTech) *Topological Sorting under Regular Constraints*

Our work shows that CTS[K] is tractable when K falls in several language families, e.g., unions of monomials, which can be used for pattern matching. However, we can show that CTS[K] is NP-hard for K = (ab)^* using a shuffle reduction technique that we can use to show hardness for more languages. We also study the special case of the constrained shuffle problem (CSh), where the input graph is a disjoint union of strings, and show that CSh[K] is additionally tractable when K is a group language or a union of district group monomials. We conjecture that a dichotomy should hold on the complexity of CTS[K] or CSh[K] depending on K, and substantiate this by proving a coarser dichotomy under a different problem phrasing which ensures that tractable languages are closed under common operators.

Automates

Vendredi 30 novembre 2018, 14 heures 30, Salle 3052

**Dominique Perrin** (Université Paris-Est Marne-la-Vallée) *Groups, languages and dendric shifts*

Automates

Vendredi 23 novembre 2018, 14 heures 30, Salle 3052

**Sébastien Labbé** (IRIF) *Structure substitutive des pavages apériodiques de Jeandel-Rao*

Automates

Vendredi 16 novembre 2018, 14 heures 30, Salle 358

**Manon Stipulanti** (Université de Liège) *A way to extend the Pascal triangle to words*

Automates

Vendredi 9 novembre 2018, 14 heures 30, Salle 358

**Fabian Reiter** (LSV) *Counter Machines and Distributed Automata: A Story about Exchanging Space and Time*

This is joint work with Olivier Carton and Bruno Guillon.

Automates

Vendredi 19 octobre 2018, 14 heures 30, Salle 3052

**Andrew Rizhikov** (University Paris-Est Marne-la-Vallée) *Finding short synchronizing and mortal words for prefix codes*

Automates

Vendredi 5 octobre 2018, 14 heures 30, Salle 3052

**Sam Van Gool** (University of Amsterdam, ILLC) *Non encore annoncé.*

Automates

Vendredi 29 juin 2018, 14 heures 30, Salle 3052

**Jacques Sakarovitch** (IRIF/CNRS and Telecom ParisTech) *The complexity of carry propagation for successor functions*

We address the problem of the existence of the amortized carry propagation and of its value in non-standard numeration systems of various kinds: abstract numeration systems, rational base numeration systems, greedy numeration systems and beta-numeration.

We tackle the problem by means of techniques of three different types: combinatorial, algebraic, and ergodic.

For each kind of numeration systems that we consider, the relevant method allows to establish sufficient conditions for the existence of the carry propagation and examples show that these conditions are close to be necessary.

This is a joint work with Valérie Berthé, Christiane Frougny, and Michel Rigo

Automates

Vendredi 22 juin 2018, 14 heures 30, Salle 3052

**Nathanaël Fijalkow** (LABRI) *Where the universal trees grow*

This is based on two joint works, the first with Wojtek Czerwinski, Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, and Pawel Parys, and the second with Thomas Colcombet.

Automates

Vendredi 15 juin 2018, 14 heures 30, Salle 3052

**Pierre Ohlmann** (IRIF) *Unifying non-commutative arithmetic circuit lower bounds*

Automates

Mercredi 13 juin 2018, 15 heures, Salle 3052

**Joël Ouaknine** (Max Planck Institute) *Program Invariants*

This is joint work with Ehud Hrushovski, Amaury Pouly, and James Worrell.

Date inhabituelle : Mercredi

Automates

Vendredi 1 juin 2018, 14 heures 30, Salle 3052

**Ines Klimann** (IRIF) *Groups generated by bireversible Mealy automata: a combinatorial explosion*

This talk originates in the following question: is it decidable if an automaton group has intermediate growth? I will show that in the case of bireversible automata, whenever there exists at least one element of infinite order, the growth of the group is necessarily exponential.

(This work will be presented at ICALP'18.)

Automates

Vendredi 25 mai 2018, 14 heures 30, Salle 3052

**Ulrich Ultes-Nitsche** (University of Fribourg) *A Simple and Optimal Complementation Algorithm for Büchi-Automata*

Automates

Vendredi 18 mai 2018, 14 heures 30, Salle 3052

**Irène Guessarian** (IRIF) *Congruence preservation, treillis et reconnaissabilite*

Automates

Vendredi 20 avril 2018, 14 heures 30, Salle 3052

**Davide Mottin** (Hasso Platner Institute) *Graph Exploration: Graph Search made Easy*

The talk shows how graph exploration can considerably support any analysis on graphs in a fresh and exciting manner, by combining interactive methods, personalized results, adaptive structures, and scalable algorithms. I describe the recent efforts for a graph exploration stack which supports interactivity, personalization, adaptivity, and scalability through intuitive and efficient techniques we recently proposed. The current methods show encouraging results in reducing the effort of experts and novice users in finding the information of interests through example-based approaches, personalized summaries, and active learning theories. Finally, I present the vision for the future in graph exploration research and show the chief challenges in databases, data analysis, and machine learning.

Automates

Vendredi 13 avril 2018, 14 heures 30, Salle 3052

**Denis Kuperberg** (ÉNS Lyon) *Width of non-deterministic automata*

Automates

Vendredi 6 avril 2018, 14 heures 30, Salle 3052

**Victor Marsault** (LFCS, University of Edinburgh) *Formal semantics of the query-language Cypher*

Automates

Vendredi 30 mars 2018, 14 heures 30, Salle 3052

**Bénédicte Legastelois** (LIP6) *Extension pondérée des logiques modales dans le cadre des croyances graduelles*

Dans le cadre général des logiques modales, je propose d'abord une sémantique proportionnelle pour des opérateurs modaux pondérés, basée sur des modèles de Kripke classiques. J'étudie ensuite la définition d'axiomes modaux pondérés étendant les axiomes classiques et propose une typologie les répartissant en quatre catégories, selon l'enrichissement du cas classique qu'ils produisent et leur correspondance avec la contrainte associée sur la relation d'accessibilité.

D'autre part, je m'intéresse à une formalisation des croyances graduelles, basée sur la conception représentationaliste des croyances et reposant sur un modèle ensembliste flou. J'en étudie plusieurs aspects, comme les propriétés arithmétiques et l'application de la négation.

Automates

Vendredi 23 mars 2018, 14 heures 30, Salle 3052

**Javier Esparza** (Technical University of Munich) *One Theorem to Rule Them All: A Unified Translation of LTL into omega-Automata*

Joint work with Jan Kretinsky and Salomon Sickert.

Séminaire de pôle

Automates

Vendredi 16 février 2018, 14 heures 30, Salle 3052

**Prakash Panangaden** (McGill University) *A canonical form for weighted automata and applications to approximate minimization*

This is joint work with Borja Balle and Doina Precup and was presented at LICS 2015 in Kyoto.

Automates

Vendredi 9 février 2018, 14 heures 30, Salle 3052

**Sylvain Schmitz** (LSV) *Algorithmic Complexity of Well-Quasi-Orders*

The talk gives an overview of the complexity questions arising from the use of well-quasi-orders, including the definition of complexity classes suitable for problems with non-elementary complexity and proof techniques for upper bounds. I will mostly focus on the ideas behind the first known complexity upper bound for reachability in vector addition systems and Petri nets.

Précédée d'une réunion d'équipe à 13:45.

Automates

Vendredi 2 février 2018, 14 heures 30, Salle 3052

**Szymon Toruńczyk** (MIMUW) *Sparsity and Stability*

Automates

Vendredi 19 janvier 2018, 14 heures 30, Salle 3052

**Verónica Becher** (Universidad de Buenos Aires and CONICET) *Randomness and uniform distribution modulo one*

This is joint work with Serge Grigorieff and Theodore Slaman.

#### Année 2017

Automates

Vendredi 8 décembre 2017, 14 heures 30, Salle 3058

**Camille Bourgaux** (Télécom ParisTech) *Computing and explaining ontology-mediated query answers over inconsistent data*

Automates

Vendredi 1 décembre 2017, 14 heures 30, Salle 3058

**Patricia Bouyer** (LSV, CNRS et ENS Cachan) *Nash equilibria in games on graphs with public signal monitoring*

Automates

Vendredi 24 novembre 2017, 14 heures 30, Salle 3052

**Paul Brunet** (University College London) *Pomset languages and concurrent Kleene algebras*

In the first part of the talk, I will present an automaton model designed to describe such languages of pomset, which satisfies a Kleene-like theorem. The main difference with previous constructions is that from expressions to automata, we use Brzozowski derivatives.

In a second part, I will use Petri nets to reduce the problem of containment of languages of pomsets to the equivalence of finite state automata. In doing so, we prove decidabilty as well as provide tight complexity bounds.

I will finish the presentation by briefly presenting a recent proof of completness, showing that two series-rational expressions are equivalent according to the laws of CKA exactly when their pomset semantics are equal.

Joint work with Damien Pous, Georg Struth, Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi

Automates

Vendredi 17 novembre 2017, 14 heures 30, Salle 3058

**Michał Skrzypczak** (University of Warsaw) *Deciding complexity of languages via games*

The aim of my talk is to survey a number of examples in which it is not possible to provide algebraic representation of the considered languages; but instead characterisations can be obtained by a well-designed game of infinite duration. Using these examples, I will try to argue that game-based approach is the natural replacement for algebraic framework in the cases where algebraic representations are not available.

Automates

Vendredi 10 novembre 2017, 14 heures 30, Salle 3058

**Laure Daviaud** (University of Warwick) *Max-plus automata and tropical identities*

Automates

Vendredi 27 octobre 2017, 14 heures 30, Salle 3058

**Mikhail V. Volkov** (Ural Federal University, Russie) *Completely reachable automata: an interplay between semigroups, automata, and trees*

Automates

Vendredi 20 octobre 2017, 14 heures 30, Salle 3058

**Sylvain Perifel** (IRIF) *Lempel-Ziv: a “one-bit catastrophe” but not a tragedy*

Automates

Vendredi 6 octobre 2017, 14 heures 30, Salle 3058

**Nahtanaël Fijalkow** (University College London) *Comparing the speed of semi-Markov decision processes*

Réunion mensuelle de l'équipe automates à 13:45 dans la même salle

Automates

Jeudi 13 juillet 2017, 14 heures 30, Amphi Turing

**Thibault Godin** (IRIF) *Mealy machines, automaton (semi)groups, decision problems, and random generation (PhD defence)*

Manuscrit disponible ici : https://www.irif.fr/_media/users/godin/these30-06-17.pdf

Automates

Lundi 10 juillet 2017, 14 heures 30, Amphi Turing

**Matthieu Picantin** (IRIF) *Automates, (semi)groupes et dualités (soutenance d'habilitation)*

Manuscrit disponible ici : https://mealym.sciencesconf.org/data/program/HdR.pdf

Automates

Vendredi 7 juillet 2017, 14 heures, 0010

**Bruno Karelović** (IRIF) *Analyse Quantitative des Systèmes Stochastiques - Jeux de Priorité et Population de Chaînes de Markov (soutenance de thèse)*

Automates

Vendredi 16 juin 2017, 14 heures 30, Salle 1006

**Thomas Garrity** *Classifying real numbers using continued fractions and thermodynamics.*

Automates

Vendredi 9 juin 2017, 14 heures 30, Salle 1006

**Pierre Ohlmann** (ENS de Lyon) *Invariant Synthesis for Linear Dynamical Systems*

We will investigate this problem with a different point of view: is it possible to synthesise suitable invariants, that is, subsets of $Q^d$ that contain $x$ but not $y$. Such invariants provide natural certificates for negative instances of the Orbit Problem. We will show that semialgebraic invariants exist in all reasonable cases. A more recent (yet unpublished) result is that existence of semilinear invariants is decidable.

This is a joint work with Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly and James Worrell, published in STACS 2017.

Automates

Vendredi 2 juin 2017, 14 heures 30, Salle 1006

**Michaël Cadilhac** (U. Tübingen) *Continuity & Transductions, a theory of composability*

In a second step, we focus on transducers, i.e., automata with letter output. We study the problem of deciding whether a given transducer realizes a V-continuous function, for some classical classes V (e.g., aperiodic languages, group languages, piecewise-testable, …).

If time allows, we will also see when there exists a correlation between the transducer structure (i.e., its transition monoid), and its computing a continuous function.

Joint work with Olivier Carton, Andreas Krebs, Michael Ludwig, Charles Paperman.

Automates

Vendredi 19 mai 2017, 14 heures 30, Salle 1006

**Anaël Grandjean** (LIRMM) *Small complexity classes for cellular automata, dealing with diamond and round neighborhood*

Automates

Vendredi 12 mai 2017, 14 heures 30, Salle 1006

**Paul-Elliot Anglès D'auriac** (LACL) *Higher computability and Randomness*

In this talk, we will see two ways to extend usual computability: by defining a more powerful model, or in a more set theoretic fashion. The first method is used to define Infinite Time Turing Machine, a model where Turing Machines are allowed to compute throught infinite time (that is, throught the ordinals instead of the integers). It has a lot of links with admissibility theory. The second method is used to define alpha-recursion, where alpha is any admissible ordinal. It is an abstract and very general definition of computation. Even if it has a very set-theoretic basis, it reflects the idea of computation and contains the notions of Turing Machine and Infinite Time Turing Machines computabilities. It also includes Higher Computability.

By investigating which properties on the extensions are needed to lift theorems to the new setting, we are able to isolate the important properties of the classical case. We also apply these generalized recursion theories to define randomness, in the same way that we did in the classical case: a string is said to be random if it has no exceptionnal properties, in a computable sense. Our new definition of computation then gives use new definition of randomness.

(No prior knowledge on set theory is assumed.)

Automates

Vendredi 5 mai 2017, 14 heures 30, Salle 1006

**Sebastián Barbieri** (ENS Lyon) *Symbolic dynamics and simulation theorems*

Automates

Vendredi 21 avril 2017, 14 heures 30, Salle 1006

**Wolfgang Steiner** (IRIF) *Recognizability for sequences of morphisms*

This is joint work with Valérie Berthé, Jörg Thuswaldner and Reem Yassawi.

Automates

Vendredi 7 avril 2017, 14 heures 30, Salle 1006

**Alan J. Cain** (U. Nova Lisbon) *Automatic presentations for algebraic and relational structures*

In this talk, I will introduce and survey automatic presentations, with particular attention to connections with decidability and logic. I will then discuss work with Nik Ruskuc (Univ. of St Andrews, UK) and Richard Thomas (Univ. of Leicester, UK) on algebraic and combinatorial structures that admit automatic presentations or unary automatic presentations. The main focus will be on results that characterize the structures of some type (for example, groups, trees, or partially ordered sets) that admit automatic presentations.

Automates

Vendredi 31 mars 2017, 14 heures 30, Salle 1006

**Cyril Nicaud** (LIGM) *Synchronisation d'automates aléatoires*

Automates

Vendredi 24 mars 2017, 14 heures 30, Salle 1006

**Martin Delacourt** (U. Orléans) *Des automates cellulaires unidirectionnels permutifs et du problème de la finitude pour les groupes d'automates.*

Automates

Vendredi 17 mars 2017, 14 heures 30, Salle 1006

**Fabian Reiter** (IRIF) *Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment*

Automates

Vendredi 10 mars 2017, 14 heures 30, Salle 1006

**Victor Marsault** (University of Liège) *An efficient algorithm to decide the periodicity of $b$-recognisable sets using MSDF convention*

We are interested in deciding whether a $b$-recognisable set of integers (given as a finite automaton) is eventually periodic. Honkala showed in 1986 that this problem is decidable and recent developments give efficient decision algorithms. However, they only work when the integers are written with the least significant digit first.

In this work, we consider here the natural order of digits (Most Significant Digit First) and give a quasi-linear algorithm to solve the problem in this case.

Automates

Vendredi 3 mars 2017, 14 heures 30, Salle 3052

**Guillaume Lagarde** (IRIF) *Non-commutative lower bounds*

We still don't know an explicit polynomial that requires non-commutative circuits of size at least superpolynomial.
However, the context of non commutativity seems to be convenient to get such lower bound because the rigidity of the non-commutativity implies a lot of constraints about the ways to compute.
It is in this context that Nisan, in 1991, provides an exponential lower bound against the non commutative Algebraic Branching Programs computing the permanent, the very first one in arithmetic complexity. We show that this result can be naturally seen as a particular case of a theorem about circuits with *unique parse tree*, and show some extensions to get closer to lower bounds for general NC circuits.

Two joint works: with Guillaume Malod and Sylvain Perifel; with Nutan Limaye and Srikanth Srinivasan.

Automates

Vendredi 24 février 2017, 14 heures 30, Salle 3052

**Daniela Petrisan** (IRIF) *Quantifiers on languages and topological recognisers*

A fundamental tool in studying the connection between algebraic recognisers, say classes of monoids, and fragments of logics on words is the availability of constructions on monoids which mirror the action of quantifiers, such as block products or other kinds of semidirect products. In the second part of the talk I will discuss generalisations of these techniques beyond the case of regular languages and present a general recipe for obtaining constructions on the topological recognisers introduced above that correspond to operations on languages possibly specified by transducers.

This talk is based on joint work with Mai Gehrke and Luca Reggio.

Automates

Vendredi 17 février 2017, 14 heures 30, Salle 3052

**Svetlana Puzynina** (IRIF) *Additive combinatorics generated by uniformly recurrent words*

Automates

Vendredi 27 janvier 2017, 14 heures 30, Salle 3052

**Nadime Francis** (University of Edinburgh) *Schema Mappings for Data Graphs*

As the model, we use data graphs: a theoretical abstraction of property graphs employed by graph database implementations. We start by showing a very strong negative result: using the simplest form of nontrivial navigation in mappings makes answering even simple queries that mix navigation and data undecidable. This result suggests that for the purposes of integration and exchange, schema mappings ought to exclude recursively defined navigation over target data. For such mappings and analogs of regular path queries that take data into account, query answering becomes decidable, although intractable. To restore tractability without imposing further restrictions on queries, we propose a new approach based on the use of null values that resemble usual nulls of relational DBMSs, as opposed to marked nulls one typically uses in integration and exchange tasks. If one moves away from path queries and considers more complex patterns, query answering becomes undecidable again, even for the simplest possible mappings.

Automates

Vendredi 20 janvier 2017, 14 heures 30, Salle 3052

**Nathanaël Fijalkow** (Alan Turing Institute) *Logical characterization of Probabilistic Simulation and Bisimulation.*

In particular, I will look at logical characterizations for this notion: the goal is to describe a logic such that two systems are bisimilar if and only if they satisfy the same formulas. This question goes all the way back to Hennessey and Millner for non probabilistic transition systems.

I will develop topological tools and give very general logical characterization results for probabilistic simulation and bisimulation.

Automates

Vendredi 13 janvier 2017, 14 heures 30, Salle 1006

**Reem Yassawi** (IRIF) *Extended symmetries of some higher dimensional shift spaces.*

*symmetry*group of $(X,T)$ is the group of all shift-commuting homeomorphisms $X$. In the larger

*reversing*symmetry group of $(X,T)$, we also consider homeomorphisms $\Phi$ of $X$ where $\Phi \circ T= T^{-1}\circ \Phi$, also called

*lip conjugacies*. We define a generalisation of the reversing symmetry group for higher dimensional shifts, and we find this

*extended*symmetry group for two prototypical higher dimensional shifts, namely the chair substitution shift and the Ledrappier shift. Joint work with M. Baake and J.A.G Roberts.

–––––

**French version:**

*Les automorphismes généralisés des sous shifts.*

Soit $(X,\mathbb Z^d)$ un soushift inversible. Nous définissons le groupe des

*automorphismes généralisés*: c'est le normalisateur du groupe engendré par le shift dans le groupe d'homéomorphismes de $X$. Nous trouvons les automorphismes généralisés de deux shifts prototyiques: le pavage de la chaise et le soushift Ledrappier. En collaboration avec M. Baake et J.A.G Roberts.

Automates

Vendredi 6 janvier 2017, 14 heures 30, Salle 1006

**Alexandre Vigny** (IMJ-PRG) *Query enumeration and Nowhere-dense graphs*

In this talk we will discuss query enumeration, that is outputting the solutions one by one. Two parameters enter in play, the delay and the preprocessing time. The delay is the maximal time between two consecutive output and the preprocessing time is the time needed to produce the first solution. We will investigate cases where the delay is constant (does not depend on the size of the database) and the preprocessing is linear (in the size of the database) i.e. constant delay enumeration after linear preprocessing. This is not always possible as this implies a linear model-checking. We will therefore add restriction to the classes of databases and/or queries such as bounded degree databases, tree-like structures, conjunctive queries…

#### Année 2016

Automates

Vendredi 9 décembre 2016, 14 heures 30, Salle 1006

**Benjamin Hellouin** (IRIF) *Computing the entropy of mixing tilings*

In 1D tilings (subshifts) of finite type, we have known how to compute the entropy for 30 years, and the method gives an algebraic characterisation of possible values. In higher dimension, a surprise came in 2007: not only is the entropy not computable in general, but any upper-semi-computable real number appears as entropy - a weak computational condition. Since then new works have shown that entropy becomes computable again with aditionnal mixing hypotheses. We do not know yet where the border between computable and uncomputable lies.

In this talk, I will explore the case of general subshifts (not of finite type) in any dimension, hoping to shed some light on the finite type case. I relate the computational difficulty of computing the entropy to the difficulty of deciding if a word belongs to the language. I exhibit a threshold in the mixing rate where the difficulty of the problem jumps suddenly, the very phenomenon that is expected in the finite type case.

This is a joint work with Silvère Gangloff and Cristobal Rojas.

Automates

Vendredi 2 décembre 2016, 14 heures 30, Salle 1006

**Christian Choffrut** (IRIF) *Some equational theories of labeled posets*

We equip the collection of labeled posets (partially ordered sets), abbreviated l.p., with different operations: series product (concatenation of l.p), parallel product (disjoint union of posets), omega-power (concatenation of an omega sequence of the same poset) and omega-product (concatenation of an omega sequence of possibly different posets, which has therefore infinite arity). We select four subsets of these operations and show that in each case the equational theory is axiomatizable. We characterize the free algebras in the corresponding varieties, both algebraically as classes which are closed under the above operations as well as combinatorially as classes of partially ordered subsets. We also study the decidability issues when the question makes sense.

Nous munissons la collection des posets étiquetés (ensembles partiellement), en abrégé p.e., de différentes opérations: lproduit série (concaténation de p.e.), produit parallèle (union disjointe de p.e.), omega puissance (concaténation d'une omega suite du même p.e.) et omega produit (concaténation d'une omega suite de p.e., éventuellement différents, donc d'arité infinie. Nous distinguons quatre sous-ensembles parmi les opérations ci-dessus et nous montrons que dans chaque cas la théorie équationnelle est axiomatisable. Nous caractérisons les algèbres libres dans les variétiés correspondante aussi bien algébriquement en tant classes d'algèbres fermées pour les opérations ci-dessus et combinatoriquement en tant que classes de structures ordonnées. Nous étudions aussi les problèmes de décidabilité quand ils ont un sens.

Automates

Vendredi 25 novembre 2016, 14 heures 30, Salle 1007

**Benedikt Bollig** (LSV, ENS de Cachan) *One-Counter Automata with Counter Observability*

http://www.lsv.ens-cachan.fr/~bollig/

Automates

Vendredi 18 novembre 2016, 14 heures 30, Salle 1006

**Nathan Lhote** (LaBRI & ULB) *Towards an algebraic theory of rational word functions*

Automates

Vendredi 4 novembre 2016, 9 heures 20, Salle 3052

**Lia Infinis** *Workshop*

- (09h20 - 09h30) Opening
- (09h30 - 10h00) Serge Grigorieff : “Algorithmic randomness and uniform distribution modulo one”
- (10h00 - 10h30) Stéphane Demri : “Reasoning about data repetitions with counter systems”
- (10h30 - 11h00) Coffee Break
- (11h00 - 11h30) Michel Habib : “A nice graph problem coming from biology: the study of read networks”
- (11h30 - 12h00) Delia Kesner : “Completeness of Call-by-Need (A fresh view)”
- (12h00 - 12h30) Pierre Vial : “Infinite Intersection Types as Sequences: a New Answer to Klop's Problem”
- (12h30 - 14h00) Lunch (Buffon Restaurant - 17 rue Hélène Brion - Paris 13ème)
- (14h00 - 14h30) Verónica Becher : “Finite-state independence and normal sequences”
- (14h30 - 15h00) Brigitte Vallée : “Towards the random generation of arithmetical objects”
- (15h00 - 15h30) Valérie Berthé : “Dynamical systems and their trajectories”
- (15h30 - 16h00) Coffee Break
- (16h00 - 16h30) Nicolás Alvarez : “Incompressible sequences on subshifts of finite type”
- (16h30 - 17h00) Eugene Asarin : “Entropy Games”
- (17h00 - 18h00) Discussion about the future of LIA INFINIS

Automates

Vendredi 28 octobre 2016, 14 heures 30, Salle 1006

**Vincent Jugé** (LSV, ENS de Cachan) *Is the right relaxation normal form for braids automatic?*

We will study the right relaxation normal form, which belongs to this family of normal forms. We will show that it is regular, and that it is synchronously bi-automatic if and only if the braid group has 3 punctures or less.

Automates

Vendredi 21 octobre 2016, 14 heures 30, Salle 1006

**Georg Zetzsche** (LSV, ENS de Cachan) *Subword Based Abstractions of Formal Languages*

While Parikh-style abstractions have been studied very intensely over the last decades, recent years have seen an increasing interest in abstractions based on the subword ordering. Examples include the set of (non necessarily contiguous) subwords of members of a language (the downward closure), or their superwords (the upward closure). Whereas it is well-known that these closures are regular for any language, it is often not obvious how to compute them. Another type of subword based abstractions are piecewise testable separators. Here, a separators acts as an abstraction of a pair of languages.

This talk will present approaches to computing closures, deciding separability by piecewise testable languages, and a (perhaps surprising) connection between these problems. If time permits, complexity issues will be discussed as well.

Automates

Vendredi 14 octobre 2016, 14 heures 30, Salle 1006

**Léo Exibard** *Alternating Two-way Two-tape Automata*

Joint work with Olivier Carton and Olivier Serre.

Automates

Vendredi 7 octobre 2016, 14 heures 30, Salle 1006

**Hubie Chen** *One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries*

We here restrict the problem according to the set of permissible queries; the particular formulation we work with is the relational homomorphism problem over a class of structures A, wherein each instance must be a pair of structures such that the first structure is an element of A. We present a comprehensive complexity classification of these problems, which strongly links graph-theoretic properties of A to the complexity of the corresponding homomorphism problem. In particular, we define a binary relation on graph classes and completely describe the resulting hierarchy given by this relation. This binary relation is defined in terms of a notion which we call graph deconstruction and which is a variant of the well-known notion of tree decomposition. We then use this graph hierarchy to infer a complexity hierarchy of homomorphism problems which is comprehensive up to a computationally very weak notion of reduction, namely, a parameterized form of quantifier-free reductions. We obtain a significantly refined complexity classification of left-hand side restricted homomorphism problems, as well as a unifying, modular, and conceptually clean treatment of existing complexity classifications, such as the classifications by Grohe-Schwentick-Segoufin (STOC 2001) and Grohe (FOCS 2003, JACM 2007).

After presenting this new advance, we will compare this line of research with another that aims to classify the complexity of the homomorphism problem where the second (target) structure is fixed, and that is currently being studied using universal-algebraic methods. We will also make some remarks on two intriguing variants, injective homomorphism (also called embedding) and surjective homomorphism.

This talk is mostly based on joint work with Moritz Müller that appeared in CSL-LICS ’14. In theory, the talk will be presented in a self-contained fashion, and will not assume prior knowledge of any of the studied notions.

Automates

Vendredi 30 septembre 2016, 14 heures 30, 1006

**Équipe automate** *Journée de rentrée*

9h45 Svetlana Puzynina 10h15 Sebastian Schoener 10h30 Célia Borlido 11h Thibault Godin 11h45 Benjamin Hellouin 12h15 Thomas Garrity

14h Olivier Carton 14h30 Sylvain Lombardy (LaBRI)– Démonstration du logiciel Vaucuson-R 15h30 Pablo Rotondo

Démonstration du logiciel Vaucuson-R

Automates

Vendredi 8 juillet 2016, 14 heures 30, Salle 1003

**Sylvain Hallé** (Université du Québec à Chicoutimi) *Solving Equations on Words with Morphisms and Antimorphisms*

Automates

Vendredi 17 juin 2016, 14 heures 30, Salle 1003

**Arthur Milchior** (IRIF) *Deterministic Automaton and FO[<,mod] integer set*

We state that it is decidable in time O(nlog(n)) whether a set of vectors accepted by a given finite deterministic automaton can be defined in the less expressive logic. The case of dimension 1 was already proven by Marsault and Sakarovitch. If the first algorithms gives a positive answer, the second one computes in time O(n^{3}log(n)) an existential formula in this logic that defines the same set. This improves the 2EXP time algorithm that can be easily obtained by combining the results of Leroux and Choffrut.

In this talk, it is intended to: -Introduce automata reading vectors of integers, -Present the logic FO[<,0,mod] over integers -Introduce classical tools relating automata to numbers. -Give an idea of how they can be applied to the above-mentionned problem.

Automates

Vendredi 10 juin 2016, 14 heures 30, Salle 1003

**Bruno Karelovic** (IRIF) *Perfect-information Stochastic Priority Games*

Automates

Vendredi 3 juin 2016, 14 heures 30, Salle 1003

**Howard Straubing** (Boston College) *Two Variable Logic with a Between Predicate*

We present several logics, both first-order and temporal, that have the same expressive power, and find matching lower and upper bounds for the complexity of satisfiability for each of these formulations. We also give an effective algebraic characterization of the properties expressible in this logic. This enables us to prove, among many other things, that our new logic has strictly less expressive power than full first-order logic FO[<].

This is joint work with Andreas Krebs, Kamal Lodaya, and Paritosh Pandya, and will be presented at LICS2016.

Automates

Lundi 30 mai 2016, 14 heures, Salle des thèse (halle aux farines)

**Bruno Guillon** (IRIF - Universitá degli Studi di Milano) *Soutenance de Thèse : Two-wayness: Automata and Transducers*

The 2FA are computably equivalent to FA, even in their nondeterministic (2NFA) variant. However, in the Descriptional Complexity area, some questions remain. Raised by Sakoda and Sipser in 1978, the question of the cost of the simulation of 2NFA by 2DFA is still open. In this manuscript I give an answer in a restricted case in which the nondeterministic choices of the 2NFA may occur at the border of the input only (2ONFA). I show that every 2ONFA can be simulated by a 2DFA of subexponential (but superpolynomial) size. Under the assumptions L=NL, this cost is reduced to the polynomial level. Moreover, I prove that the complementation, and the simulation by a halting 2ONFA is polynomial.

Classical transducers (1-way) are well-known and admit nice characterizations (rational relations, logic). But their 2-way variant (2T) is still unknown, especially the nondeterministic case. In this area, my manuscript gives a new contribution: a algebraic characterization of the relations accepted by 2NT when both the input and output alphabets are unary. It can be reformulated as follows: each unary 2NT is equivalent to a sweeping (and even rotating) 2T. I also show that the assumptions made on the size of the alphabets are required.

The study of word relations, as algebraic object, and their transitive closure is another subject considered in my phd. When the relation belongs to some low level class, we are able to set the complexity of its transitive closure. This quickly becomes uncomputable when higher classes are considered.

Hall F, 5ème étage, thèse disponible à l'adresse https://www.irif.univ-paris-diderot.fr/~guillonb/phd_defense.html

Automates

Vendredi 27 mai 2016, 14 heures 30, Salle 1003

**Laure Daviaud** (LIP – ENS Lyon) *A Generalised Twinning Property for Minimisation of Cost Register Automata*

Regarding unambiguous WA over a group G, they can equivalently be described by a CRA whose registers take their values in G, and are updated by operations of the form X:=Y.c, with c in G and X,Y registers.

In this talk, I will give a characterisation of unambiguous weighted automata which are equivalent to cost register automata using at most k registers, for a given k. To this end, I will generalise two notions originally introduced by Choffrut for finite-state transducers: a twinning property and a bounded variation property, here parametrised by an integer k and that characterise WA/functions computing by a CRA using at most k registers.

This is a joint work with Pierre-Alain Reynier and Jean-Marc Talbot.

Automates

Vendredi 20 mai 2016, 14 heures 30, Salle 1003

**Igor Potapov** (University of Liverpool) *Matrix Semigroups and Related Automata Problems*

- Membership (Decide whether a given matrix M belong to a semigroup S) and special cases such as: Identity (i.e if M is the identity matrix) and Mortality (i.e if M is the zero matrix) problems
- Vector reachability (Decide for a given vectors u and v whether exist a matrix M in S such that Mu=v)
- Scalar reachability (Decide for a given vectors u, v and a scalar L whether exist a matrix M in S such that uMv=L)
- Freeness (Decide whether every matrix product in S is unique, i.e. whether it is a code)

The undecidability proofs in matrix semigroups are mainly based on various techniques and methods for embedding universal computations into matrix products. The case of dimension two is the most intriguing since there is some evidence that if these problems are undecidable, then this cannot be proved using any previously known constructions. Due to a severe lack of methods and techniques the status of decision problems for 2×2 matrices (like membership, vector reachability, freeness) is remaining to be a long standing open problem. More recently, a new approach of translating numerical problems of 2×2 integer matrices into variety of combinatorial and computational problems on words and automata over group alphabet and studying their transformations as specific rewriting systems have led to a few results on decidability and complexity for some subclasses.

Automates

Vendredi 13 mai 2016, 14 heures 30, Salle 1003

**Dong Han Kim** (Dongguk University, Corée du Sud) *Sturmian colorings on regular trees*

This is joint work with Seonhee Lim.

Automates

Vendredi 15 avril 2016, 14 heures 30, Salle 1003

**Emmanuel Jeandel** (LORIA) *Un jeu apériodique de 11 tuiles*

Le premier jeu de tuiles apériodique trouvé par Berger avait 20426 tuiles, et le nombre de tuiles nécessaire a baissé progressivement jusqu'à ce que Culik obtienne en 1996 un jeu de 13 tuiles en utilisant une méthode due à Kari.

Avec Michael Rao, nous avons trouvé avec l'aide de plusieurs ordinateurs un jeu apériodique de 11 tuiles. Ce nombre est optimal : il n'existe pas de jeu apériodique de moins de 11 tuiles. Une des principales difficultés de cette recherche guidée par ordinateur est que nous cherchons une aiguille dans une botte de foin indécidable : il n'existe pas d'algorithme qui décide si un jeu de tuiles est apériodique.

Après une brève introduction au problème, je présenterai l'ensemble de 11 tuiles, ainsi que les techniques de théorie des automates et de systèmes de transitions qui ont permis de prouver (a) qu'il est apériodique, et (b) que c'est le plus petit.

Automates

Vendredi 1 avril 2016, 14 heures 30, Salle 1003

**Tim Smith** (LIGM Paris Est) *Determination and Prediction of Infinite Words by Automata*

Next, we consider prediction of infinite words by automata. In the classic problem of sequence prediction, a predictor receives a sequence of values from an emitter and tries to guess the next value before it appears. The predictor masters the emitter if there is a point after which all of the predictor's guesses are correct. We study the case in which the predictor is an automaton and the emitted values are drawn from a finite set; i.e., the emitted sequence is an infinite word.

The automata we consider are finite automata, pushdown automata, stack automata (a generalization of pushdown automata), and multihead finite automata, and we relate them to purely periodic words, ultimately periodic words, and multilinear words.

Automates

Lundi 21 mars 2016, 10 heures, LABRI

**Colloque En L'honneur De Marcel-Paul Schützenberger (21-25/03/2016)** *Programme*

Automates

Vendredi 18 mars 2016, 14 heures 30, Salle 1003

**Eugene Asarin** (IRIF) *Entropy games and matrix multiplication games*

Joint work with Julien Cervelle, Aldric Degorre, Cătălin Dima, Florian Horn, and Victor Kozyakin.

Automates

Vendredi 11 mars 2016, 14 heures 30, Salle 0010

**Anna-Carla Rousso** (IRIF) *Non encore annoncé.*

Automates

Vendredi 4 mars 2016, 14 heures 30, Salle 0010

**Thierry Bousch** (Paris Sud) *La Tour d'Hanoï, revue par Dudeney*

Automates

Vendredi 22 janvier 2016, 14 heures 30, Salle 0010

**Laurent Bartholdi** (ENS) *Non encore annoncé.*

Automates

Vendredi 15 janvier 2016, 14 heures 30, Salle 0010

**Viktoriya Ozornova** (Universität Bremen) *Factorability structures*

Automates

Vendredi 8 janvier 2016, 14 heures 30, Salle 0010

**Antoine Amarilli** (Télécom ParisTech) *Provenance Circuits for Trees and Treelike Instances*