Laboratoire Méthodes Formelles (LMF)

Présentation du laboratoire

Le Laboratoire Méthodes Formelles (LMF) est né de la volonté de créer un pôle ciblé sur les méthodes formelles. Son ambition est d’éclairer le « monde numérique » grâce à la logique mathématique en utilisant les méthodes formelles comme outil d’analyse, de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie sur des paradigmes de calcul des plus classiques aux plus novateurs comme l’informatique quantique.
Le LMF est structuré en pôles : son cœur de métier en comporte deux, « Preuves » et « Modèles » ; le troisième, « Interactions », est une ouverture à d’autres domaines tels que l’IA et la biologie.

Les 20 dernières publications

Titre Auteurs Date de publication Source
On Composing Finite Forests with Modal Logics Stéphane Demri 03/04/2023 ACM Transactions on Computational Logic
On new PageRank computation methods using quantum computing Zeno Toffano 01/03/2023 Quantum Information Processing
WhyMP, a formally verified arbitrary-precision integer library Guillaume Melquiond 01/03/2023 Journal of Symbolic Computation
Observation and Distinction: Representing Information in Infinite Games Dietmar Berwanger, Laurent Doyen 01/02/2023 Theory of Computing Systems
Fact-nets: Towards a Mathematical Framework for Relational Quantum Mechanics Titouan Carette 01/02/2023 Foundations of Physics
Unification of drags and confluence of drag rewriting Jean Pierre Jouannaud 01/02/2023 Journal of Logical and Algebraic Methods in Programming
A Curry-Howard Correspondence for Linear, Reversible Computation Kostia Chardonnet, Benoît Valiron 01/02/2023 Leibniz International Proceedings in Informatics, LIPIcs
Translating Proofs from an Impredicative Type System to a Predicative One Thiago Felicissimo, Frédéric Blanqui 01/02/2023 Leibniz International Proceedings in Informatics, LIPIcs
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation Renaud Vilmart 01/02/2023 Leibniz International Proceedings in Informatics, LIPIcs
A Coq Formalization of Lebesgue Induction Principle and Tonelli’s Theorem Sylvie Boldo, Houda Mouhcine 01/01/2023 Lecture Notes in Computer Science
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete Mathieu Hilaire 01/01/2023 Theory of Computing Systems
Cellular automata and Kan extensions Luidnel Maignan 01/01/2023 Natural Computing
A Network Traffic Mutation based Ontology, and its application to 5G networks Fatiha Zaidi 01/01/2023 IEEE Access
Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks Pierre Vandenhove 01/01/2023 IEEE Journal on Selected Topics in Signal Processing
A MODULAR CONSTRUCTION OF TYPE THEORIES Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet 01/01/2023 Logical Methods in Computer Science
Distributed computation with continual population growth Matthias Függer 01/12/2022 Distributed Computing
A single-particle framework for unitary lattice gauge theory in discrete time Pablo Arnault 01/12/2022 New Journal of Physics
Quantum Spatial Search with Electric Potential: Long-Time Dynamics and Robustness to Noise Thibault Fredon, Pablo Arnault 01/12/2022 Entropy
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs Patricia Bouyer, Pierre Vandenhove 01/12/2022 Leibniz International Proceedings in Informatics, LIPIcs
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 01/12/2022 Leibniz International Proceedings in Informatics, LIPIcs

Nombre de publications du laboratoire par domaine scientifique (2016-2021)

Chaque publication du laboratoire peut être rangée dans une ou plusieurs disciplines scientifiques : la figure ci-dessus présente le nombre de publications du laboratoire pour chaque discipline de la classification ASJC (Elsevier)