Seminar LMF

2025

KEYNOTE: UTP and Institutions: A Unified Semantic Foundation November 21, 2025
The Spectral Space of an Iterated Distributed Protocol November 10, 2025
Parameterized Verification of Distributed Systems November 09, 2025
A pain-free formalisation of the Leibniz construction November 03, 2025
Elements of Higher-Dimensional Automata Theory October 23, 2025
On Dependent Variables in Reactive Synthesis June 06, 2025
Séminaire au vert, Port Royal à Saint-Lambert, 2 – 3 juin 2025 May 16, 2025
KEYNOTE : The Role of Logic in Advancing Machine Learning: Three Case Studies April 28, 2025
Regular Grammars for Sets of Graphs of Tree-Width 2 March 26, 2025
Guiding a monkey in an infinite tree, adding new strategies for proof automation to the Tamarin prover March 04, 2025
KEYNOTE: Alpha-Beta Pruning Explored, Extended and Verified January 25, 2025
KEYNOTE : Formal Methods for Modern Payment Protocols January 17, 2025

2024

Formalised meta-theory for a certified type-theoretic kernel November 27, 2024
Strict Categories with Families October 08, 2024
Séminaire au vert, Saint-Rémy-lès-Chevreuse, 13 – 14 juin 2024 May 17, 2024
Lindenmayer graph languages, first-order theories and expanders May 03, 2024
Keynote: Challenges and triumphs of verification in the CSP style May 01, 2024
Static analysis and model reduction for a site-graph rewriting language March 04, 2024
Atomic congestion games with non-separable costs: an application to smart charging March 04, 2024
Solving Quantified Boolean Formulas and its Applications February 17, 2024
Modèles de Langage January 12, 2024

2023

Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design November 29, 2023
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives November 14, 2023
Phase Semantics for Linear Logic with Least and Greatest Fixed Points November 10, 2023
Analysis of Parameterized Systems November 10, 2023
Phase Semantics for Linear Logic with Least and Greatest Fixed Points November 10, 2023
The Church Synthesis Problem Over Continuous Time October 12, 2023
Partially commuting pushdowns and rational trace relations August 30, 2023
Some challenges in quantum computing for linear algebra algorithms and data structures August 30, 2023
Building a Provenance-Aware Database Management System June 10, 2023
Formal Proofs for Trajectory Computation in the Plane with Straight Obstacles June 10, 2023
Keynote: Verification of Stateful Security Protocols in Isabelle/HOL May 02, 2023
Minimal Generating Sets for Semiflows April 26, 2023
Co-verification for robotics: from simulation to verification April 18, 2023
On the edit distance between transducers April 17, 2023
String constraints with subword ordering: complexity of satisfiability April 01, 2023
The Future of Model-based Testing March 01, 2023
Strategy Complexity of Zero-Sum Games on Graphs February 01, 2023
A Gentle Introduction to Matching Logic and its Applications February 01, 2023
The Frobenius Anatomy of Distributed Quantum Protocols January 04, 2023

2022

An Abstraction of the Unit Interval with Denominators December 23, 2022
Keynote: The Skolem Landscape December 13, 2022
Consistent Circuits for Indefinite Causal Order November 28, 2022
Programming with (Discrete and Continuous) Ordinary Differential Equations November 10, 2022
Formal Security Proofs in a Post-Quantum World November 09, 2022
Machine Learning and Autoformalisation November 01, 2022
Verification and Synthesis of Complete Test Generation Algorithms for Finite State Machines October 04, 2022
Hubert Comon Retirement Workshop June 13, 2022
Séminaire au vert, Étiolles, 12 – 13 juin 2023 June 02, 2022
Seminaire au vert, Étiolles, 9 – 10 juin 2022 June 02, 2022
Algorithm for Consistent Query Answering under Primary Key Constraints May 10, 2022
Reaching Consensus in Hostile Environments April 14, 2022
Correct Blockchain-based Business Processes April 04, 2022
Connected multi-agent path finding March 29, 2022
Weakly unambiguous Parikh automata and their link to holonomic series March 28, 2022
Rational Defeasible Belief Change March 22, 2022
Semantics for Variational Quantum Programming March 15, 2022
Proving cryptographic protocols: the complex relationship between symbolic and computation models March 08, 2022
On the strategy synthesis problem in MDPs: probabilistic CTL and rolling windows. February 15, 2022
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms January 25, 2022
Active learning for sound negotiations January 18, 2022
Formal methods at Thales Research & Technology January 11, 2022
E-voting protocols - how to analyse the security of these (real-world) systems? January 04, 2022

2021

Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant December 27, 2021
Hazel: a Separation Logic for effect handlers December 27, 2021
Avoiding deadlocks in lock-sharing systems December 27, 2021
The relational semantics, and beyond December 27, 2021
Formal Verification of Finite Systems: Contributions and Adoption to security properties December 27, 2021
Electronic voting: design, attacks and proofs December 03, 2021
Structures from Quantum Relations November 28, 2021
Sleeping is Superefficient: MIS in Exponentially Better Awake Complexity November 28, 2021
Characterising one-player positionality for infinite duration games on graphs November 22, 2021
Routed quantum circuits November 16, 2021
Formalizing mathematics in Lean October 09, 2021
Verified Software Components October 08, 2021
Reasoning over leaks of information for Access Control of Databases October 08, 2021
Quantum simulation and causality October 02, 2021
Towards Security-Oriented Program analysis June 16, 2021
Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic April 20, 2021
Controlling a random population April 04, 2021
Towards synthetic psychology: from phenomenology to cybernetics April 04, 2021
Semantics for Variational Quantum Programming March 15, 2021