Sites Inria

Il y a 2 Résultats avec le mot clé : "langages applicatifs"

Aussois - Centre Paul-Langevin

JFLA 2013

Journée francophone des langages applicatifs 2013

3/02/2013 au 6/02/2013

Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs c'est-à-dire, de façon large et dans le désordre, les langages ensemblistes, fonctionnels, parenthétiques, à objets ou acteurs, à la fois sur les plans théoriques (nouveaux langages ou dialectes, sémantique de nouveaux traits, compilation, interprétation etc.) et pratiques (utilisation de ces langages, implantation, gestion de mémoire, algorithmes distribués ou parallèles, mesure de performances, etc.).

Lieu : Aussois

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Journée francophone des langages applicatifs 2013

lire la suite

JFLA 2014

Journée francophone des langages applicatifs 2014

8/01/2014 au 11/01/2014

Les vingt cinquièmes journées francophones dans langages applicatifs se tiendront à Fréjus du 8 au 11 janvier 2014. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets mathématiques qui sous-tendent ces outils.

Lieu : Fréjus

Intervenant(s) : Olivier Danvy, Christine Paulin, Jean Krivine, Xavier Leroy

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Journée francophone des langages applicatifs 2014

lire la suite

Haut de page

Suivez Inria