News & Events

Patricia Bouyer is co-chairing FoSSaCS 2022 organised as part of the ETAPS 2022 conference which federates four main venues in the area of formal methods:

• ESOP 2022, the 31st European Symposium on Programming
• FASE 2022, the 25th International Conference on Fundamental Approaches to Software Engineering
• FoSSaCS 2022, the 25th International Conference on Foundations of Software Science and Computation Structures
• TACAS 2022, the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Un poste de MCF et un poste de PU à l'ENS Paris-Saclay sont ouverts dans le département d'informatique et au laboratoire LMF. Read more...

Les journées du LMF 2021 ont eu lieux le 2 – 3 décembre au Domaine de Frémigny.

Read more...

Marie Fortin received the Ackermann Award 2021. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. EACSL is the European Association for Computer Science Logic.

Marie prepared her thesis Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata at LSV under the supervision of Benedikt Bollig and Paul Gastin.

How fast can you converge towards a consensus value?

In their recent work, Matthias Fuegger (LMF), Thomas Nowak (LISN), and Manfred Schwarz (TU Wien) study this question in distributed systems where nodes start from an initial value and seek to converge towards a common consensus value. The paper shows that deceptively simple algorithms are optimal and provides tight lower bounds.

Out now in JACM: https://dl.acm.org/doi/10.1145/3485242

Nov 17 13:30 ₂₀₂₁ Nov 18 9:00 ₂₀₂₁ Nov 19 9:00 ₂₀₂₁

Les Journées du GT Vérification du GDR IM ont lieu les 17, 18 et 19 novembre 2021 au Laboratoire Méthodes Formelles, ENS Paris-Saclay, à Gif-sur-Yvette.

Elles visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et l'ouverture sur des thématiques liées à la vérification. Elles ont pour ambition de couvrir tous les domaines de la vérification formelle.

Pour en savoir plus

Oct 21 10:15 ₂₀₂₁

Abstract: As event data becomes an ubiquitous source of information, data science techniques represent an unprecedented opportunity to analyze and react to the processes that generate this data. Process Mining is an emerging field that bridges the gap between traditional data analysis techniques, like Data Mining, and Business Process Management. Read more...

Sep 30 14:00 ₂₀₂₁

Abstract: This thesis is at the crossroad of verification and synthesis of parameterized concurrent systems. The parameterized model checking problem asks whether a system satisfies a given specification independently of the number of its components, whereas synthesis requires an algorithmic design of protocols for its components so that the specification is satisfied.Read more...

La bande dessinée Les décodeuses du numérique vient de sortir. Conçu par l'INS2I du CNRS, l'ouvrage présente 12 portraits de chercheuses, enseignantes-chercheuses et ingénieures dans les sciences du numérique, illustrés par Léa Castor. Parmi les protagonistes rencontrez, dans le rôle d'agent spécial de la cybersécurité, notre collègue Caroline Fontaine.

La BD est disponible en ligne https://ins2i.cnrs.fr/fr/les-decodeuses-du-numerique.

Caroline Fontaine has been appointed director of the CNRS Research Network on Computer Security GdR Securité Informatique in Summer 2021. The network federates the French research groups working on cryptography, formal methods for security, privacy, security of hardware, software, data and networks.

The photo shows Caroline at the International Cybersecurity Forum (FIC) on 7 - 9 September in Lille, where she presented the actions of the Network.