Skip to primary content

GdR GPL

GdR Génie de la Programmation et du Logiciel

GdR GPL

Main menu

  • Bienvenue sur le site du GDR GPL
    • Motivation
    • Objectifs
    • Organisation
    • Liste de diffusion
    • Anciens sites web du GDR-GPL
    • Contribuer à ce site web
    • Conditions Générales d’Utilisation et Mentions Légales
  • Groupes
    • AFSEC
    • CLAP
    • Debugging
    • Eco-Resp
    • GLIA
    • GL_Sec
    • HiFi
    • IDM
    • IE
    • LVP
    • MTV2
    • VL
    • YODA
  • Journées Nationales
  • Ecoles
    • EJCP
  • Actions en cours
    • Prix de thèse GPL
    • Appel Mobilité

LVP

LVP : Langages et vérification de programmes

  • Description du groupe LVP : Disponible ici
  • Actualités du groupe LVP
  • Journée annuelle du groupe LVP (Langages et Vérification de Programmes)08/10/2025
  • Journée LVP 202415/08/2024
  • Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau30/09/2023
  • Journées communes 2023 des GT CLAP, HiFi et LVP09/01/2023

Archives

  • December 2025
  • October 2025
  • August 2025
  • July 2025
  • June 2025
  • May 2025
  • April 2025
  • February 2025
  • January 2025
  • December 2024
  • November 2024
  • September 2024
  • August 2024
  • June 2024
  • December 2023
  • September 2023
  • August 2023
  • March 2023
  • January 2023
  • February 2022
  • December 2021
  • November 2021

Meta

  • Log in
Proudly powered by WordPress