From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=kG12TzXr; dkim=fail reason="signature verification failed" (1024-bit key) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=ervmxhnU; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id DE7D5400B8 for ; Fri, 28 Mar 2025 15:31:26 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=OwlxZzFpxCZeLY+tULC73fv+7qpfBZ+juIDXpPvL8g0=; b=kG12TzXrSHVmFXvxWfAptG8iUBU4V3hFnMGTpq4fxfksLidsolaaqt0F qe8I3QVtFiBwsMjZXc7tEz5JAa4PezH+UUFiMITIq28mG9JnspKlwLD3Q Wt1ShO8DSvhVJMr5yi5m+ZsxEkB8UO9Bo7HVW+7ZqG3jvrcD7oGBfXGB9 k=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 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=Pass 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="6.14,283,1736809200"; d="scan'208";a="215325747" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Mar 2025 16:31:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AF9B6E0D3D; Fri, 28 Mar 2025 16:31:24 +0100 (CET) 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 6644FE007A for ; Fri, 28 Mar 2025 16:31:23 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from:subject: content-transfer-encoding; bh=OwlxZzFpxCZeLY+tULC73fv+7qpfBZ+juIDXpPvL8g0=; b=ervmxhnUd1TV+dsRW3if3OfS/fbAT1E4WmEkxajJEuMYPEpwzwV6Xx/V N7iKMz0WGI8DSMx0rJ+BBs/UFCyn5UWmpSr9RDlVeOrwCTl/BQRvFWBXl lTccnFCd33XEXwH1rqkdEi3xw8d2mH3EJ24Z8b81r04nZR5HAiH0G3JZp U=; X-IronPort-AV: E=Sophos;i="6.14,283,1736809200"; d="scan'208";a="215325694" Received: from wifi-pro-83-065.paris.inria.fr (HELO [128.93.83.65]) ([128.93.83.65]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Mar 2025 16:31:23 +0100 Message-ID: <4f6cbaab-2588-4856-9a1f-30a9db392591@inria.fr> Date: Fri, 28 Mar 2025 16:31:23 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: fr To: caml-list@inria.fr From: Francois Pottier Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] [ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris Reply-To: Francois Pottier X-Loop: caml-list@inria.fr X-Sequence: 19287 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: Following the success of the previous four Iris Workshops in Aarhus (2019), Nijmegen (2022), Saarbrücken (2023), and Zürich (2024), the Fifth Iris Workshop will take place on June 2-6, 2025 at Inria in Paris, France. More details, as well as registration information, are available at the workshop's Web site. If you wish to attend, we suggest registering now and booking accommodation as soon as possible, as Paris in June can be very busy. https://iris-project.org/workshop-2025/ If you would like to propose a talk, please email the organizers (francois.pottier@inria.fr,jacques-henri.jourdan@cnrs.fr) with a description of your talk (a title and abstract). If the talk is based on a paper or preprint, please attach it or provide its URL. You may indicate whether you wish to give a regular talk or a long talk (but we may not be able to honor your wish). **The deadline for talk proposals is April 25**, but there is no reason to wait: send your proposal as soon as possible! If there is enough space, all proposals will be accepted; otherwise, we will make a selection. Best wishes, The Iris Workshop 2025 organizers François Pottier and Jacques-Henri Jourdan