33èmes journées francophones des langages applicatifs - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Ouvrages Année : 2022

33èmes journées francophones des langages applicatifs

Chantal Keller
Timothy Bourke
Sandrine Blazy
Guillaume Bury
Diane Gallois-Wong
David Janin
  • Fonction : Directeur scientifique
  • PersonId : 2125
  • IdHAL : janin
  • IdRef : 13673524X
Luc Pellissier
  • Fonction : Directeur scientifique
  • PersonId : 141
  • IdHAL : luc-pellissier
Mário Pereira
Alix Trieu
Yannick Zakowski

Résumé

Les 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir 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. - Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet.
Fichier principal
Vignette du fichier
proceedings-jfla-2022.pdf (9.45 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03689075 , version 1 (09-06-2022)

Identifiants

  • HAL Id : hal-03689075 , version 1

Citer

Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, et al. (Dir.). 33èmes journées francophones des langages applicatifs. Chantal Keller; Timothy Bourke. , pp.1-292, 2022. ⟨hal-03689075⟩
232 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More