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/

Section 6 du CoNRS - CR session de printemps 2013

Les informations qui suivent sont disponibles sur la page web de la section 6:
http://cn6.fr/

Le compte rendu de la session de printemps 2013, consacrée en
particulier aux renouvellements d'associations d'UMR et de GDR, ainsi
qu'aux évaluations de chercheurs est disponible :
http://cn6.fr/compte%20rendu%20-%20section%206%20-%20printemps%202013.pdf

La session d'automne 2013 aura lieu du 12 au 14 novembre 2013.

 

 

Création du compte twitter @GdrGPL

Un compte twitter https://twitter.com/GdrGPL a été créé pour relayer les informations majeures du GDR Génie de la Programmation et du Logiciel.

Abonnez-vous et signalez-nous les informations à relayer en nous envoyant un messsage @GdrGPL

Journées Francophones des Langages Applicatifs (JFLA 2013) du 3 au 6 février 2013, Aussois

Les Journées Françaises des Langages Applicatifs (JFLA 2013) ont eu lieu du 3 au 6 février 2013 à Aussois.

Toutes les informations sont disponibles à l'URL suivant :

http://jfla.inria.fr/2013/

Pages

S'abonner à RSS - LTP