Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] JFLA 2019 : 1er appel à participation

  • Subject: [Frama-c-discuss] JFLA 2019 : 1er appel à participation
  • From: magaud at unistra.fr (Nicolas Magaud)
  • Date: Thu, 22 Nov 2018 14:43:31 +0100
*** 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20181122/bfd9078a/attachment.html>