Le blog de Alain.Giorgetti

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

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

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