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