LVP

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

Soumis par Alain.Giorgetti le 23 Septembre, 2021 - 08:48

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

Soumis par Alain.Giorgetti le 25 Février, 2021 - 12:03

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

Description du groupe LVP

LVP : Langages et Vérification de Programmes

Responsables

  • Alain Giorgetti
  • Julien Signoles

Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Langages%20et%20v%C3%A9rification%20de%20programmes%20%28LVP%29/

S'abonner à RSS - LVP