*Merci de faire circuler : premier appel à participation *
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 Les inscriptions aux JFLA 2022 - en présence ! - sont désormais ouvertes : https://www.azur-colloque.fr/DR04/inscription/preinscription/203/frCes 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 simple : 660 euros - étudiant·e orateur·ice, en chambre double : 0 euroNous 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 ----------------- 17 juin 2022 : date limite d'inscription aux journées 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) Titre à venir - avec 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
signature.asc
Description: PGP signature
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell