From: Timothy Bourke <Timothy.Bourke@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] JFLA 2022: Call for Participation (in French)
Date: Fri, 22 Apr 2022 14:40:26 +0200 [thread overview]
Message-ID: <20220422124026.b2b6f74d27x6qas6@callicarpe.ens.fr> (raw)
[-- 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 --]
reply other threads:[~2022-04-22 12:40 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220422124026.b2b6f74d27x6qas6@callicarpe.ens.fr \
--to=timothy.bourke@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox