The Coq mailing list

[Chantal Keller <chantal.keller AT wanadoo.fr>]

[This message is intentionally written in French.]


*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/fr

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 simple : 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
-----------------

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