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

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 |
---|---|---|

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

mardi 02 avril 2019 | Sarah Winter
(RWTH Aachen)
| Sarah Winter |

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

mardi 16 avril 2019 | Uri Zwick
(Tel Aviv University)
| Uri Zwick |

mardi 30 avril 2019 | Pierre Clairambault
(CNRS, ENS Lyon)
| TBA |

mardi 07 mai 2019 | Charles Paperman
(Université de Lille)
| TBA |

mardi 14 mai 2019 | Joanna Ochremiak
(CNRS, LaBRI)
| Joanna Ochremiak |

mardi 21 mai 2019 | Tobias Kappé
(University College London)
| TBA |

mardi 18 juin 2019 | Matthew Hague
(University of London)
| TBA |

mardi 25 juin 2019 | Yann Strozecki
(Université de Versailles Saint-Quentin)
| TBA |

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

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

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

mardi 05 mars 2019 | Bruno Courcelle (LaBRI) | Betweenness in order-theoretical trees |

mardi 12 février 2019 | Marc Noy (Universitat Politècnica de Catalunya) | Logic and random graphs |

mardi 05 février 2019 | Nathan Grosshans (ENS Paris) | The power of programs over monoids taken from some small varieties of finite monoids |

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

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

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

mardi 08 janvier 2019 | Gabriele Puppis (LaBRI) | Unambiguous Register Automata |

mardi 18 décembre 2018 | David Carral (TU Dresden) | Reasoning over Existential Rules with Acyclicity Notions |

mardi 11 décembre 2018 | Filip Mazowiecki (LaBRI) | When are Emptiness and Containment Decidable for Probabilistic Automata? |

mardi 04 décembre 2018 | Nathanaël Fijalkow (LaBRI) | Data generation for programme synthesis |

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

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

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

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

mardi 09 octobre 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" |

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

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

mardi 03 juillet 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 |

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

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

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

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

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

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

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

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

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

mardi 03 avril 2018 | Louis-Marie Dando (LaBRI) | On Rotating Q-Automata |

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

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

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

mardi 06 mars 2018 | Pierre Casteran (LaBRI) | The hydra and the rooster |

mardi 27 février 2018 | María Emilia Descotte (LaBRI) | Resynchronizing Classes of Word Relations |

mardi 13 février 2018 | Michael Raskin (LaBRI) | Complementing the languages of unambigous automata |

mardi 06 février 2018 | Lukas Fleischer (Stuttgart University) | The Complexity of Decision Problems for Recognizing Morphisms |

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

mardi 23 janvier 2018 | Filip Mazowiecki (LaBRI) | Pumping lemmas for weighted automata |

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

mardi 12 décembre 2017 | Cyril Gavoille (LaBRI) | La coloration de graphe dans le modèle LOCAL - Partie II |

mardi 05 décembre 2017 | Cyril Gavoille (LaBRI) | La coloration de graphe dans le modèle LOCAL - Partie I |

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

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

mardi 14 novembre 2017 | MF (LaBRI) | Reunion d'equipe MF |

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

mardi 31 octobre 2017 | Vincent Penelle (LaBRI) | Rewriting Higher-order Stack Trees |

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

mardi 17 octobre 2017 | David Janin (LaBRI) | Timed domains: an appetizer |

mardi 10 octobre 2017 | Miguel Romero (Oxford University) | The complexity of graph query languages |

mardi 03 octobre 2017 | Joanna Ochremiak (IRIF) | Proof complexity of constraint satisfaction problems |

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

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

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

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

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

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

mardi 16 mai 2017 | Igor Walukiewicz (LaBRI) | Proving safety of concurrent programs |

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

mardi 25 avril 2017 | Nathan Lhote (LaBRI) | On Reversible Transducers |

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

mardi 28 mars 2017 | David Janin (LaBRI) | Time domain (for time denotational semantics) |

mardi 21 mars 2017 | Laurent Bienvenu (LIRMM Montpellier) | Learning probability measures |

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

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

mardi 28 février 2017 | Emmanuel Fleury (LaBRI) | Digital Currencies |

mardi 14 février 2017 | Hugo Gimbert (LaBRI) | Emptiness of nonzero automata is decidable |

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

mardi 10 janvier 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.