caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] JFLA 2022 - Registrations Close: 10 June
@ 2022-06-09 12:15 Timothy Bourke
  0 siblings, 0 replies; only message in thread
From: Timothy Bourke @ 2022-06-09 12:15 UTC (permalink / raw)
  To: caml-list

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

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


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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-06-09 12:15 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-09 12:15 [Caml-list] JFLA 2022 - Registrations Close: 10 June Timothy Bourke

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).