From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 502315D5 for ; Thu, 9 Jun 2022 12:15:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=h0c1J2E31oX9XJF3AU5hwnffxPMC7bOEFQ5oWvY31Gk=; b=AmNmHgUJl9t2NjaTEJRAapSenNm2N+qtZ/lfQ6EuD+RJNpFv2ISDwZaT WUuEMwR1JJId2Y4lW1rPZgF1F8lvcWUaTBD3syllPcUOtkXi4NC8ArwaP KSSKmWeujanBKmAayIQ/w2VbPe2QECycD2sJTCivafkRVDFPW43DDHX0u g=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@inria.fr X-IronPort-AV: E=Sophos;i="5.91,287,1647298800"; d="asc'?scan'208";a="40215651" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jun 2022 14:15:43 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 195F9E010B; Thu, 9 Jun 2022 14:15:43 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5699FE010B for ; Thu, 9 Jun 2022 14:15:41 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:subject:message-id:mime-version; bh=h0c1J2E31oX9XJF3AU5hwnffxPMC7bOEFQ5oWvY31Gk=; b=J3lMRTmRoou78ntu2RNz685kNS/b5eiTgcOEijJevaJJGoYG8Km3cv8B XDNYsIFMv48nCfnQadaQQLfbZV2ZUxfPLK8Yl/iGqQxTkcFGcp89/U5c/ hjjYYJ5lSBeZUGmkgT3TDFaxgQznk00Jv+KscmxU0C773sTL6v0W/GRA5 c=; X-IronPort-AV: E=Sophos;i="5.91,287,1647298800"; d="asc'?scan'208";a="40215620" Received: from callicarpe.ens.fr (HELO callicarpe) ([129.199.99.10]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jun 2022 14:15:41 +0200 Received: by callicarpe (Postfix, from userid 1000) id 078E93F0; Thu, 9 Jun 2022 14:15:25 +0200 (CEST) Date: Thu, 9 Jun 2022 14:15:25 +0200 From: Timothy Bourke To: caml-list@inria.fr Message-ID: <20220609121525.tbdlslkddyfwopvx@callicarpe.ens.fr> Mail-Followup-To: caml-list@inria.fr X-PGP-Key: http://www.tbrk.org/pubkey.txt MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="qwsft6t3ogx34gwg" Content-Disposition: inline Subject: [Caml-list] JFLA 2022 - Registrations Close: 10 June Reply-To: Timothy Bourke X-Loop: caml-list@inria.fr X-Sequence: 18785 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --qwsft6t3ogx34gwg Content-Type: text/plain; charset=utf-8; format=flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable [ This message is intentionally written in French. It is a final call=20 for registrations to, and extra information for, the "Francophone Days=20 on Functional Languages" to be held at the end of June. Some of the=20 articles are written in English. They are available online:=20 https://hal.inria.fr/JFLA2022/ ] *Merci de faire circuler : clot=C3=BBre des pr=C3=A9-inscriptions * JFLA'2022 (http://jfla.inria.fr/jfla2022.html) Journ=C3=A9es Francophones des Langages Applicatifs Saint-M=C3=A9dard-d'Excideuil - du 28 juin au 1er juillet 2022 Face au grand nombre de participant=C2=B7es, nous sommes oblig=C3=A9s de=20 clot=C3=BBrer les pr=C3=A9-inscriptions *vendredi 10 juin =C3=A0 16h*. Par = ailleurs,=20 les participants s'inscrivant d'ici vendredi seront en chambre double=20 (2 lits simples). Nous sommes d=C3=A9sol=C3=A9s pour ces inconv=C3=A9nients. La finalisation des inscriptions, notamment le paiement, reste=20 possible jusqu'au 17 juin. Pour rappel, l'inscription fonctionne en deux =C3=A9tapes : - une =C3=A9tape de pr=C3=A9-inscription o=C3=B9 vous donnez votre nom et v= otre=20 affiliation - apr=C3=A8s r=C3=A9ception d'un mail vous disant que la pr=C3=A9-inscripti= on est valid=C3=A9e, l'inscription d=C3=A9finitive (avec le paiement des frais = le cas =C3=A9ch=C3=A9ant) s'effectue ici en indiquant vos nom, pr=C3=A9nom et adresse mail saisis lors de la pr= =C3=A9- inscription. N'oubliez pas d'indiquer vos =C3=A9ventuelles contraintes alimentaires lors de cette =C3=A9tape. Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oric= iens ;=20 elles ont pour ambition de couvrir les domaines des langages=20 applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes,= =20 et des objets math=C3=A9matiques qui sous-tendent ces outils. Ces domaines= =20 doivent =C3=AAtre pris au sens large : nous souhaitons promouvoir les ponts= =20 entre les diff=C3=A9rentes th=C3=A9matiques. L'inscription est un forfait qui comprend notamment l'h=C3=A9bergement en= =20 pension compl=C3=A8te sur le site des journ=C3=A9es : - participant=C2=B7e plein tarif, chambre double : 660 euros - =C3=A9tudiant=C2=B7e orateur=C2=B7ice, en chambre double : 0 euro Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces jou= rn=C3=A9es.=20 Inscrivez-vous d=C3=A8s que possible ! En particulier, les =C3=A9tudiant=C2= =B7es=20 orateur=C2=B7ices sont invit=C3=A9=C2=B7es =C3=A0 s'inscrire, m=C3=AAme s'i= ls ne paient pas=20 gr=C3=A2ce =C3=A0 nos sponsors. Vous pouvez d'ores et d=C3=A9j=C3=A0 vous inscrire au salon de discussion= =20 framateam afin d'=C3=A9changer ensemble : https://framateam.org/signup_user_complete/?id=3Dgnbebtncubnbpe96ok9kam8t9y Tout le programme est =C3=A0 retrouver ici : http://jfla.inria.fr/jfla2022.= html Dates importantes ----------------- 10 juin 2022 16h : date limite de pr=C3=A9-inscription 17 juin 2022 : date limite de finalisation d'inscription (=3D paiement effe= ctu=C3=A9) 28 juin au 1er juillet 2022 : journ=C3=A9es Cours invit=C3=A9s ------------- * Delphine Demange (IRISA, Universit=C3=A9 de Rennes 1) "Si2-FIP: Programmation Fonctionnelle en Licence 1 avec Scala" * Denis M=C3=A9rigoux (Inria) "Rust pour le formaliste impatient" Expos=C3=A9 invit=C3=A9 --------------- * Matthias Puech (INA GRM) "D=C3=A9veloppement d'outils audionum=C3=A9riques pour la cr=C3=A9ation =C3=A9lectroacoustique" + une surprise ! Articles accept=C3=A9s ----------------- L'ensemble des articles accept=C3=A9s est disponible sous forme d'une=20 collection HAL : https://hal.inria.fr/JFLA2022 Comit=C3=A9 de programme ------------------- Chantal Keller LMF, Universit=C3=A9 Paris-Saclay (Pr=C3=A9sidente) Timothy Bourke Inria, =C3=89NS de Paris (Vice-pr=C3=A9side= nt) Sandrine Blazy Irisa, Universit=C3=A9 Rennes 1 Fr=C3=A9d=C3=A9ric Bour Tarides - Inria Guillaume Bury OcamlPro Stefania Dumbrava Samovar, ENSIIE, T=C3=A9l=C3=A9com Sud Paris Diane Gallois-Wong Nomadic Labs Adrien Guatto IRIF, Universit=C3=A9 de Paris David Janin LaBRI, Universit=C3=A9 de Bordeaux Marie Kerjean LIPN, Universit=C3=A9 Paris 13 Luc Pellissier LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil M=C3=A1rio Pereira NOVA-LINCS, Universidade Nova de Lisboa Alix Trieu Aarhus University Yannick Zakowski LIP, Inria, =C3=89NS de Lyon --qwsft6t3ogx34gwg Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAmKh5FwACgkQHQga2C8a 1135JQf9FppAUztXKTSnKeCjQ8/3sxnNdMLlsQFqEfcW70CF+oRY+4oKSw+p8ra0 C/ksT9xlclfN8+o5804nFofgRooVmrqD0KRO04XPjoPKsIJc5rfhTneVYng0CytI uB6Emeq2QbD3HcnYXh1ZnchBlNqIf+37ma0BBxTtJ6rt5EEOIbch0hW/YJZC7yXY 9w6jWybRLgEExnmA4e+m1S6pkk00EhOVKmniGG0dVNbZ6tXvr7QOyC5APtIM8atu E43wVarZTrT/4fKi1KsSYdA/T2mZG7OCfNNqzQDT7D3MqICRBHeYT94wK2nu9nhA b8sL3zO8Jnwf0tUFhFD+l/ZSmsD5hg== =VV6z -----END PGP SIGNATURE----- --qwsft6t3ogx34gwg--