*** Appel à participation, merci de diffuser largement *** JFLA'2019 (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 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 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