Deuxième journée du GT LVP, en présentiel et en ligne, mardi 23 novembre 2021

Le groupe de travail LVP (Langages et Vérification de Programmes) vous invite à une journée de séminaire au LIP6 à Paris, le mardi 23 novembre 2021. Les informations sur la journée sont régulièrement mises à jour sur la page

https://groupes.renater.fr/wiki/lvp/public/2109journee

Bien cordialement,

Alain Giorgetti, Antoine Miné et Julien Signoles