2 au 4 novembre 2026
IRISA et Inria, Université de Rennes
Les journées annuelles du GT Vérification 2026 auront lieu du 2 au 4 novembre à Rennes à l’IRISA/Inria. Elles s’étaleront sur 4 demi-journées, du 2 après-midi au 4 matin.
Les journées du GT-Vérif 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, 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, incluant (entre autres !) :
- la vérification formelle des systèmes informatiques
- l’emploi de techniques de preuve automatiques ou interactives (model-checking, déduction automatique, assistants de preuve, solveurs SMT, etc. ainsi que leurs combinaisons),
- l’utilisation de logiques pour raisonner sur les propriétés des systèmes (par exemple les logiques temporelles, spatiales, probabilistes ou avec données),
- les techniques d’abstraction pour la vérification.
APPEL A EXPOSES / INSCRIPTION
TBA
PROGRAMME
TBA
DATES IMPORTANTES
- Proposition d’un exposé : TBA
- Date limite d’inscription : TBA
- Journées : 2 au 4/11 2026
ORGANISATION
- Tali Sznajder (LIP6, Sorbonne Université)
- Ocan Sankur (IRISA, CNRS)
(avec l’aimable concours du Centre Inria de l’Université de
Rennes)