--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on November 2018 ---
*** 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>