Le blog de Alain.Giorgetti

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

Journées Francophones des Langages Applicatifs (JFLA) 2021

Les Journées Francophones des Langages Applicatifs 2021 (JFLA 2021), initialement prévues en février, sont reportées du mardi 6 avril au vendredi 9 avril 2021. Elles auront lieu dans le Périgord, au Domaine d'Essendiéras, à Saint-Médard d’Excideuil,  si la situation sanitaire le permet.

Site de la conférence : http://jfla.inria.fr/jfla2021.html

Journée LaMHA et LTP, vendredi 18 octobre 2019

Les groupes LTP (Langages, types et preuves) et LaMHA (Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications) organisent une journée commune le vendredi 18 octobre 2019 au LACL à Créteil.

Toutes les informations sont disponibles ici : https://www.lri.fr/LTP-LaMHA19/

 

11th International School on Rewriting (ISR'19)

Le groupe LTP du GDR GPL soutient cette année l'école d'été ISR :

Journées LTP et MTV2, jeudi 6 décembre et vendredi 7 décembre 2018

Le groupe LTP (Langages, types et preuves) se réunit jeudi 6 décembre 2018 à l'ENSIIE à Evry.

Le groupe MTV2 (Méthodes de test pour la validation et la vérification) se réunit vendredi 7 décembre au même endroit.

L'inscription à chaque journée est gratuite mais nécessaire pour assurer le bon déroulement de l'événement.

Toutes les informations sont disponibles sur les pages

http://www.ensiie.fr/~guillaume.burel/ltp/journee_2018.html

et

Journées Francophones des Langages Applicatifs (JFLA) 2019

Les Journées Francophones des Langages Applicatifs 2019 (JFLA 2019) se tiendront du 30 janvier au 2 février 2019 aux Rousses.

Site de la conférence: https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/

Journées Francophones des Langages Applicatifs (JFLA) 2018

Les Journées Francophones des Langages Applicatifs 2018 (JFLA 2018) se tiendront du 24 au 27 janvier 2018 à Banyuls-sur-Mer.

Site de la conférence: https://www.lri.fr/~sboldo/JFLA18/

Dates importantes :

- 16 octobre 2017 : soumission des résumés

- 23 octobre 2017 : soumission des articles

S'abonner à RSS - Le blog de Alain.Giorgetti