LVP

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

Le groupe de travail LVP (Langages et Vérification de Programmes), évolution du GT LTP, vous invite à une journée de séminaire en distanciel le vendredi 12 mars 2021, sur zoom.

Les informations sur la journée sont régulièrement mises à jour sur la page

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

L'inscription s'effectue sur la page

https://framaforms.org/journee-lvp-2021-en-ligne-1611140958