From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9363B7FADB for ; Wed, 5 Nov 2014 11:44:03 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of david.baelde@lsv.ens-cachan.fr) identity=pra; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="david.baelde@lsv.ens-cachan.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of david.baelde@lsv.ens-cachan.fr designates 138.231.176.54 as permitted sender) identity=mailfrom; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="david.baelde@lsv.ens-cachan.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@ariane2.ens-cachan.fr designates 138.231.176.54 as permitted sender) identity=helo; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="postmaster@ariane2.ens-cachan.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4FAMP+WVSK57A2nGdsb2JhbABTCYNigxdIwXeJRAaBYYcJFgEBAQEBEQEBAQEBCAsJCRQuhBUXDwE/IBwCBSECEQUoNIhBli2NHY9ClVQYgRWMFIJ0B4MRDzISJIEeBYY3jHeDRIJGhFWBb413iDQMO4Fra4JLAQEB X-IPAS-Result: Aq4FAMP+WVSK57A2nGdsb2JhbABTCYNigxdIwXeJRAaBYYcJFgEBAQEBEQEBAQEBCAsJCRQuhBUXDwE/IBwCBSECEQUoNIhBli2NHY9ClVQYgRWMFIJ0B4MRDzISJIEeBYY3jHeDRIJGhFWBb413iDQMO4Fra4JLAQEB X-IronPort-AV: E=Sophos;i="5.07,319,1413237600"; d="scan'208";a="86404767" Received: from ariane2.ens-cachan.fr ([138.231.176.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 05 Nov 2014 11:44:03 +0100 Received: from localhost (localhost [127.0.0.1]) by ariane2.ens-cachan.fr (Postfix) with ESMTP id C476C141AA7 for ; Wed, 5 Nov 2014 11:44:02 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at ens-cachan.fr Received: from ariane2.ens-cachan.fr ([127.0.0.1]) by localhost (ariane2.ens-cachan.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id l7npNc1IMTa2 for ; Wed, 5 Nov 2014 11:44:02 +0100 (CET) Received: from olive.lsv.ens-cachan.fr (olive.lsv.ens-cachan.fr [138.231.81.248]) by ariane2.ens-cachan.fr (Postfix) with ESMTP id AF5E1141AA3 for ; Wed, 5 Nov 2014 11:44:02 +0100 (CET) Received: from lavvu (gwvisitors.lsv.ens-cachan.fr [138.231.81.8]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id 891E24C019A for ; Wed, 5 Nov 2014 11:44:02 +0100 (CET) Date: Wed, 5 Nov 2014 11:44:01 +0100 From: David Baelde To: caml-list@inria.fr Message-ID: <20141105104401.GB3125@lavvu> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: baelde@lsv.ens-cachan.fr Subject: [Caml-list] =?ISO-8859-1?Q?JFLA_2015_=3A_appel_=E0_participation?= *** Appel à participation, merci de diffuser largement *** JFLA'2015 (http://jfla.inria.fr/2015/) Journées Francophones des Langages Applicatifs au Val d'Ajol, du 7 janvier au 10 janvier 2015 Les incriptions aux JFLAs 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 ----------------- 25 novembre 2015 : date limite d'inscription aux journées 7 au 10 janvier 2015 : journées Soutien Financier ----------------- Grâce au soutien des GDR GPL et IM, nous avons la possibilité de financer une partie des journées pour quelques étudiants ou jeunes chercheurs. Si vous souhaitez demander ce soutien, contactez David Baelde au plus tôt et avant le 16 novembre. Cours et exposés invités ------------------------ . Stephan Merz (Inria Nancy & LORIA) : Vérification d'algorithmes distribués . Manuel Serrano (Inria Sophia-Antipolis) : Programmation web en Hop . Alastair Donaldson (Imperial College London) : Verification techniques for GPU kernels . Marco Gaboardi (University of Dundee) : Differential privacy Articles acceptés (par ordre de soumission) ------------------------------------------- Arvid Jakobsson, Nikolai Kosmatov and Julien Signoles. Rester statique pour devenir plus rapide, plus précis et plus mince Francois Pottier. Depth-First Search and Strong Connectivity in Coq Alix Trieu, Robert Dockins and Andrew Tolmach. Static conflict detection for a policy language Simon Castellan. La stratégie de la fourchette Jérôme Fortier. Higher-Order Trees are Circularly Computable Steven De Oliveira, Virgile Prevosto and Sébastien Bardin. Au temps en emporte le C Martin Clochard and Léon Gondelman. Double WP: vers une preuve automatique d'un compilateur Martin Escarrá, Petar Maksimović and Alan Schmitt. HOCore in Coq Théis Bazin and David Janin. Flux média tuilés polymorphes : une sémantique opérationnelle en Haskell David Braun and Nicolas Magaud. Des preuves formelles en Coq du théorème de Thalès pour les cercles Çagdas Bozman, Grégoire Henry, Fabrice Le Fessant, Michel Mauny and Mohamed Iguernelala. ocp-memprof: un profileur mémoire pour OCaml Richard Genestier, Alain Giorgetti and Guillaume Petiot. Gagnez sur tous les tableaux Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy. Mergeable persistent data-structures Paul Brunet and Damien Pous. Decidability of Identity-free Relational Kleene Lattices Gabriel Scherer. Normalization by realizability also evaluates Catherine Dubois, Sourour Elloumi, Benoit Robillard and Clément Vincent. Graphes et couplages maximaux en Coq Alexandre Maréchal and Michaël Périn. A linearization technique for multivariate polynomials using convex polyhedra based on Handelman's theorem Comité de programme ------------------- David Baelde LSV, ENS Cachan (Président) Jade Alglave UCL (Vice-présidente) Maria-Virginia Aponte CNAM Sylvie Boldo Inria, LRI Pierre Clairambault ENS Lyon Delphine Demange IRISA, Université de Rennes 1 Kim Nguyen LRI, Université Paris-Sud 11 Florence Plateau Prove & Run Christophe Raffalli LAMA, Université de Savoie Julien Signoles CEA LIST Pierre-Yves Strub IMDEA Software Institute Jules Villard Imperial College London Pour tout renseignement, contacter David Baelde