[ This message is intentionally written in French. It is a call for
registration to, and extra information for, the "Francophones
Functional-Languages Days" to be held at the end of January 2024. ]

*Merci de faire circuler : ouverture des inscriptions*

JFLA 2024 (http://jfla.inria.fr/jfla2024.html)

Journées Francophones des Langages Applicatifs

Saint-Jacut-de-la-Mer (Côtes-d'Armor) du 30 janvier au 2 février 2024

Ces journées 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.

Grâce à nos orateur·ice·s invité·e·s, et aux très nombreuses
soumissions de qualité, le programme de ces journées s'annonce riche
et passionnant ! La liste des articles acceptés sera mise en ligne
prochainement.

Les détails se trouvent sur le site web :
http://jfla.inria.fr/jfla2024.html

L'inscription est un forfait, comprenant notamment l'hébergement en
pension complète sur le site des journées :

- participant·e au tarif de base           : 650 euros
- étudiant·e orateur·ice (article accepté) : 0 euro
- participant·e tarif subventionné         : 0 euro  *NOUVEAU !*

Les inscriptions des étudiant·e·s orateur·ices et des participant·e·s
subventionné·e·s sont financées par nos sponsors académiques et
industriels. Ces inscriptions (gratuites) sont néanmoins nécessaires
pour la réservation de l'hébergement.

Les inscriptions sont possibles jusqu'au 8 janvier, mais le nombre de
places est limité : inscrivez-vous dès maintenant !

Au plaisir de partager ces journées 2024 avec vous tous·tes,

Delphine Demange et Adrien Guatto
Pour le comité de programme des JFLA 2024