Le blog de Sandrine.Blazy

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/

S'abonner à RSS - Le blog de Sandrine.Blazy