Sites Inria

JFLA 2014

Journée francophone des langages applicatifs 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.

  • Date : 8/01/2014 au 11/01/2014
  • Lieu : Fréjus
  • Intervenants : Olivier Danvy, Christine Paulin, Jean Krivine, Xavier Leroy
  • Organisateurs : Inria

 Ces domaines doivent être pris au sens large ( favoriser les ponts entre les différentes thématiques)

  • Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes.
  • Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique.
  • Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.
  • Spécification, prototypage, développements formels d'algorithmes.
  • Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.

lire la suite

Keywords: INRIA Grenoble - Rhône-Alpes Algorithme Langages applicatifs Aussois

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !