The Coq mailing list

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

[This message is intentionally written in French.]


*Merci de faire circuler : second 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 sont ouvertes :

https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr

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

<https://www.azur-colloque.fr/DR04/inscription/preinscription_validation/203/fr>
  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 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 (= paiement effectué) 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)
    "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