* [Caml-list] JFLA 2019 : 1er appel à participation
@ 2018-11-22 13:42 Nicolas Magaud
0 siblings, 0 replies; only message in thread
From: Nicolas Magaud @ 2018-11-22 13:42 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 3732 bytes --]
*** Appel à participation, merci de diffuser largement ***
JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ <https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/>)
Journées Francophones des Langages Applicatifs
Les Rousses (Jura) du 30 janvier au samedi 2 février 2019
Les inscriptions aux JFLA 2019 sont désormais ouvertes :
https://cloud.agoraevent.fr/Site/158903/5261?Concept=1 <https://cloud.agoraevent.fr/Site/158903/5261?Concept=1>
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 plein tarif, chambre single : 600 euros
- étudiant : 300 euros
- étudiant orateur : 0 euros
Cette année, à l’occasion de la trentième édition des JFLA, nous aurons le plaisir d’accueillir les 3 plus gros contributeurs aux JFLA des 10 dernières années !
Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible !
En particulier, les étudiants orateurs sont invités à s'inscrire, même s'ils ne paient pas grâce à nos sponsors.
Dates importantes
---------------------
15 janvier 2019 : date limite d'inscription aux journées
30 janvier au 2 février 2019 : journées
Cours invités
---------------
* Guillaume Melquiond, Inria Saclay : Arithmétique des ordinateurs et preuves formelles.
* Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique : Des théories des types qui font de l'effet.
Exposés invités
------------------
* Ilaria Castellani, Inria Sophia-Antipolis Méditerranée : Types de session : état de l’art et perspectives.
* Pierre Courtieu, CNAM Paris : Les protocoles de déplacement de robots : l'algorithmique distribuée comme terrain de jeu pour la preuve formelle.
30 ans de JFLA (session spéciale avec les 3 plus gros contributeurs des 10 dernières éditions)
---------------------------------------------------------------------------------------------------------
* Jean-Christophe Filliâtre, LRI CNRS : Des arbres en partage
* Louis Mandel, IBM Research : Programmation Synchrone aux JFLA
* Alan Schmitt, INRIA Rennes Bretagne - Atlantique : Sémantiques Formelles et Certifiées
Articles acceptés
--------------------
La liste des papiers acceptés est disponible sur
https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html <https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html>
Comité de programme
------------------------
Nicolas Magaud ICube, Université de Strasbourg (président)
Zaynah Dargaye CEA List (vice-présidente)
Guillaume Burel ENSIIE
Evelyne Contejean CNRS, Université Paris-Sud
Claire Dross Adacore
Guillaume Dufay Prove & Run
Benjamin Grégoire Inria Sophia-Antipolis Méditerranée
Sébastien Hinderer Inria Paris
Marc Pouzet ENS
Yann Régis-Gianas IRIF
Bernard Serpette Inria Bordeaux Sud-Ouest
Mihaela Sighireanu IRIF
Julien Tesson LACL
--
Nicolas Magaud, ICube UMR 7357 CNRS Université de Strasbourg
300 bd Sébastien Brant - CS 10413 - F-67412 Illkirch Cedex
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #2: Type: text/html, Size: 8506 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-11-22 13:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-11-22 13:42 [Caml-list] JFLA 2019 : 1er appel à participation Nicolas Magaud
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).