2 au 4 novembre 2026
IRISA et Inria, Université de Rennes
The GT VERIF annual meeting 2026 will take place on November 2–4 in Rennes at IRISA/Inria. It will span four half-days, from the afternoon of the 2nd to the morning of the 4th.
The meeting aims to bring together the French community in formal verification—particularly junior researchers, doctoral students, and postdocs—with the goal of fostering collaboration and openness to topics related to verification.
The event aims to cover all areas of formal verification, including (among others!):
- formal verification of computer systems
- the use of automated or interactive proof techniques (model checking, automated deduction, proof assistants, SMT solvers, etc., as well as combinations thereof),
- the use of logics to reason about system properties (e.g., temporal, spatial, probabilistic, or data-driven logics),
- abstraction techniques for verification.
Call for Talks / Registration
Registration is free but mandatory before October 23, 2026:
Register here!
Registration includes the lunch on November 3 and coffee breaks.
Programme
Exposés invités :
- Julien Brunel (ONERA)
Alloy and Formal Verification of Distributed Systems - Zakaria Chihani (CEA, List)
Formal trustworthiness of AI: tooling the methods - Sylvain Conchon (CNRS, LMF)
TBA - Corto Mascle (MPI-SWS)
A history of population control problems - Munyque Mittelmann (CNRS, LIPN)
Strategic Reasoning in Dynamic Multi-Agent Systems - Igor Walukiewicz (CNRS, LaBRI)
Revisiting Partial-Order Reduction - Jean-Marc Talbot (Université Aix-Marseille)
Career Session (Qualification process for academic job applications)
Important Dates
- Dates of the meeting: November, 2-4, 2026
- Deadline for talk proposals : 19/10/2026
- Registration deadline : 23/10/2026
Organization
- Tali Sznajder (LIP6, Sorbonne Université)
- Ocan Sankur (IRISA, CNRS)
(avec l’aimable concours du Centre Inria de l’Université de
Rennes)