From: Julien Signoles <julien.signoles@gmail.com>
To: Caml List <caml-list@inria.fr>
Subject: [Caml-list] JFLA 2017 : appel à participation
Date: Thu, 10 Nov 2016 15:56:13 +0100 [thread overview]
Message-ID: <CAPczgCBwxux6fYDb_x3k+yqwYjttzbxvPOoHR8ynOMJOyhCskw@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 2513 bytes --]
[ This message is intentionally written in French. ]
*** Appel à participation, merci de diffuser largement ***
JFLA'2017 (http://jfla.inria.fr/2017/)
Journées Francophones des Langages Applicatifs
Gourette, Pyrénées, du 4 au 7 janvier 2017
Les incriptions aux JFLAs 2017 sont désormais ouvertes :
http://jfla2017.events-sudcongresconseil.com/register.aspx?e=598
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 et le transfert en car entre
Gourette et la gare ou l'aéroport de Pau :
- participant plein tarif, chambre single : 600 euros
- participant plein tarif, chambre twin : 500 euros
- étudiant, chambre twin : 350 euros
- étudiant avec article accepté, chambre twin : gratuit (!)
Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible!
Dates importantes
-----------------
11 décembre 2016 : date limite d'inscription aux journées
4 au 7 janvier 2017 : journées
Cours invités
-------------
* Guillaume Burel (ENSIIE)
"Exprimer ses théories en Dedukti, le vérificateur de preuves universel"
* Benjamin Canou (OCamlPro SAS)
"Comment programmer en OCaml aujourd'hui"
Exposés invités
-------------
* Damien Doligez (Inria Paris)
"Zenon"
* Stéphane Lescuyer et Florence Plateau (Prove and Run)
"Langage, prouveur et autres outils dédiés à la preuve d'un micro-noyau"
(titre exact à préciser)
Comité de programme
-------------------
Julien Signoles CEA LIST (président)
Sylvie Boldo Inria Saclay-Île de France, LRI (vice-présidente)
June Andronick Data61/CSIRO et UNSW
Anne-Gwenn Bosser ENIB, Lab-STICC
Thomas Gazagnaire Docker
Mohamed Iguernlala OCamlPro SAS
Frédéric Loulergue SICCS, Northern Arizona University
Laurent Mounier Verimag, Université Grenoble Alpes
François Pottier Inria Paris
Sylvain Salvati Université Lille 1
Mihaela Sighireanu IRIF, Université Paris 7
Francesco Zappa Nardeli Inria Paris
Pour tout renseignement, contacter
Julien Signoles <julien.signoles@cea.fr>
[-- Attachment #2: Type: text/html, Size: 3054 bytes --]
reply other threads:[~2016-11-10 14:56 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=CAPczgCBwxux6fYDb_x3k+yqwYjttzbxvPOoHR8ynOMJOyhCskw@mail.gmail.com \
--to=julien.signoles@gmail.com \
--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;
as well as URLs for NNTP newsgroup(s).