Soumis par Julien.Signoles le 28 Juin, 2024 - 18:01
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.
Soumis par Catherine.Dubois le 25 Juillet, 2023 - 14:21
Les Journées Francophones des Langages Applicatifs 2024 (JFLA 2024) se tiendront à Saint-Jacut-de-la-Mer (Côtes d'Armor, Bretagne), du mardi 30 janvier 2024 au vendredi 2 février 2024.
Soumis par Alain.Giorgetti le 9 Janvier, 2023 - 09:23
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
Soumis par Alain.Giorgetti le 14 Novembre, 2022 - 09:32
Les Journées Francophones des Langages Applicatifs 2023 (JFLA 2023) se tiendront à Praz-sur-Arly (Haute-Savoie), du mardi 31 janvier au vendredi 3 février 2023.
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
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
