LTP

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ée commune LTP/LaMHA, mercredi 11 octobre 2017

Les groupes LTP et LaMHA se rejoignent le mercredi 11 octobre 2017 à Paris Jussieu pour une journée commune.

Le programme est disponible ici : http://tesson.julien.free.fr/LaMHA/2017/automne.php

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

Journée annuelle du groupe LTP de 11 octobre 2017 à Paris Jussieu

                 Journée LaMHA/LTP - Automne 2017

                  Date : mercredi 11 octobre 2017

         Lieu : Université Pierre et Marie Curie - LIP6.

              Inscription avant le 25 septembre 2017

* Le GT LaMHA du GdR GPL :

Journée annuelle du groupe LTP le 28 novembre à Orsay

Journée annuelle du groupe LTP du GDR GPL le 28 novembre 2016.

PCRI (bâtiment 650), salle 435 (salle des thèses), Orsay, Université Paris-Sud

Cette réunion permettra aux différents participants du groupe de travail de partager des idées et de présenter des travaux aboutis ou en cours. 

Cette année, nous invitons les étudiants à présenter leur résultats de stage de M2 ou de début de thèse, dans un exposé court (15 min).

Il n'y aura pas de frais d'inscription, mais les frais de voyage et d'hébergement éventuel seront à la charge des participants.  

Journées Francophones des Langages Applicatifs (JFLA) 2017

Les Journées Francophones des Langages Applicatifs 2017 (JFLA 2017) se tiendront du 4 au 7 janvier 2016 dans les Pyrénées.

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

Dates de soumissions:

- 2 octobre 2016 : soumission des résumés

16 octobre 2016 : soumission des articles

Journée annuelle du groupe LTP (Langages, Types, Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 12 octobre 2015 au LORIA à Nancy. Cette journée sera suivie des journées annuelles des groupes LAC (Langages, Algèbre et Calcul) et GéoCAL (Géométrie du Calcul).

Elle est organisée par Stephan Merz.

Plus d'informations sur http://www.loria.fr/~merz/2015-GeoCal-LAC-LTP/

Journées Francophones des Langages Applicatifs (JFLA) 2016

Les Journées Francophones des Langages Applicatifs 2016 (JFLA 2016) se tiendront du 27 au 30 janvier 2016, près de Saint Malo.

Pages

S'abonner à RSS - LTP