La journée annuelle du GT LVP (Langages et Vérification de Programmes) aura lieu le jeudi 14 novembre 2024 dans les locaux de l’IRIF à Paris. Plus d’informations seront communiquées ultérieurement.
Category Archives: LVP
Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau
Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu
les 16-17 novembre 2023
au CEA List, adresse : 2 Boulevard Thomas Gobert, 91120 Palaiseau.
Le programme et les informations pratiques seront communiqués sur
https://groupes.renater.fr/wiki/lvp/public/2311journeeslvp_mtv2
Grâce au soutien du GDR GPL, du CEA List et de la Graduate School “Informatique et Sciences du Numérique” de l’Université Paris-Saclay, la participation aux journées est gratuite, les déjeuners et pauses café sont offerts. Les journées commenceront par le déjeuner le 16 novembre et se termineront après le déjeuner le 17 novembre.
Pour des raisons d’organisation et d’autorisation d’accès sur le site, l’inscription est obligatoire.
Nous vous invitons à vous inscrire et à soumettre une éventuelle proposition de présentation sur le site suivant :
au plus tard avant le 16 octobre 2023.
Vous pouvez proposer des présentations (en français ou en anglais) de vos travaux, sous diverses formes, incluant un exposé oral, un tutoriel, une démonstration d’outil, une présentation de projet ou un poster.
En espérant vous voir nombreux lors de ces journées,
Les responsables des GT LVP et MTV2 et les organisateurs locaux,
Alain, Antoine, Boutheina, Julien, Natalia, Nicolas, Nikolaï et Pascale
Date: Jeudi, 16 Novembre, 2023 to Vendredi, 17 Novembre, 2023
Journées communes 2023 des GT CLAP, HiFi et LVP
Les groupes de travail CLAP, HiFi et LVP du GDR GPL s’associent pour proposer des journées communes, du lundi 20 au mercredi 22 mars 2023, dans l’auditorium du bâtiment IMAG, à Grenoble. Toute l’information pour participer aux journées est ici : https://clap-hifi-lvp-2023.sciencesconf.org