Le séminaire MF a lieu salle **178** presque tous les mardis à 14H.

Pour proposer un séminaire, le calendrier vous aidera à choisir une date disponible.

Pour s'abonner ou se désabonner de la liste de diffusion.

Date | Orateur | Titre |
---|---|---|

Tuesday 08 September 2020 | Guillermo A. Perez
(University of Antwerp)
| Safe Learning for Near Optimal Scheduling |

Tuesday 15 September 2020 | Damien Busatto-Gaston
(ULB)
| Monte Carlo Tree Search guided by Symbolic Advice for MDPs |

Tuesday 22 September 2020 | Loïc Paulevé
(CNRS, LaBRI)
| TBA |

Tuesday 29 September 2020 | Mikael Monet
()
| TBA |

Tuesday 06 October 2020 | Igor Konnov
(INRIA Nancy)
| TBA |

Tuesday 20 October 2020 | Richard Combes
(Supelec)
| Solving Random Parity Games in Polynomial Time |

Date | Orateur | Titre |
---|---|---|

Tuesday 30 June 2020 | Helmut Seidl (TUM) | When Is a Bottom-up Deterministic Tree Transducer Top-down Deterministic? |

Tuesday 23 June 2020 | Elena Gutierrez (IMDEA Software Institute) | A Congruence-based Perspective on Automata Minimization Algorithms |

Tuesday 02 June 2020 | Ana Ozaki (University of Bergen) | Learning Description Logic Ontologies |

Tuesday 26 May 2020 | Abhishek De (IRIF) | A parallel syntax for non-wellfounded proof theory |

Tuesday 19 May 2020 | Antoine Amarilli (Télécom Paris) | Query evaluation on probabilistic data: a story of dichotomies |

Tuesday 05 May 2020 | Thibault Godin (Université de Montpellier, Université de Lorraine) | Order problem for automaton semigroups |

Tuesday 21 April 2020 | Filip Mazowiecki (Max Planck Institute for Software Systems) | On polynomial recursive sequences |

Tuesday 14 April 2020 | Pierre Ohlmann (IRIF) | Controlling a random population |

Tuesday 31 March 2020 | Jérôme Leroux (CNRS, LaBRI) | Reachability in fixed dimension vector addition systems with states |

Tuesday 24 March 2020 | Abhishek De (IRIF) | A parallel syntax for non-wellfounded proof theory |

Tuesday 17 March 2020 | André Nies (University of Auckland ) | Finite automata presentable groups |

Tuesday 10 March 2020 | Florent Capelli (Université de Lille) | An introduction to Knowledge compilation |

Friday 28 February 2020 | Howard Straubing (Boston College) | Two Variable Logic with a Between Relation |

Tuesday 18 February 2020 | Janusz Schmude (MIMUW, University of Warsaw) | An algebraic approach to equivalence of MSO transductions of graphs of bounded treewidth |

Tuesday 11 February 2020 | Paul-Elliot Anglès Auriac (Institut Camille Jordan, Lyon) | The reverse mathematics of Hindman's theorem |

Thursday 06 February 2020 | Maribel Fernandez (King's College London) | Semantics and applications of PORGY - an interactive modelling framework based on strategic graph rewriting |

Tuesday 04 February 2020 | Jérôme Leroux (CNRS, LaBRI) | Reachability in fixed dimension vector addition systems with states |

Tuesday 28 January 2020 | Sylvain Lombardy (LaBRI) | A separation result on min-plus and max-plus automata |

Tuesday 21 January 2020 | Denis Kuperberg (CNRS, ENS Lyon) | Computational content of circular proof systems |

Tuesday 14 January 2020 | Guillaume Lagarde (LaBRI) | Lempel-Ziv: A "one-bit catastrophe" but not a tragedy |

Tuesday 07 January 2020 | Raphaël Berthon (ULB) | Mixing sure, almost sure, exist and probable objectives in MDPs |

Tuesday 17 December 2019 | Mateusz Skomra (ENS Lyon) | Using tropical geometry to obtain condition numbers of stochastic mean payoff games |

Tuesday 10 December 2019 | Edwin Hamel-De Le Court (Université de Rouen) | Algebraic tools for state complexity |

Tuesday 03 December 2019 | Christine Tasson (IRIF, Paris 7) | Semantics of Functional Probabilistic Programs |

Tuesday 26 November 2019 | Sebastian Junges (RWTH Aachen) | Parameter Synthesis in Markov Models: An Overview |

Tuesday 19 November 2019 | Nathanaël Fijalkow (CNRS, LaBRI) | Learning probabilistic context-free grammars |

Tuesday 12 November 2019 | Bartek Klin (MIMUW, University of Warsaw) | Monadic monadic second order logic |

Tuesday 05 November 2019 | David Janin (LaBRI) | An equational modeling of asynchronous concurrent programming |

Tuesday 22 October 2019 | Daniel Hausmann (Friedrich-Alexander University of Erlangen and Nürnberg) | Computing Nested Fixpoints in Quasipolynomial Time |

Tuesday 15 October 2019 | Engel Lefaucheux (MPI SWS) | Simple Priced Timed Games are not That Simple |

Tuesday 08 October 2019 | Guillaume Lagarde (LaBRI) | Tradeoff between size and degree in Polynomial Calculus Resolution |

Tuesday 01 October 2019 | Hugo Gimbert (CNRS, LaBRI) | Les algorithmes de Parcoursup |

Tuesday 24 September 2019 | Bruno Courcelle et Yves Métivier (LaBRI) | Arbres infinis réguliers et revêtements universels de graphes finis |

Tuesday 10 September 2019 | Anantha Padmanabha (IMSC, Chennai) | Two variable fragment of Term Modal logic |

Tuesday 09 July 2019 | Loïc Paulevé (CNRS, LaBRI) | Most permissive semantics of Boolean networks |

Tuesday 02 July 2019 | Sreejith A V (IIT Goa) | Block products for algebras over countable words |

Tuesday 25 June 2019 | Yann Strozecki (Université de Versailles Saint-Quentin) | Solving Simple Stochastic Games with few RandomNodes faster using Bland’s Rule |

Tuesday 18 June 2019 | Matthew Hague (University of London) | Generic and Complete Algorithms for Straight-Line String Constraints |

Tuesday 11 June 2019 | Anca Muscholl (LaBRI) | The many facets of string transducers |

Tuesday 04 June 2019 | Igor Walukiewicz (LaBRI) | LambdaY-calculus with priorities |

Tuesday 28 May 2019 | Karoliina Lehtinen (University of Liverpool) | Parity, Buchi, Weak |

Tuesday 21 May 2019 | Tobias Kappé (University College London) | Kleene Algebras |

Tuesday 14 May 2019 | Joanna Ochremiak (CNRS, LaBRI) | On the power of symmetric linear programs |

Tuesday 07 May 2019 | Charles Paperman (Université de Lille) | Topological Sorting under Regular Constraints |

Tuesday 30 April 2019 | Pierre Clairambault (CNRS, ENS Lyon) | Linearity in Higher-Order Recursion Schemes |

Tuesday 16 April 2019 | Uri Zwick (Tel Aviv University) | Faster k-SAT algorithms using biased-PPSZ |

Tuesday 09 April 2019 | Donald Stull (Université de Lorraine, LORIA) | Selection, Divergence, and Dichotomy |

Tuesday 02 April 2019 | Sarah Winter (RWTH Aachen) | Parameterized synthesis of sequential transducers from rational relations over finite words |

Tuesday 26 March 2019 | Grégoire Sutre (LaBRI) | Reachability for Two-Counter Machines with One Test and One Reset |

Tuesday 19 March 2019 | Vaishnavi Sundararajan (IRISA, Rennes) | A theory of assertions for Dolev-Yao models |

Tuesday 12 March 2019 | Nathanaël Fijalkow (CNRS, LaBRI) | The complexity of mean payoff games using universal graphs |

Tuesday 05 March 2019 | Bruno Courcelle (LaBRI) | Betweenness in order-theoretical trees |

Tuesday 12 February 2019 | Marc Noy (Universitat Politècnica de Catalunya) | Logic and random graphs |

Monday 11 February 2019 | Paul-Elliot Angles d'Auriac (Institut Camille Jordan, Lyon) | TBA |

Tuesday 05 February 2019 | Nathan Grosshans (ENS Paris) | The power of programs over monoids taken from some small varieties of finite monoids |

Tuesday 29 January 2019 | Meghyn Bienvenu (LaBRI) | Ontology-Mediated Query Answering with OWL 2 QL Ontologies: Combined Complexity and Succinctness of Rewritings |

Tuesday 22 January 2019 | Vincent Penelle (LaBRI) | On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems |

Tuesday 15 January 2019 | Marie van den Bogaard (Université Libre de Bruxelles) | Beyond admissibility: Dominance between chains of strategies |

Tuesday 08 January 2019 | Gabriele Puppis (LaBRI) | Unambiguous Register Automata |

Tuesday 18 December 2018 | David Carral (TU Dresden) | Reasoning over Existential Rules with Acyclicity Notions |

Tuesday 11 December 2018 | Filip Mazowiecki (LaBRI) | When are Emptiness and Containment Decidable for Probabilistic Automata? |

Tuesday 04 December 2018 | Nathanaël Fijalkow (LaBRI) | Data generation for programme synthesis |

Tuesday 20 November 2018 | Laurent Bienvenu (LaBRI) | Optimal bounds for single-source Kolmogorov extractors |

Tuesday 13 November 2018 | Sylvain Schmitz (LSV, ENS Cachan) | Complexity bounds for bisimulation equivalence in first-order grammars |

Tuesday 06 November 2018 | Jérôme Leroux (LaBRI) | The Reachability Problem for Petri Nets is Not Elementary |

Tuesday 23 October 2018 | Cristian Riveros (Pontificia Universidad Catolica de Chile) | Foundations of Complex Event Processing |

Tuesday 09 October 2018 | Marie Fortin (LSV, ENS Cachan) | It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" |

Tuesday 02 October 2018 | A. V. Sreejith (IIT Goa) | Languages over countable linear orderings |

Tuesday 25 September 2018 | María Emilia Descotte (LaBRI) | Closure properties of synchronized relations |

Tuesday 03 July 2018 | Filip Murlak (University of Warsaw) | Ontology-mediated query answering for expressive description logics, or yet another family of (potentially) decidable fragments of first-order logic |

Tuesday 26 June 2018 | Sébastien Labbé (LaBRI) | On Jeandel-Rao aperiodic tilings |

Tuesday 19 June 2018 | František Blahoudek (Masaryk University) | Semi-deterministic automata: How to obtain and complement them |

Tuesday 12 June 2018 | Bruno Guillon (University of Milan) | Undecidability of MSO+“ultimately periodic” |

Tuesday 05 June 2018 | Laure Daviaud (University of Warwick) | A pseudo-quasi-polynomial algorithm for mean-payoff parity games |

Tuesday 22 May 2018 | K. Narayan Kumar (Chennai Mathematical Institute) | Verification of Asynchronous Programs with Nested Locks |

Tuesday 15 May 2018 | Madhavan Mukund (Chennai Mathematical Institut) | Modelling replicated data stores with multiple correctness levels |

Tuesday 24 April 2018 | Armin Weiß (Stuttgart University) | The isomorphism problem for virtually free group |

Tuesday 17 April 2018 | Pierre Ohlmann (IRIF, Paris 7) | Arithmetic circuits as automata, and applications |

Tuesday 10 April 2018 | Nathanaël Fijalkow (LaBRI) | The State Complexity of Alternating Automata |

Tuesday 03 April 2018 | Louis-Marie Dando (LaBRI) | On Rotating Q-Automata |

Tuesday 27 March 2018 | Valia Mitsou (Université Paris Diderot, IRIF) | Limitations of treewidth for problems beyond NP. |

Tuesday 20 March 2018 | Dominik Velan (Masaryk University) | Asymptotic Bounds on Termination Time in VASS |

Tuesday 13 March 2018 | Jérôme Leroux (LaBRI) | Polynomial Vector Addition Systems With States |

Tuesday 06 March 2018 | Pierre Casteran (LaBRI) | The hydra and the rooster |

Tuesday 27 February 2018 | María Emilia Descotte (LaBRI) | Resynchronizing Classes of Word Relations |

Tuesday 13 February 2018 | Michael Raskin (LaBRI) | Complementing the languages of unambigous automata |

Tuesday 06 February 2018 | Lukas Fleischer (Stuttgart University) | The Complexity of Decision Problems for Recognizing Morphisms |

Tuesday 30 January 2018 | David Janin (LaBRI) | Animation 3D et produit semi-direct |

Tuesday 23 January 2018 | Filip Mazowiecki (LaBRI) | Pumping lemmas for weighted automata |

Tuesday 09 January 2018 | Philippe Duchon (LaBRI) | Simulabilité à mémoire finie de lois de probabilités continues |

Tuesday 12 December 2017 | Cyril Gavoille (LaBRI) | La coloration de graphe dans le modèle LOCAL - Partie II |

Tuesday 05 December 2017 | Cyril Gavoille (LaBRI) | La coloration de graphe dans le modèle LOCAL - Partie I |

Tuesday 28 November 2017 | Ranko Lazic (Warwick University) | Succinct progress measures and solving parity games in quasi-polynomial time |

Tuesday 21 November 2017 | Angelo Montanari (University of Udine) | Model Checking: the Interval Way |

Tuesday 14 November 2017 | MF (LaBRI) | Reunion d'equipe MF |

Tuesday 07 November 2017 | Loïc Paulevé (LRI - Paris Sud) | Formal methods for capturing dynamics of biological networks |

Tuesday 31 October 2017 | Vincent Penelle (LaBRI) | Rewriting Higher-order Stack Trees |

Tuesday 24 October 2017 | Amina Doumane (LIP - ENS Lyon) | Constructive completeness for the linear-time mu-calculus |

Tuesday 17 October 2017 | David Janin (LaBRI) | Timed domains: an appetizer |

Tuesday 10 October 2017 | Miguel Romero (Oxford University) | The complexity of graph query languages |

Tuesday 03 October 2017 | Joanna Ochremiak (IRIF) | Proof complexity of constraint satisfaction problems |

Tuesday 26 September 2017 | Vincent Penelle (LaBRI) | Which classes of origin graph are generated by transducers? |

Tuesday 04 July 2017 | Stefan GRUNER (University of Pretoria, South Africa) | SAT-based Bounded Model Checking for 3-Valued Abstractions - Part II |

Tuesday 27 June 2017 | Stefan GRUNER (University of Pretoria, South Africa) | SAT-based Bounded Model Checking for 3-Valued Abstractions |

Tuesday 13 June 2017 | Emilia Descotte (UBA, Argentine) | Axiomatizations for downward XPath on Data Trees |

Tuesday 30 May 2017 | Victor Marsault (University of Liège) | An efficient algorithm to decide the periodicity of b-recognisable sets using MSDF convention |

Tuesday 23 May 2017 | Michael Raskin (LaBRI) | A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model |

Tuesday 16 May 2017 | Igor Walukiewicz (LaBRI) | Proving safety of concurrent programs |

Tuesday 09 May 2017 | Alain Finkel (LSV, ENS Cachan) | WBTS: the new class of WSTS without WQO. |

Tuesday 25 April 2017 | Nathan Lhote (LaBRI) | On Reversible Transducers |

Tuesday 04 April 2017 | Andrzej Murawski (University of Warwick) | Automata theory and game semantics of higher-order computation |

Tuesday 28 March 2017 | David Janin (LaBRI) | Time domain (for time denotational semantics) |

Tuesday 21 March 2017 | Laurent Bienvenu (LIRMM Montpellier) | Learning probability measures |

Tuesday 14 March 2017 | Gabriele Puppis (LaBRI) | On the decomposition of finite-valued streaming string transducers |

Tuesday 07 March 2017 | Charles Grellois (University of Bologna) | Verifying properties of functional programs: from the deterministic to the probabilistic case |

Tuesday 28 February 2017 | Emmanuel Fleury (LaBRI) | Digital Currencies |

Tuesday 14 February 2017 | Hugo Gimbert (LaBRI) | Emptiness of nonzero automata is decidable |

Tuesday 24 January 2017 | Rasmus Ibsen-Jensen (IST Austria) | Faster algorithms for program analysis |

Tuesday 10 January 2017 | B Srivathsan (CMI Chennai) | Why liveness for timed automata is hard, and what we can do about it |

- Méthodes Formelles 2016-....
- Graphes et Logique 2010-2015.
- Modélisation et Vérification 2010-2015.
- MVTsi 2009-2010.
- MVTsi 2008-2009.
- MVTsi 2007-2008.
- MVTsi 2006-2007.
- MVTsi 2005-2006.
- MVTsi 2004-2005.
- MVTsi 2003-2004.
- MVTsi 2002-2003.
- MVTsi 2001-2002.
- MVTsi 2000-2001.
- MVTsi 1999-2000.
- MVTsi 1998-1999.
- MVTsi 1997-1998.
- MVTsi 1996-1997.
- MVTsi 1995-1996.
- Sémantique du parallélisme 1994-1995.
- Sémantique du parallélisme 1993-1994.
- Sémantique du parallélisme 1992-1993.