[this message is intentionally written in French.] *** Appel à participation, merci de diffuser largement *** JFLA'2016 (http://jfla.inria.fr/2016/) Journées Francophones des Langages Applicatifs à Saint Malo, du 27 au 30 janvier 2016 Les incriptions aux JFLAs 2016 sont désormais ouvertes. Vous trouverez ci-dessous la liste des exposés prévus. Nous espérons que vous serez nombreux à participer à ces journées ; inscrivez-vous dès que possible! Dates importantes ----------------- 17 janvier 2016 : date limite d'inscription aux journées 27 au 30 janvier 2016 : journées Cours invités ------------- * Pierre-Yves Strub (IMDEA Software Institute). Une introduction à la preuve de sécurité formelle avec le système EasyCrypt. * Nobuko Yoshida (Imperial College London). Session types and their applications. Exposés invités --------------- * Patrick Cousot (New York University). Construction of invariance proof methods. * Jonathan Protzenko (Microsoft Research). Articles acceptés ----------------- * S. Archipoff et D. Janin. Pour un raffinement spatio-temporel tuilé. * P.-L. Bégay, P. Manoury et I. Rakotonirina. Une mesure ordinale pour les preuves de terminaison en Coq. * M. Bodin, T. Jensen and A. Schmitt. An Abstract Separation Logic for Interlinked Extensible Records. * B. Canou, Ç. Bozman et G. Henry. Sous le capot du MOOC OCaml. * S. Castellan. Weak memory models using event structures. * R. El Sibaïe et E. Chailloux. Pendulum : une extension réactive pour la programmation Web en OCaml. * J.-C. Filliâtre et M. Pereira. Itérer avec confiance. * C. Gries, P. Boutry et J. Narboux. Somme des angles d'un triangle et unicité de la parallèle : une preuve d'équivalence formalisée en Coq. * F. Pottier. Reachability and error diagnosis in LR(1) automata. * A.-G. Bosser, P. Courtieu, J. Forest et M.-V. Aponte. Une preuve est une histoire (présentation courte). * J.-C. Lechenet, N. Kosmatov. et P. Le Gall. Coq a dit : fromage tranché ne peut cacher ses trous (présentation courte). * B. Rognier et G. Duhamel. Présentation de la plateforme edukera (présentation courte). Comité de programme ------------------- Jade Alglave Microsoft Research Cambridge et University College London (Présidente) Julien Signoles CEA LIST (Vice-président) Thibaut Balabonski LRI, Université Paris-Sud Thomas Braibant Jane Street Sylvie Boldo Inria, LRI Cyril Cohen Inria Sophia Antipolis - Méditerranée Claire David Université Paris-Est Marne-la-Vallée Cezara Dragoi Inria Paris-Rocquencourt Jean-Marie Madiot Princeton University Gustavo Petri LIAFA — Univ. Paris Diderot (Paris 7) Boris Yakobowski CEA LIST Pour tout renseignement, contacter Julien Signoles