La journée du Groupe de Travail LVP (Langages et à la Vérification de Programme) du GdR GPL du CNRS se déroulera le jeudi 14 novembre 2024 à l'IRIF, de 9h à 17h40. Emilio Jesús Gallego Aria, chercheur Inria à l'IRIF, Université de Paris donnera d'ailleurs un exposé sur : “Flèche: Incremental Validation for Hybrid Formal Documents”. Cet évènement est gratuit mais l'inscription est obligatoire.