News
Alonzo Church Award 2023 for Jacques-Henri Jourdan
Congratulations to Jacques-Henri Jourdan and his co-authors who will receive the 2023 Alonzo Church Award for their outstanding contributions to Logic and computation with the design and implementation of Iris, a higher-order concurrent separation logic framework. The Award will be presented at the 50th EATCS International Colloquium on Automata, Languages and Programming, ICALP 2023, in July.
Iris has been widely used in academia, and also in industry, e.g., by engineers at Meta to verify the core components of an interprocess communication system for a new operating system.
Invited Visit of Achim Brucker
Dr. Achim Brucker is a full Professor in Computer Science (Chair of Cybersecurity) at the University of Exeter, UK and a leading expert in secure software engineering, cyber security, and formal methods. He is the head of the Cybersecurity Group at Exeter and leads the Software Assurance & Security Research Team. From December 2015 to May 2019, he was a Senior Lecturer and Consultant at the Computer Science Department of The University of Sheffield, UK.
Achim will visit the LMF in the period from the 8th of May to the 8th of June. Besides his collaborations in the field of Ontology-based Modelling and Formal Software Engineering, three major presentations are planned:
- a keynote seminar on Computer Security on 16 May;
- a talk on Neural Network Verification in the GT Formal AI;
- a workshop on theoretical and practical Computer Security to the end of his visit, addressing PhD students and postdocs.
Jean-Christophe Filliâtre and Andrei Paskevich win VerifyThis Competition
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.
Workshop pour célébrer Serge Haddad, à l'occasion de son départ à la retraite
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.
Workshop in Honour of Serge Haddad
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.
ACTS 2023 - Workshop on Automata, Concurrency, and Timed Systems
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.
ACTS 2023 - Workshop on Automata, Concurrency, and Timed Systems
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.
PhD Defence: Pierre Vandenhove
Strategy Complexity of Zero-Sum Games on Graphs
by Pierre Vandenhove
Wednesday 26 April 2023 at 4pm
UMONS Salle Vésale 30, Mons and online
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 nommé au Conseil supérieur des programmes
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.
Journée Méthodes de Test pour la Vérification et la Validation
Jeudi, 16 Mars 2023
Accueil : espace SIMONON, Salle 1E19, bâtiment Sud-Ouest ENS Paris-Saclay
Exposés : Salle 1Z28, bâtiment Nord ENS Paris-Saclay (éventuellement 1B18)
Lien visio : Zoom
(Meeting ID: 994 7419 3300, Passcode: 89821603)
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,