The Coq mailing list

[Timothy Bourke <Timothy.Bourke AT inria.fr>]

[ This message is intentionally written in French. It is a call for 
registrations to, and extra information for, the "Francophone Days on 
Functional Languages" to be held at the end of January. There are a 
number of submissions involving Coq, some written in English. See 
http://jfla.inria.fr/jfla2023.html#articles-long. The PDFs will be 
available online in January. ]

      *Merci de faire circuler : ouverture des inscriptions *

        JFLA 2023 (http://jfla.inria.fr/jfla2023.html)

       Journées Francophones des Langages Applicatifs

       Praz-sur-Arly - du 31 janvier au 3 février 2023

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.

Grâce aux nombreuses soumissions de qualité, et à nos orateurs invités
— Sylvie Boldo, Cyril Cohen et Xavier Leroy —, le programme construit
avec le comité cette année s'annonce particulièrement engageant et
stimulant !

Les détails se trouvent sur le site web :
http://jfla.inria.fr/jfla2023.html

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 : 700 euros
- étudiant·e orateur·ice    : 0 euro

Les inscriptions des étudiant·e·s orateur·ices sont financées par nos
sponsors académiques et industriels. Ces inscriptions (gratuites) sont
néanmoins nécessaires pour la réservation de l'hébergement.

Nous espérons que vous serez nombreux à participer à ces journées. La
finalisation des inscriptions, notamment le paiement, reste possible
jusqu'au 20 janvier, mais le nombre de places est limité :
inscrivez-vous donc maintenant !

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

Comité de programme
-------------------
Timothy Bourke              Inria / ENS, Paris               (Président)
Delphine Demange            Univ Rennes, Inria, CNRS, IRISA  (Vice-présidente)
François Bobot              CEA LIST, Paris
Lélio Brun                  National Institute of Informatics, Tokyo
Raphaëlle Crubillé          CNRS, LIS, Aix-Marseille
Pierre-Évariste Dagand      CNRS, IRIF, Paris
Stefania Gabriela Dumbrava  Institut Polytechnique de Paris / ENSIIE
Benjamin Farinier           Université Rennes 1 / IRISA
Aymeric Fromherz            Inria de Paris
Diane Gallois-Wong          Nomadic Labs, Paris
Assia Mahboubi              Inria U. de Rennes, Nantes
Gabriel Radanne             LIP ENS Lyon / Inria U. GA
Laurence Rideau             Inria U. Côte d'Azur
Pierre Roux                 Onera, Toulouse
Boris Yakobowski            AdaCore, Paris

Attachment: signature.asc
Description: PGP signature