News & Events

Jean-​Christophe Filliâtre and Andrei Paskevich have been awarded the prize for the Best Contributed Problem at this year's VerifyThis Competition held as a satelite event of ETAPS 2023.

VerifyThis is a series of program verification competitions, which takes place annually since 2011. The competition offers a number of challenges presented in natural language and pseudocode. Participants have to formalise the requirements, implement a solution, and formally verify the implementation for adherence to the specification.

Nov 8 :00 ₂₀₂₄

Le LMF et le DER Informatique de l'ENS Paris-Saclay organisent un workshop à l'occasion du départ à la retraite de Serge Haddad le vendredi 8 novembre 2024. Il se tiendra dans les locaux de l'ENS Paris-Saclay.

Pour plus d'informations sur le programme et les modalités d'inscription, veuillez consulter la page du workshop.

Nov 8 :00 ₂₀₂₄

A special workshop in honour of Serge Haddad on the occasion of his retirement will be held on Friday 8 November 2024 at ENS Paris-Saclay. The event is organised jointly by LMF and the Computer-Science Department of ENS Paris-Saclay.

For information on the programme and registration, visit the workshop page.

The 6th edition of the Workshop on Automata, Concurrency, and Timed Systems takes place from 30 May to 2 June 2023 at ENS Paris-Saclay.

The workshop series emerged from a long-standing Indo-French cooperation in the areas of ACTS: Automata and Logic, Concurrency Theory, and Timed Systems. As a special event, this year's programme features a session in honour of Paul Gastin on the occasion of his retirement.

Read more...

The 6th edition of the Workshop on Automata, Concurrency, and Timed Systems takes place from 30 May to 2 June 2023 at ENS Paris-Saclay.

The workshop series emerged from a long-standing Indo-French cooperation in the areas of ACTS: Automata and Logic, Concurrency Theory, and Timed Systems. As a special event, this year's programme features a session in honour of Paul Gastin on the occasion of his retirement.

Read more...

Apr 26 16:00 ₂₀₂₃

Abstract: We study two-player zero-sum turn-based games on graphs, a framework of choice in theoretical computer science. Such games model the possibly infinite interaction between a computer system (often called reactive) and its environment. Read more...

Gilles Dowek a été nommé membre, en tant que personnalité qualifiée, au Conseil supérieur des programmes.

Le Conseil supérieur des programmes est une instance indépendante placée auprès du ministre de l’Éducation nationale et la Jeunesse. Il doit offrir les garanties scientifiques nécessaires pour émettre des avis et formuler des propositions dans ses champs de compétences.

Read more...

Mar 16 :00 ₂₀₂₃

Larencontre annuelle du groupe de travail MTV2 Méthodes de Test pour la Vérification et la Validation sera organisée au LMF par Burkhart Wolff, Frédéric Voisin et Fatiha Zaidi le 16 mars 2023,

Read more...

Jan 13 15:00 ₂₀₂₃

Abstract: The advent of quantum computers capable of solving problems that are intractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However, the current state of the art in quantum programming is still in its infancy.

In this thesis, we present a series of novel approaches to different aspects of the quantum compilation process based on the ZX calculus. Read more...

Jan 9 14:00 ₂₀₂₃

Abstract: In this thesis, we are interested in the development of a Curry-Howard correspondence for quantum computing, allowing to represent quantum types and quantum control-flow. In the standard model of Quantum Computation, a classical computer is linked to a quantum coprocessor. The classical computer can then send instructions to allocate, update, or read quantum registers. The programs executed by the coprocessor are represented by a quantum circuit: a sequence of instructions that applies unitary operations to the input quantum bits. Read more...