Les vingt-neuvièmes
Journées Francophones des Langages Applicatifs (JFLA) se
tiendront
à Banyuls-sur-Mer à
l'observatoire
océanographique, du 24 au 27 janvier 2018.
Les participants avec le bonnet JFLA 2018
Orateurs invités:
- Thomas Gazagnaire : MirageOS ou la quête d'un OS plus petit et plus sûr
- Stéphane Graham-Lengrand, CNRS - École Polytechnique - SRI International : Garantir l'intégrité et la provenance des données par typage, et
application à la démonstration automatique modulaire et sans bugs
Cours:
- Arthur Charguéraud, Inria & ICube, Université de Strasbourg
: Interactive Verification of Imperative Programs using CFML
- git clone https://gitlab.inria.fr/charguer/cfml_tuto.git
- les infos sont dans le README.md
- Emmanuel Chailloux (UPMC), Steven Varoumas (CNAM-UPMC) et Benoit
Vaugon (Armadillo) : La programmation de micro-contrôleurs dans
des langages de haut niveau
- git clone https://github.com/stevenvar/OMicroB
- les infos sont dans le README.md
La liste des papiers acceptés est disponible sur la
page du programme et
les proceedings sont
disponibles ici sur
HAL.
Inscription
: lien
vers l'inscription
L'inscription est gratuite pour les étudiants orateurs, de 300 euros
pour les étudiants et de 600 euros pour les autres. Elle inclut
l'hébergement et les repas.
Horaires : du mercredi 24 janvier à 17h au samedi 27
janvier à 12h.
Trains suggérés:
- Paris-Banyuls le 24/01 10h07-16h15 (avec changement à Perpignan)
- Banyuls-Paris le 27/01 12h44-19h53 (avec changement à Perpignan)
- Banyuls-Massy le 27/01 12h44-20h34 (avec changement à Montpellier)
Pour tout renseignement, contacter la
présidente
ou le
vice-président.
| Dates importantes |
|---|
| Soumission des résumés | 16 18 octobre 2017 |
| Soumission des articles | 23 30 octobre 2017 |
| Notification aux auteurs | 27 novembre 2017 |
| Soumission de la version définitive | 10 décembre 2017 |
| Clôture des inscriptions | 10 janvier 2018 |
| Journées | 24-27 janvier 2018 |
Soutiens
Les JFLA 2018 sont organisés en collaboration avec
et
Ils bénéficient en outre du soutien financier
du CEA LIST,
de ProofInUse,
du GDR GPL
d'OcamlPro et
de TrustInSoft.
