La journée annuelle du groupe LVP du GT LVP (Langages et Vérification de Programmes) aura lieu le **13 novembre 2025** à Strasbourg :
https://groupes.renater.fr/wiki/lvp/journee_lvp_novembre2025
Cette journée de séminaire est une bonne occasion de présenter vos travaux en cours, récemment publiés ou finalisés : n’hésitez pas à proposer un exposé !
Les thèmes du GT sont visibles sur son site web :
La participation est gratuite, mais l’inscription obligatoire via https://framaforms.org/journee-lvp-du-13-novembre-2025-1756886583 :
* avant le **17 octobre** si vous proposez un exposé
* avant le 31 octobre sinon
Le programme sera disponible prochainement.
Au plaisir de vous voir à Strasbourg !