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 ED57B5D5 for ; Fri, 22 Apr 2022 12:40:33 +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=gNh9CuDIp1Ap96SFXfyJqjdCHBeDZBfYnGgTZ6/dI0U=; b=vTE8TGJt1Bf6elXmqIImCI6PxetnTY28TjttU+EAOsaUDoaHBN0098RE h6yxPnrh9+hXBAqZBZsQwWFlodCGJAqUL6myTqztLs5btNfvIExZzPLHN ONoxMzou4t33d1T45bne/jt0qLV/E5Hlzg1p7gtkcwS1AsLMoovMAe6jD 4=; 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.90,281,1643670000"; d="asc'?scan'208";a="32863538" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2022 14:40:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8468CE010F; Fri, 22 Apr 2022 14:40:32 +0200 (CEST) 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 B7BE9E0079 for ; Fri, 22 Apr 2022 14:40:27 +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=gNh9CuDIp1Ap96SFXfyJqjdCHBeDZBfYnGgTZ6/dI0U=; b=AyrPo7N7LG/SrDPSEm3LH+7m0Tya5LXfX/9crXg1jXRCQb3POTV1BCvb 2Kv7Fy7XYmuux8GzDvTe+Ll8l+MiOKr/VICtUtpPIHE1XYOH3yyfmWqy+ o3BQWphvVPbRZcVDoU2UKUXCmrbzf5am9h4dG6VSQsQqV55uQ7Y79Tyi7 Y=; X-IronPort-AV: E=Sophos;i="5.90,281,1643670000"; d="asc'?scan'208";a="12169416" Received: from clt-128-93-180-149.vpn.inria.fr (HELO callicarpe) ([128.93.180.149]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Apr 2022 14:40:27 +0200 Received: by callicarpe (Postfix, from userid 1000) id 055833F0; Fri, 22 Apr 2022 14:40:26 +0200 (CEST) Date: Fri, 22 Apr 2022 14:40:26 +0200 From: Timothy Bourke To: caml-list@inria.fr Message-ID: <20220422124026.b2b6f74d27x6qas6@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="t2wp4nmzgfpge3nd" Content-Disposition: inline Subject: [Caml-list] JFLA 2022: Call for Participation (in French) Reply-To: Timothy Bourke X-Loop: caml-list@inria.fr X-Sequence: 18744 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: --t2wp4nmzgfpge3nd 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 call for=20 participation for the "Francophone Days on Functional Languages" to be=20 held, finally and fingers crossed, 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 : premier appel =C3=A0 participation * 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 Les inscriptions aux JFLA 2022 - en pr=C3=A9sence ! - sont d=C3=A9sormais o= uvertes : https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr 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 simple : 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 f= ramateam 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 ----------------- 17 juin 2022 : date limite d'inscription aux journ=C3=A9es 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) Titre =C3=A0 venir - avec 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=A9sident) 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 --t2wp4nmzgfpge3nd Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAmJiojoACgkQHQga2C8a 113YHwf8DAA0GvUFdLb7l+8DdjbgbX4ZT608G4yZ4X71jGtFV70hvR/AXv2NxMS1 r4OvYQLheyDQIffqU+UVTjUpMdP0srdks3CtIbm8IRHhwYChm/gH4xSNMWzInApR fwZ6UJlv32EVaNfd0E22AkTIyMm9O211+zfQrP2GGT+5ZAwNGazHADXc4bXM3Dzo MLsevk002jzZKSsPX0QUqERy4Cl4qG0dtNF0JMlEq5nqMRkNih52imAgkdcEl3g2 F/8kpSjR1dXHNFFxnsh+ZDaZx8zGC23xkZ0ncSKPWxt+i58ntackbXdBbQ4pPC7U Fka6oz+dH2yczk2bWIwYnVKUhFl4vw== =SsX9 -----END PGP SIGNATURE----- --t2wp4nmzgfpge3nd--