Le blog de Sandrine.Blazy

                 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 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.  

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

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/