Sites Inria

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

JFLA 2012

Journée francophone des langages applicatifs 2012

4/02/2012 au 7/02/2012

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 : Carnac

Intervenant(s) : Dimitrios Vytiniotis (Microsoft Research). Benjamin Grégoire (Inria Sophia-Antipolis--Méditerrannée)

Mots-clés :

Accueil > Centre > Saclay > Agenda > Journée francophone des langages applicatifs 2012

lire la suite

© Office du tourisme de La Bresse

JFLA 2011

JFLA 2011

29/01/2011 au 1/02/2011

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 : La Bresse

Intervenant(s) : Gilles Dowek -École Polytechnique (orateur invité), François Pottier - Inria Paris - Rocquencourt (orateur invité)

Mots-clés :

Accueil > Centre > Saclay > Agenda > JFLA 2011

Lire la suite

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