Seminars

  • Organized by Karoliina Lehtinen and Nathan Lhote
  • Takes mostly place in the room 4.05 of building TPR2 at Luminy campus, on Fridays (new! it used to be on Thursdays since the summer 2024) from 10:30 to 12:00
  • Registration to the mailing list here

List of previous seminars

  • 27/06/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Karoliina Lehtinen

  • 20/06/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Synthesis from LTL specifications and examples’‘
    by Emmanuel Filiot

  • 13/06/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Bisimulation invariant MSO over finite transition systems’‘
    by Denis Kuperberg

  • 11/06/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Deterministic Suffix-reading Automata’‘
    by B Srivathsan

  • 30/05/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Positionality of omega-regular objectives’‘
    by Pierre Ohlmann

  • 16/05/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Computability and complexity on the reals’‘
    by Manon Blanc

  • 02/05/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘State-based vs transition-based acceptance for omega-automata’‘
    by Antonio Casares

  • 18/04/2024, 9h30 at 4.05 TPR2 Luminy

    ’‘Lookahead Games for History-Deterministic Parity Automata’‘
    by Aditya Prakash

  • 28/03/2024, 14h30 at 4.05 TPR2 Luminy

    ’‘The probabilistic Rabin theorem for MSO over infinite trees.’‘
    by Michał Skrzypczak

  • 29/02/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Explorable automata, expressiveness and decidability’‘
    by Olivier Idir

  • 22/02/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous and Broadcasts.’‘
    by Lucie Guillou

  • 26/01/2024, 10h30 at 4.05 TPR2 Luminy

    ’‘Parameterized Analysis of Distributed Systems’‘
    by Chana Weil-Kennedy

  • 07/12/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Aliaume Lopez

  • 16/11/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Léo Henry

  • 09/11/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘Strategy Complexity of Zero-Sum Games on Graphs’‘
    by Pierre Vandenhove

  • 19/10/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘An Automata Theoretic Characterization of Weighted First-Order Logic’‘
    by Benjamin Monmege

  • 28/09/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘Broadcast networks with registers’‘
    by Corto Mascle

  • 06/07/2023, 11h00 at Luminy TPR2

    ’‘Integer Parameter Synthesis for Parametric Timed Automata’‘
    by Arnab Sur

  • 22/06/2023, 9h15 at 4.05 TPR2 Luminy

    ’‘Algebraic Recognition of Regular Functions’‘
    by Nguyễn Lê Thành Dũng, aka Tito

  • 08/06/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘Verification of weak memory models’‘
    by Elli Anastasiadi (Uppsala University)

  • 30/03/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Benjamin Bordais

  • 16/03/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Chana Weil-Kennedy

  • 12/01/2023, 10h30 at 4.05 TPR2 Luminy

    ’‘Approximation and semantic tree-width of conjunctive regular-path queries’‘
    by Rémi Morvan

  • 01/12/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Pierre Ohlmann

  • 10/11/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Léo Henry

  • 20/10/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Léonard Brice

  • 13/10/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Guillaume Maurras

  • 13/06/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘Un contrôle d’accès basé sur la provenance pour les systèmes collaboratifs’‘
    by Alba Martinez Anton

  • 12/05/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘Synthèse de fonctions d’observation pour les jeux à information imparfaite’‘
    by Nathan Lhote

  • 28/04/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘Continuous rational functions are deterministic regular’‘
    by Gaëtan Douéneau-Tabot

  • 07/04/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘A Symmetric Attractor-Decomposition Lifting Framework for Solving Parity games.’‘
    by Thejaswini Raghavan

  • 24/03/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘Quantitative synthesis and history-determinism’‘
    by Karoliina Lehtinen

  • 24/02/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Nguyễn Lê Thành Dũng, aka Tito

  • 13/01/2022, 10h30 at 4.05 TPR2 Luminy

    ’‘TBA’‘
    by Ismaël Jecker

  • 09/12/2021, 10h30 at Luminy TPR2 4.05

    ’‘How undecidable are HyperLTL and HyperCTL*?’‘
    by Marie Fortin (University of Liverpool)

  • 02/12/2021, 10h30 at Luminy TPR2 4.05

    ’‘On a correspondence between memory structures for Muller games and Rabin automata’‘
    by Antonio Casares (LaBRI, Université de Bordeaux)

  • 25/11/2021, 10h30 at Luminy TPR2 4.05

    ’‘The boundedness and zero isolation problems for weighted automata over nonnegative rationals’‘
    by Filip Mazowiecki (University of Warsaw)

  • 04/11/2021, 10h30 at Luminy TPR2 4.05

    ’‘Positionalité pour un joueur dans les jeux à durée infinie’‘
    by Pierre Ohlmann (IRIF, Université de Paris)

  • 23/09/2021, 10h30 at Luminy TPR2 4.05

    ’‘Décidabilité de l’accessibilité dans les réseaux de Petri’‘
    by Denis Lugiez (LIS)

  • 17/06/2021, 14h00 at Zoom

    ’‘An Algebraic Characterisation of First-Order Logic with Neighbour’‘
    by Dhruv Nevatia (LIS and CMI)

  • 29/04/2021, 10h30 at Zoom

    ’‘Saison indécidabilité/impossibilité: Théorèmes de Rice dans les automates cellulaires’‘
    by Guillaume Theyssier (I2M, CNRS)

  • 01/04/2021, 10h30 at Zoom

    ’‘Prime languages’‘
    by Ismaël Jecker (IST Austria)

  • 11/03/2021, 10h30 at Luminy TPR2 4.05 and Zoom

    ’‘Saison indécidabilité/impossibilité: Undecidability of halting of one-Clause logic program’‘
    by Denis Lugiez (LIS)

  • 25/02/2021, 10h30 at Luminy TPR2 4.05 and Zoom

    ’‘Saison indécidabilité/impossibilité: Pavages : transducteurs et indécidabilité dans les systèmes affines’‘
    by Pierre Guillon (I2M, CNRS)

  • 11/02/2021, 10h30 at Zoom

    ’‘Saison indécidabilité/impossibilité: Pavages : apériodicité et preuve substitutive de l’indécidabilité’‘
    by Guilhem Gamard (LIS)

  • 21/01/2021, 10h30 at Luminy TPR2 4.05 and Zoom

    ’‘Saison indécidabilité/impossibilité: Explorabilité d’un réseau avec des jumelles et indécidabilité de la simple connexité’‘
    by Jérémie Chalopin (LIS)

  • 22/01/2021, 14h at Luminy TPR2 4.05 and Zoom

    ’‘Between determinism and nondeterminism, what are good-for-games automata good for?’‘
    by Karoliina Lehtinen (LIS)

  • 14/01/2021, 10h30 at Luminy TPR2 4.05 and Zoom

    ’‘Saison indécidabilité/impossibilité: Impossibilité de l’élection déterministe et probabiliste dans les anneaux anonymes’‘
    by Emmanuel Godard (LIS)

  • 15/12/2020, 10h30 at Zoom

    ’‘Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata’‘
    by Marie Fortin (University of Liverpool)

  • 08/12/2020 at Zoom

    ’‘On the Monniaux Problem in abstract interpretation’‘
    by Engel Lefaucheux (Max-Planck Institute for Software Systems, Sarrebrucken)

  • 30/11/2020 at Zoom

    ’‘Computability and Continuity of Data Word Functions Defined by Transducers’‘
    by Léo Exibard (LIS-ULB)

  • 23/11/2020 at Zoom

    ’‘Caractérisation logique de langages d’ordre supérieur - introduction’‘
    by Guillaume Maurras (LIS)

  • 05/11/2020 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Les automates circulaires sur les rationnels’‘
    by Louis-Marie Dando (LIS)

  • 21/10/2020, 14h00 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Stackless processing of streamed trees’‘
    by Charles Paperman (Université de Lille)

  • 01/10/2020 and 08/10/2020 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Dynamics on Games: Simulation-Based Techniques and Applications to Routing’‘
    by Benjamin Monmege (LIS)

  • 24/09/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Reaching Your Goal Optimally by Playing at Random with no Memory’‘
    by Julie Parreaux (LIS)

  • 10/09/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Continuity and computability of regular functions’‘
    by Nathan Lhote (LIS)

  • 05/03/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Stone Duality and the Substitution Principle’‘
    by Célia Borlido (Université de Coimbra)«/b>

  • 20/02/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Saison indécidabilité/impossibilité: Impossibilité de l’accord k-ensembliste’‘
    by Damien Imbs (LIS)

  • 13/02/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Updatable Parametric Timed Automata: Decidability, Algorithms, and Application to Security’‘
    by Mathias Ramparison (Université de Luxembourg)

  • 23/01/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Saison indécidabilité/impossibilité: Problèmes indécidables sur les transducteurs’‘
    by Théodore Lopez and Pierre-Alain Reynier (LIS)

  • 16/01/2020, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Synchronized word relations’‘
    by Maria Emilia Descotte (LaBRI, Université de Bordeaux)

  • 28/11/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Opacity of a Stochastic System: Maximisation versus Minimisation’‘
    by Engel Lefaucheux (Max-Planck Institute for Software Systems, Sarrebrucken)

  • 21/11/2019, 14h00 at Saint Charles, Bâtiment 5, Salle 18

    ’‘Saison indécidabilité/impossibilité: Undecidability of strong bisimulation of BPP with states’‘
    by Denis Lugiez (LIS)

  • 14/11/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Some recent results on polyregular functions’‘
    by Nathan Lhote (University of Warsaw)

  • 07/11/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Circular proof systems for regular expressions’‘
    by Denis Kuperberg (CNRS, LIP, ENS Lyon)

  • 24/10/2019, 11h at Amphithéâtre Herbrand (I2M, TPR2, 1er étage), Luminy

    ’‘Quasi-polynomial techniques for parity games and and other problems’‘
    by Karoliina Lehtinen (University of Liverpool)

  • 03/10/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach’‘
    by Benjamin Monmege (LIS)

  • 19/09/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de l’ancienne BU), Luminy

    ’‘Determinisation of Finitely-Ambiguous Copyless Cost Register Automata’‘
    by Théodore Lopez (LIS)

  • 20/06/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Séparer des mots avec des automates à poids’‘
    by Glenn Merlet (I2M, AMU)

  • 07/02/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Finding paths in large graphs’‘
    by Bruno Guillon (CRIStAL, Université de Lille)

  • 24/01/2019, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Specifying, Modeling, and Gauging Security in inter-disciplinary Systems’‘
    by Samir Ouchani (CESI eXia)

  • 25/10/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty’‘
    by Pierre-Alain Reynier (LIS)

  • 13/09/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Gröbner bases are easy’‘
    by Denis Lugiez (LIS)

  • 12/07/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘An efficient approach for the (extended) evaluation of ABAC policies’‘
    by Nicola Zannone (Eindhoven University of Technology)

  • 28/06/2018, 10h00 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Groupe de travail : Algebraic methods to decide automata’‘
    by Benjamin Monmege (LIS)

  • 14/06/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Beyond admissibility: Dominance betweens chains of strategies’‘
    by Marie van den Bogaard (Université libre de Bruxelles)

  • 31/05/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Nash equilibria in games on graphs with a public signal monitoring’‘
    by Patricia Bouyer-Decitre (LSV, ENS Paris-Saclay, CNRS)

  • 18/05/2018, 14h00 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘A journey through negatively-weighted timed games: undecidability, decidability, approximability’‘
    by Benjamin Monmege (LIS)

  • 17/05/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Polynomial Invariants for Affine Programs’‘
    by James Worrell (University of Oxford)

  • 03/05/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Costs and Rewards in Priced Timed Automata’‘
    by Mahsa Shirmohammadi (LIS)

  • 19/04/2018, 11h00 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘From Two-Way Transducers to Regular Functions Expressions’‘
    by Nicolas Baudru (LIS)

  • 12/04/2018, 10h30 at Salle de réunion du bâtiment modulaire BP5 (en bas de la BU), Luminy

    ’‘Two-Way Parikh Automata with a Visibly Pushdown Stack’‘
    by Jean-Marc Talbot (LIS)

  • 08/02/2018, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU), Luminy<

    ’‘Two-Way Two-Tape Automata’‘
    by Léo Exibard (LIS and ULB)

  • 25/01/2018, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Dynamics and Coalitions in Sequential Games’‘
    by Marion Hallet (Université de Mons)

  • 18/01/2018, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Synchronism versus asynchronism in monotonic Boolean automata networks’‘
    by Sylvain Sené (LIS)

  • 08/11/2017, 14h00 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Langages epsilon-sûrs et caractérisations des langages d’ordres supérieurs’‘
    by El Makki Voundy (LIF)

  • 07/12/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘On string-to-outer-context transducers and their sequentialization’‘
    by Didier Villevalois (LIF)

  • 14/09/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Est-ce que je peux écrire dans votre liste ?’‘
    by Denis Lugiez (LIF)

  • 06/07/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘A decidable logic for finite word transductions’‘
    by Emmanuel Filiot (Université libre de Bruxelles)

  • 29/06/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Copyfull Streaming String Transducers’‘
    by Pierre-Alain Reynier (LIF)

  • 22/06/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Towards the verification of file tree transformations - the Colis project’‘
    by Ralf Treinen (IRIF, Université Paris Diderot)

  • 15/06/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘A logical approach to locality in pictures languages’‘
    by Frédéric Olive (LIF)

  • 18/05/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Positivité d’automates de Büchi non-ambigus’‘
    by Théodore Lopez (ENS Paris-Saclay & LIF)

  • 04/05/2017, 14h at Salle CH301 du Département Informatique et Interactions, Campus St Charles

    ’‘On static malware detection’‘
    by Tayssir Touili (LIPN, Université Paris 13)

  • 30/03/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Metric Interval Temporal Logic Revisited’‘
    by Benjamin Monmege (LIF)

  • 23/03/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Une approche de vérification formelle et de simulation pour les systèmes à événements discrets : Application à PROMELA’‘
    by Aznam Yacoub (LSIS)

  • 16/03/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Présentation d’article : Monadic Second-Order Logic on Finite Sequences (by Loris D’Antoni and Margus Veanes)’‘
    by Didier Villevalois (LIF)

  • 02/03/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Algebras of relations: from algorithms to formal proofs’‘
    by Paul Brunet (University College London)

  • 02/02/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Regular transductions with origin semantics’‘
    by Bruno Guillon (Université de Varsovie)

  • 26/01/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘Optimal Reachability in Divergent Weighted Timed Games’‘
    by Damien Busatto-Gaston (LIF)

  • 05/01/2017, 10h30 at Salle de réunion du bâtiment modulaire (en bas de la BU)

    ’‘A Practical Abstraction Technique for Parameterized Model Checking of Leader Election Protocols’‘
    by Ocan Sankur (IRISA, CNRS)

  • 15/12/2016, 10h30 at Salle BU3A

    ’‘Minimal probabilistic automata have to make irrational choices’‘
    by Mahsa Shirmohammadi (University of Oxford)

  • 24/11/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Degree of sequentiality of weighted automata’‘
    by Didier Villevalois (LIF)

  • 03/11/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Théorie des AFL’‘
    by El Makki Voundy (LIF)

  • 06/10/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Séries reconnaissables de graphes et minimisation approximée d’automates pondérés’‘
    by Guillaume Rabusseau (LIF)

  • 29/09/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Analyzing Timed Systems Using Tree Automata’‘
    by Paul Gastin (LSV, ENS Paris-Saclay)

  • 27/09/2016, 10h00 at Salle de réunion du 6ème étage du LIF

    ’‘SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies’‘
    by Silvio Ranise (Bruno Kessler Foundation, Trento)

  • 27/09/2016, 11h00 at Salle de réunion du 6ème étage du LIF

    ’‘Access control and obligations in the category-based metamodel’‘
    by Maribel Fernandez (King’s College London)

  • 22/09/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Étude des politiques de sécurité pour les applications distribuées : le problème des dépendances transitives’‘
    by Worachet Uttha (LIF)

  • 07/07/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Formal methods for the verification of distributed algorithms’‘
    by Aiswarya Cyriac (Chennai Mathematical Institue)

  • 09/06/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Inference of (min,+) Automata’‘
    by Madhur Gupta (stagiaire LIF, Thapar University)

  • 02/06/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Rational verification in Iterated Electric Boolean Games’‘
    by Youssouf Oualhadj (LACL)

  • 26/05/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘A Methodology to Build Run-Time Monitors for Enforcing Authorization Policies in Business Processes’‘
    by Clara Bertolissi (LIF)

  • 28/04/2016, 10h30 at Campus St Charles, salle CH 301

    ’‘Approches logiques en sémantique des langages concurrents’‘
    by Emmanuel Beffara (I2M)

  • 21/04/2016, 10h30 at Campus St Jérôme, Salle Gérard Jaumes du rez de chaussée du Bâtiment Polytech

    ’‘Measure Quantifier in Monadic Second Order Logic’‘
    by Matteo Mio (LIP, ENS Lyon)

  • 14/04/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Admissible Strategies in Quantitative Games’‘
    by Ocan Sankur (IRISA, CNRS)

  • 07/04/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Autour de l’algorithme de multiplication de D.V et G.V Chudnovsky’‘
    by Nicolas Baudru (LIF)

  • 10/03/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘A Generalised Twinning Property for Minimisation of Cost Register Automata’‘
    by Laure Daviaud (LIP, ENS Lyon)

  • 03/03/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Two-Way Visibly Pushdown Automata and Transducers’‘
    by Jean-Marc Talbot (LIF)

  • 25/02/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Coût de lecture pour les automates et la synthèse’‘
    by Denis Kuperberg (TUM Munich)

  • 11/02/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Homomorphic characterizations of indexed languages and more…’‘
    by Séverine Fratani (LIF)

  • 04/02/2016, 11h at Bâtiment TPR2, 1er étage, amphithéâtre Herbrand

    ’‘Logics for Weighted Automata and Transducers’‘
    by Benjamin Monmege (LIF)

  • 21/01/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Automata’‘
    by Denis Lugiez (LIF)

  • 14/01/2016, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Rewriting Higher-order Stack Trees’‘
    by Vincent Penelle (LIGM)

  • 10/12/2015, 10h30 at Salle 105H, 1er étage du bâtiment TPR1

    ’‘Fixed-point elimination in the Intuitionisitic Propositional Calculus’‘
    by Luigi Santocanale (LIF)

  • 26/11/2015, 14h at Salle de réunion du 6ème étage du LIF

    ’‘Interval Iteration Algorithm for MDPs and IMDPs’‘
    by Benjamin Monmege (LIF)

  • 12/11/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Equivalence of deterministic top-down tree-to-string transducers is decidable’‘
    by Sebastian Maneth (University of Edinburgh)

  • 05/11/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Decision Problems of Tree Transducers with Origin’‘
    by Pierre-Alain Reynier (LIF)

  • 22/10/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Utilisation de la sur-réduction pour le calcul du différentiel entre deux politiques de sécurité’‘
    by Didier Villevalois (LIF)

  • 01/10/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Transformations régulières de mots: extension aux data words’‘
    by Antoine Durand-Gasselin (LIF)

  • 24/09/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘Introduction à la théorie profinie des langages réguliers’‘
    by Laure Daviaud (LIF)

  • 17/09/2015, 10h30 at Salle de réunion du 6ème étage du LIF

    ’‘To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games’‘
    by Benjamin Monmege (LIF)