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 33BB57FFCC for ; Tue, 6 Sep 2016 10:16:21 +0200 (CEST) IronPort-PHdr: 9a23:OzlJKxULhDFC2l0Pnx9FU3dA9RTV8LGtZVwlr6E/grcLSJyIuqrYZh2At8tkgFKBZ4jH8fUM07OQ6PG5HzFRqs7Y+DBaKdoXBkdD0Z1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2asc272qiI9oHJZE0Q3XzmMOo0cUT99VyZ9pFPx9AzcuBpklqBi0ALUtwe/XlvK1OXkkS0zeaL17knzR5tvek8/dVLS6TwcvdwZ7VZCDM7LzJ9v5Wz5lHrBDGC7XoEU2gQjgEAQ02ctEm7Dd/NtX7Rv+95kA2bJtG+Gbs9XDDn66ZwVDfpjj0GPng36jeEpNZ3ifd5vRagqho3+I/bZoaROeE2KqHAedIXQyxaX8lXUChMGauzaoIOC6wKOuMO/Nq1nEcHsRbrXVrkP+jo0DIdwyauhaA= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julien.signoles@gmail.com; spf=Pass smtp.mailfrom=julien.signoles@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.218.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.218.44 as permitted sender) identity=mailfrom; client-ip=209.85.218.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f44.google.com) identity=helo; client-ip=209.85.218.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-oi0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMBgBfes5XhizaVdFdHgYZBoMOAQEBAQE8OXwHgnpGoTMEh2eDU4Jwgn6EESSFeIFSBzwQAQEBAQEBAQEBAQESAQEBCAsLCRkvgjIEARUBBIIjBhEdARsMEgMSAw03AiQBEQEFASI1iA0BAxcOkwaNPoIHgTI+Mos9gWqCXgWDZQoZJw1TgnECBhCGH4YHgzSCVYJaBYgukSWBZIQ9iRWCPII0immIW4NxgjgTHoERDyaCcRoEgVk6NAGFKYFAAQEB X-IPAS-Result: A0BMBgBfes5XhizaVdFdHgYZBoMOAQEBAQE8OXwHgnpGoTMEh2eDU4Jwgn6EESSFeIFSBzwQAQEBAQEBAQEBAQESAQEBCAsLCRkvgjIEARUBBIIjBhEdARsMEgMSAw03AiQBEQEFASI1iA0BAxcOkwaNPoIHgTI+Mos9gWqCXgWDZQoZJw1TgnECBhCGH4YHgzSCVYJaBYgukSWBZIQ9iRWCPII0immIW4NxgjgTHoERDyaCcRoEgVk6NAGFKYFAAQEB X-IronPort-AV: E=Sophos;i="5.30,291,1470693600"; d="scan'208,217";a="192191191" Received: from mail-oi0-f44.google.com ([209.85.218.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Sep 2016 10:16:19 +0200 Received: by mail-oi0-f44.google.com with SMTP id w78so86661488oie.3 for ; Tue, 06 Sep 2016 01:16:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=PQMqpV+RJ8Z0iJlxtwnpQSCD2oCjIn49Q2qJy5cgf0w=; b=lpMiANK1EkKWXkNygk1pRKFUqIWaTSkVXjmhzoaP2UzPCVFnpocr1iKf4vH9mXJARG 0F8JBjwjPaC06vyoIK+aVfRqOgPg/HmCNQH/N1ztTL/GWVt8FEbJNydHHqVB125/QduZ bSVn3sOIfZi/XqhH05xdW8v1D3yRuLr4B7m++jdmX7x9NqHoahPfj4T3VQhyfEPOXaTw aCTRQQZ4Ny91yW3Q+cA6Y+RpONlwql4ZOG6ST36yK1Ncpkyry2xFFW6S6kDBSFTexEkG Mzj4q4TM7EtMWScOMo5AGIWnJefFVHYFBTEcc+Q0YmYuAD6omKroHaIH0g2Pp89LIgMP WoWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=PQMqpV+RJ8Z0iJlxtwnpQSCD2oCjIn49Q2qJy5cgf0w=; b=LAVBDZv+dEdNEDKSNOCj22Y2P5ocNXbamustHcs/z39IOwqwbHcI3AqcFaipTbMQqS 0xAfTaLhGvfn2OHR0UkcBd+l/UqyqHZYTDofr0IGhnvu5m56e0Asfa67+A8ABOjLUaCR ILc+6HfuCI7kCqDzSVT00TAQtEIESa87XhmsUBH3MnUeFI5OxUGOZtwRF8EMbc8OYpHa pGReESb1lr9JPDrVrJm3RdRWOOPOtSsdgHDG80wL798vMz774eHtNTBMt40f06MSSljS tf0tmqbKB2SgnAR5MHg6TbPTwf/ZGj5Hz3HQ4VX+jVyXjEbpiKfUrwXfwUhPju5XCCxb f1cg== X-Gm-Message-State: AE9vXwOj0sBL4pCO6oGJegXyMeteM49s5uGYJWRNI+Q3oEpC4WNOTOr/wW9DO/SIZ8O1GvYM5JYYrY5Fosed2w== X-Received: by 10.107.1.208 with SMTP id 199mr3267883iob.151.1473149717093; Tue, 06 Sep 2016 01:15:17 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.164.78 with HTTP; Tue, 6 Sep 2016 01:15:16 -0700 (PDT) From: Julien Signoles Date: Tue, 6 Sep 2016 10:15:16 +0200 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a113944fe96a448053bd26559 Subject: [Caml-list] =?UTF-8?Q?JFLA_2017_=3A_second_appel_=C3=A0_communica?= =?UTF-8?Q?tions?= --001a113944fe96a448053bd26559 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [ This message is intentionally written in French. ] * Merci de faire circuler : second appel =C3=A0 communications * JFLA'2017 (http://jfla.inria.fr/2017/) Journ=C3=A9es Francophones des Langages Applicatifs dans les Pyr=C3=A9n=C3=A9es, du 4 au 7 janvier 2017 Dates importantes ----------------- 25 septembre 2016 : date limite de soumission des r=C3=A9sum=C3=A9s 09 octobre 2016 : date limite de soumission des articles 18 novembre 2016 : notification aux auteurs 27 novembre 2016 : remise des articles d=C3=A9finitifs 04 au 07 janvier 2017 : journ=C3=A9es Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; el= les ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes, et des objets math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AA= tre pris au sens large : nous souhaitons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matiques. . Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques, d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt technique ou m= =C3=A9thodologique. . Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, extract= ion de programmes, mod=C3=A8les. . Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'algorithme= s. . V=C3=A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3=A9d= uctive, interpr=C3=A9tation abstraite, raffinement. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des m=C3=A9thodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont accept=C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les crit= iques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, m=C3=AAme en cas de rejet. Les =C3=A9tudiants pr=C3=A9sentant un article accept=C3=A9 b=C3=A9n=C3=A9fi= cieront d'un soutien des JFLA pour venir aux journ=C3=A9es. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Cours invit=C3=A9s ------------- . Guillaume Burel (ENSIIE) "Dedukti, un v=C3=A9rificateur de preuve universel" (titre exact =C3=A0 p= r=C3=A9ciser) . Benjamin Canou (OCamlPro SAS) "Comment programmer en OCaml aujourd'hui" (titre exact =C3=A0 pr=C3=A9cis= er) Expos=C3=A9s invit=C3=A9s ------------- . Damien Doligez (Inria Paris) "Le prouveur automatique Z=C3=A9non" (titre exact =C3=A0 pr=C3=A9ciser) . St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run) "Langage, prouveur et autres outils d=C3=A9di=C3=A9s =C3=A0 la preuve d'u= n micro-noyau" (titre exact =C3=A0 pr=C3=A9ciser) Comit=C3=A9 de programme ------------------- Julien Signoles CEA LIST (pr=C3=A9sident) Sylvie Boldo Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3= =A9sidente) June Andronick Data61/CSIRO et UNSW Anne-Gwenn Bosser ENIB, Lab-STICC Thomas Gazagnaire Docker Mohamed Iguernlala OCamlPro SAS Fr=C3=A9d=C3=A9ric Loulergue SICCS, Northern Arizona University Laurent Mounier Verimag, Universit=C3=A9 Grenoble Alpes Fran=C3=A7ois Pottier Inria Paris Sylvain Salvati Universit=C3=A9 Lille 1 Mihaela Sighireanu IRIF, Universit=C3=A9 Paris 7 Francesco Zappa Nardeli Inria Paris Soumissions ----------- Nous acceptons deux types de soumissions : . Article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas enti=C3=A8rement finalis=C3=A9. . Article court de six pages au plus, pour d=C3=A9crire un prototype, faire la d=C3=A9monstration d'un outil, rechercher de l'aide pour r=C3=A9= soudre un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9j=C3=A0 publ= i=C3=A9. Dans tous les cas, la forme de l'article devra soign=C3=A9e. Les articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la conf=C3=A9r= ence, et les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors des jou= rn=C3=A9es, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la pr=C3= =A9sentation devra =C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le cas o=C3= =B9 il s'agit d'une republication au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9, la p= ublication doit =C3=AAtre en fran=C3=A7ais et la publication originale en anglais. Les soumissions doivent =C3=AAtre d=C3=A9pos=C3=A9es sur Easychair, =C3=A0 = l'adresse suivante : https://easychair.org/conferences/?conf=3Djfla2017 Le style LaTeX est impos=C3=A9 : http://jfla.inria.fr/2017/actes.sty date limite de soumission des r=C3=A9sum=C3=A9s : 25 septembre 2016 date limite de soumission des articles : 09 octobre 2016 --001a113944fe96a448053bd26559 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[ This message is intentionally written in French. ]

=C2=A0=C2=A0=C2=A0 * Merci de faire circuler : second appel =C3=A0 comm= unications *

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 JFLA'2017 (http://jfla.inria.fr/2017/)

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Journ=C3=A9es Fr= ancophones des Langages Applicatifs

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 dans les Pyr=C3=A9n=C3=A9es, du 4 au 7 janvier 2017


Dates importantes
-----------------

25 septembre 2016 : date limite de soumission des r=C3=A9sum=C3=A9s
09 octobre 2016=C2=A0=C2=A0 : date limite de soumission des articles
18 novembre 2016=C2=A0 : notification aux auteurs
27 novembre 2016=C2=A0 : remise des articles d=C3=A9finitifs
04 au 07 janvier 2017 : journ=C3=A9es

Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens = ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, de la v=C3=A9rification de programmes, et des objets
math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent = =C3=AAtre
pris au sens large : nous souhaitons promouvoir les ponts entre
les diff=C3=A9rentes th=C3=A9matiques.

. Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation,
=C2=A0 optimisation, typage, mesures, extensions par d'autres parad= igmes.

. Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques,
=C2=A0 d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt techniq= ue ou m=C3=A9thodologique.

. Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, ext= raction
=C2=A0 de programmes, mod=C3=A8les.

. Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'al= gorithmes.

. V=C3=A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3= =A9ductive,
=C2=A0 interpr=C3=A9tation abstraite, raffinement.

. Utilisation industrielle des langages fonctionnels et applicatifs,
=C2=A0 ou des m=C3=A9thodes issues des preuves formelles, outils pour l= e web.

Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont accept=C3=A9s, trois personnes s'ils sont rejet=C3= =A9s. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, m=C3=AAme en cas de rejet.

Les =C3=A9tudiants pr=C3=A9sentant un article accept=C3=A9 b=C3=A9n=C3= =A9ficieront d'un soutien
des JFLA pour venir aux journ=C3=A9es.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !

Cours invit=C3=A9s
-------------

. Guillaume Burel (ENSIIE)
=C2=A0 "Dedukti, un v=C3=A9rificateur de preuve universel" (t= itre exact =C3=A0 pr=C3=A9ciser)

. Benjamin Canou (OCamlPro SAS)
=C2=A0 "Comment programmer en OCaml aujourd'hui" (titre e= xact =C3=A0 pr=C3=A9ciser)

Expos=C3=A9s invit=C3=A9s
-------------

. Damien Doligez (Inria Paris)
=C2=A0 "Le prouveur automatique Z=C3=A9non" (titre exact =C3= =A0 pr=C3=A9ciser)

. St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run)
=C2=A0 "Langage, prouveur et autres outils d=C3=A9di=C3=A9s =C3=A0= la preuve d'un=20 micro-noyau" (titre exact =C3=A0 pr=C3=A9ciser)

Comit=C3=A9 de programme
-------------------

Julien=C2=A0=C2=A0=C2=A0=C2=A0 Signoles=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 CEA LIST (pr=C3=A9sident)
Sylvie=C2=A0=C2=A0=C2=A0=C2=A0 Boldo=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3=A9si= dente)
June=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Andronick=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 Data61/CSIRO et UNSW
Anne-Gwenn Bosser=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ENIB,= Lab-STICC
Thomas=C2=A0=C2=A0=C2=A0=C2=A0 Gazagnaire=C2=A0=C2=A0=C2=A0=C2=A0 Docker
Mohamed=C2=A0=C2=A0=C2=A0 Iguernlala=C2=A0=C2=A0=C2=A0=C2=A0 OCamlPro S= AS
Fr=C3=A9d=C3=A9ric=C2=A0=C2=A0 Loulergue=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 = SICCS, Northern Arizona University
Laurent=C2=A0=C2=A0=C2=A0 Mounier=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Verimag, Universit=C3=A9 Grenoble Alpes
Fran=C3=A7ois=C2=A0=C2=A0 Pottier=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Inria Paris
Sylvain=C2=A0=C2=A0=C2=A0 Salvati=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Universit=C3=A9 Lille 1
Mihaela=C2=A0=C2=A0=C2=A0 Sighireanu=C2=A0=C2=A0=C2=A0=C2=A0 IRIF, Univ= ersit=C3=A9 Paris 7
Francesco=C2=A0 Zappa Nardeli=C2=A0 Inria Paris

Soumissions
-----------

Nous acceptons deux types de soumissions :

. Article de recherche de quinze pages au plus, portant sur des
=C2=A0 travaux originaux. Nous acceptons des travaux en cours, pour les= quels
=C2=A0 l'aspect recherche n'est pas enti=C3=A8rement finalis=C3= =A9.

. Article court de six pages au plus, pour d=C3=A9crire un prototype,
=C2=A0 faire la d=C3=A9monstration d'un outil, rechercher de l'= aide pour r=C3=A9soudre
=C2=A0 un probl=C3=A8me particulier, ou reparler d'un papier d=C3= =A9j=C3=A0 publi=C3=A9.

Dans tous les cas, la forme de l'article devra soign=C3=A9e. Les ar= ticles
s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la conf=C3= =A9rence, et les
auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors des= journ=C3=A9es,
de vingt-cinq minutes pour les articles longs et de quinze minutes pour
les courts.

L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la= pr=C3=A9sentation devra
=C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le cas = o=C3=B9 il s'agit d'une
republication au format court d'un article d=C3=A9j=C3=A0 publi=C3= =A9, la publication
doit =C3=AAtre en fran=C3=A7ais et la publication originale en anglais.

Les soumissions doivent =C3=AAtre d=C3=A9pos=C3=A9es sur Easychair, =C3= =A0 l'adresse
suivante :

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 https://easych= air.org/conferences/?conf=3Djfla2017

Le style LaTeX est impos=C3=A9 :

=C2=A0 http://jfla.inria.fr/2017/actes.sty

date limite de soumission des r=C3=A9sum=C3=A9s=C2=A0 : 25 septembre 20= 16
date limite de soumission des articles : 09 octobre 2016
--001a113944fe96a448053bd26559--