LVP

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

 

Première journée du GT LVP, en ligne, vendredi 12 mars 2021

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

S'abonner à RSS - LVP