Links' Seminars and Public Events |
Fri, April 21, 2017 all day | Visit of Florent Capelli, London University |
Fri, March 24, 2017 all day | Visit of Charles Paperman, Université Paris 7 Université Paris 7 www.liafa.univ-paris-diderot.fr/~paperman/ INRIA Institut National Recherche Informatique Automatique 40 Avenue Halley, 59650 Villeneuve d'Ascq, France |
Wed, March 15, 2017 10:30 am 12:00 pm | Emmanuel Filliot, Université Libre de Bruxelles: "Automata, Logic and Algebra for Word Transductions" This talk will survey old and recent results about word transductions, i.e. functions mapping (finite) words to words. Connections between automata models (transducers), logic and algebra will be presented. Starting with rational functions, defined by (one-way) finite transducers, and the canonical model of bimachines introduced by Reutenauer and Schützenberger, the talk will also target the more expressive class of functions defined by two-way transducers and their equivalent MSO-based formalism. "Lille-Salle B21" |
Wed, March 15, 2017 all day | Visit of Emmanuel Filliot, Université Libre de Bruxelles |
Wed, February 1, 2017 11:00 am 12:30 pm | Pierre Bourhis: The Chase Inria Lille |