[ This message is intentionally written in French. ] *** Appel à participation, merci de diffuser largement *** JFLA'2017 (http://jfla.inria.fr/2017/) Journées Francophones des Langages Applicatifs Gourette, Pyrénées, du 4 au 7 janvier 2017 Les incriptions aux JFLAs 2017 sont ouvertes jusqu'au 11 décembre : http://jfla2017.events-sudcongresconseil.com/register.aspx?e=598 Le programme des Journées est désormais disponible en ligne : http://jfla.inria.fr/2017/programme.html 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 et le transfert en car entre Gourette et la gare ou l'aéroport de Pau : - participant plein tarif, chambre single : 600 euros - participant plein tarif, chambre twin : 500 euros - étudiant, chambre twin : 350 euros - étudiant avec article accepté, chambre twin : gratuit (!) Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible! Dates importantes ----------------- 11 décembre 2016 : date limite d'inscription aux journées 4 au 7 janvier 2017 : journées Cours invités ------------- * Guillaume Burel (ENSIIE) "Exprimer ses théories en Dedukti, le vérificateur de preuves universel" * Benjamin Canou (OCamlPro SAS) "Comment programmer en OCaml aujourd'hui" Exposés invités ------------- * Damien Doligez (Inria Paris) "Zenon" * Stéphane Lescuyer et Florence Plateau (Prove and Run) "Langage et outil pour la preuve d'un micro-noyau" (titre exact à préciser) Comité de programme ------------------- Julien Signoles CEA LIST (président) Sylvie Boldo Inria Saclay-Île de France, LRI (vice-présidente) June Andronick Data61/CSIRO et UNSW Anne-Gwenn Bosser ENIB, Lab-STICC Thomas Gazagnaire Docker Mohamed Iguernlala OCamlPro SAS Frédéric Loulergue SICCS, Northern Arizona University Laurent Mounier Verimag, Université Grenoble Alpes François Pottier Inria Paris Sylvain Salvati Université Lille 1 Mihaela Sighireanu IRIF, Université Paris 7 Francesco Zappa Nardeli Inria Paris Pour tout renseignement, contacter Julien Signoles