The Coq mailing list

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

[This message is intentionally written in French.]


*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
  <https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr>
- 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 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