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 E3BF05D5 for ; Tue, 17 May 2022 14:01:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=3375H+TwOdXgOdR3kkhCFjz01CrJ7rNCG3SD4NsMWew=; b=TsoDpf5IzlNpG6v4Fv7F/c6yPDUh/ZdpZGHN/ZEYzxUFJib6lUAYUiUo PZpTnmoDWP5ftC6V6P4DqKiPccKgQ38bOPkLAaQmXF+jULDZnAHhO+s17 11KwkQBOsTqmdeNVEK/Mz4VECl/DBuDDs2xUOqi4EMrxO3wCBxQmWVWJ2 Y=; 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,233,1647298800"; d="scan'208";a="36746545" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 May 2022 16:01:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 40451E437B; Tue, 17 May 2022 16:01:29 +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 2BDE2E00A8 for ; Tue, 17 May 2022 16:01:26 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:subject:to: content-transfer-encoding; bh=3375H+TwOdXgOdR3kkhCFjz01CrJ7rNCG3SD4NsMWew=; b=tn5m5pABZBFEklx0BNE8A1Zi/XFivXj5M3WGBFUMXDDqbhaDGt4qkhvW FymxIjIirTgXNoPFs5rZQcVQ5OKsZ2tyVrgB8bqicGhJQMxlqFbuvdkgk XPCu/I9expmS0HqHu/tBBJ2oYNh22rqzbmyousk2HemAjKXTrWIgwFuYm A=; X-IronPort-AV: E=Sophos;i="5.91,233,1647298800"; d="scan'208";a="36746477" Received: from sirrus.irisa.fr (HELO [131.254.19.91]) ([131.254.19.91]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 May 2022 16:01:26 +0200 Message-ID: <191af807-68bc-5ca0-e413-34cd5f3c0474@inria.fr> Date: Tue, 17 May 2022 16:01:25 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 From: Benoit Montagu To: caml-list@inria.fr Content-Language: fr Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] ML Family Workshop 2022: Final Call for Presentations Reply-To: Benoit Montagu X-Loop: caml-list@inria.fr X-Sequence: 18764 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: We are happy to invite submissions to the ML Family Workshop 2022, to be held during the ICFP conference week on Thursday, September 15th. The ML family workshop warmly welcomes submission touching on the programming languages traditionally seen as part of the “ML family” (Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, etc.). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*, Eff, ATS, etc), to exchange experience of further developing ML ideas. The workshop does not have proceedings, making it the perfect venue to run some ideas with the community or present some work in progress within a friendly environment. The PC has a broad expertise and submissions are 3 pages long: when in doubt, just submit! Currently, the workshop is scheduled to be an in-person event. We will give to the authors of accepted abstracts the opportunity to give their talks remotely if necessary, in case they could not travel. See the detailed CFP online on the ICFP website: https://icfp22.sigplan.org/home/mlfamilyworkshop-2022#Call-for-Presentations Important dates ---------------     Friday 3th June (any time zone): Abstract submission deadline     Tuesday 28th June: Author notification     Thursday 15th August: ML Family Workshop Program committee -----------------     Kenichi Asai (Ochanomizu University)     Arthur Azevedo de Amorim (Boston University)     Dariusz Biernacki (University of Wrocław)     Stephen Dolan (Jane Street)     Kavon Farvardin (Apple)     Armaël Guéneau (Inria)     Sam Lindley (University of Edinburgh)     Guido Martínez (CIFASIS-CONICET)     Keiko Nakata (SAP Innovation Center Potsdam)     Lionel Parreaux (Hong Kong University of Science and Technology)     Matija Pretnar (University of Ljubljana)     Mike Rainey (Carnegie Mellon University)     Yann Régis-Gianas (Nomadic Labs)     KC Sivaramakrishnan (IIT Madras and Tarides)     Ningning Xie (University of Cambridge)     Chair: Benoît Montagu (Inria) Submission details ------------------ See the online CFP for the details on the expected submission format. Submissions must be uploaded to the workshop submission website https://ml2022.hotcrp.com/ before the submission deadline.