LTP

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.

Journée Annuelle du Groupe de Travail LTP (Langages, Types et Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 20 octobre 2014 dans les locaux du LRI à Saclay.

Elle est organisée par Marc Pouzet et Sylvain Conchon.

Plus d'informations sur http://www.ensiie.fr/~dubois/LTP.html

 

Journées Francophones des Langages Applicatifs (JFLA 2015) du 7 au 10 janvier 2015, Val d'Ajol

Les vingt-sixièmes Journées Francophones des Langages Applicatifs se tiendront à l'hôtel la Résidence au Val d'Ajol, dans les Vosges.

Pour tout renseignement complémentaire : consulter le site http://jfla.inria.fr/2015/

 

Journée du groupe LTP à Bordeaux, le 18 novembre 2013

APPEL à CONTRIBUTION et à PARTICIPATION

Journée annuelle du groupe LTP du GDR GPL LaBRI, Université Bordeaux 1, le 18 novembre 2013

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.

Le programme est disponible sous http://www.labri.fr/perso/casteran/LTP2013

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 2014) du 8 au 11 janvier 2014, Fréjus

Les 25es journées francophones des langages applicatifs se tiendront à Fréjus du 8 au 11 janvier 2014.

Pour tous renseignements:

http://jfla.inria.fr/2014/

Pages

S'abonner à RSS - LTP