caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] JFLA 2022: Call for Participation (in French)
@ 2022-04-22 12:40 Timothy Bourke
  0 siblings, 0 replies; 1+ messages in thread
From: Timothy Bourke @ 2022-04-22 12:40 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 3263 bytes --]

[ This message is intentionally written in French. It is a call for 
participation for the "Francophone Days on Functional Languages" to be 
held, finally and fingers crossed, 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 : 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


[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 488 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-22 12:40 [Caml-list] JFLA 2022: Call for Participation (in French) Timothy Bourke

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox