[ This message is intentionally written in French. It is a final call for registrations to, and extra information for, the "Francophone Days on Functional Languages" to be held at the end of June. Some of the articles are written in English. They are available online: https://hal.inria.fr/JFLA2022/ ] *Merci de faire circuler : clotûre des pré-inscriptions * JFLA'2022 (http://jfla.inria.fr/jfla2022.html) Journées Francophones des Langages Applicatifs Saint-Médard-d'Excideuil - du 28 juin au 1er juillet 2022 Face au grand nombre de participant·es, nous sommes obligés de clotûrer les pré-inscriptions *vendredi 10 juin à 16h*. Par ailleurs, les participants s'inscrivant d'ici vendredi seront en chambre double (2 lits simples). Nous sommes désolés pour ces inconvénients. La finalisation des inscriptions, notamment le paiement, reste possible jusqu'au 17 juin. Pour rappel, l'inscription fonctionne en deux étapes : - une étape de pré-inscription où vous donnez votre nom et votre affiliation - après réception d'un mail vous disant que la pré-inscription est validée, l'inscription définitive (avec le paiement des frais le cas échéant) s'effectue ici en indiquant vos nom, prénom et adresse mail saisis lors de la pré- inscription. N'oubliez pas d'indiquer vos éventuelles contraintes alimentaires lors de cette étape. 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. L'inscription est un forfait qui comprend notamment l'hébergement en pension complète sur le site des journées : - participant·e plein tarif, chambre double : 660 euros - étudiant·e orateur·ice, en chambre double : 0 euro Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible ! En particulier, les étudiant·es orateur·ices sont invité·es à s'inscrire, même s'ils ne paient pas grâce à nos sponsors. Vous pouvez d'ores et déjà vous inscrire au salon de discussion framateam afin d'échanger ensemble : https://framateam.org/signup_user_complete/?id=gnbebtncubnbpe96ok9kam8t9y Tout le programme est à retrouver ici : http://jfla.inria.fr/jfla2022.html Dates importantes ----------------- 10 juin 2022 16h : date limite de pré-inscription 17 juin 2022 : date limite de finalisation d'inscription (= paiement effectué) 28 juin au 1er juillet 2022 : journées Cours invités ------------- * Delphine Demange (IRISA, Université de Rennes 1) "Si2-FIP: Programmation Fonctionnelle en Licence 1 avec Scala" * Denis Mérigoux (Inria) "Rust pour le formaliste impatient" Exposé invité --------------- * Matthias Puech (INA GRM) "Développement d'outils audionumériques pour la création électroacoustique" + une surprise ! Articles acceptés ----------------- L'ensemble des articles acceptés est disponible sous forme d'une collection HAL : https://hal.inria.fr/JFLA2022 Comité de programme ------------------- Chantal Keller LMF, Université Paris-Saclay (Présidente) Timothy Bourke Inria, ÉNS de Paris (Vice-président) Sandrine Blazy Irisa, Université Rennes 1 Frédéric Bour Tarides - Inria Guillaume Bury OcamlPro Stefania Dumbrava Samovar, ENSIIE, Télécom Sud Paris Diane Gallois-Wong Nomadic Labs Adrien Guatto IRIF, Université de Paris David Janin LaBRI, Université de Bordeaux Marie Kerjean LIPN, Université Paris 13 Luc Pellissier LACL, Université Paris-Est Créteil Mário Pereira NOVA-LINCS, Universidade Nova de Lisboa Alix Trieu Aarhus University Yannick Zakowski LIP, Inria, ÉNS de Lyon