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 A79E55D5 for ; Sat, 4 Apr 2020 09:07:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,343,1580770800"; d="scan'208";a="443795026" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Apr 2020 11:07:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6036F7F42C; Sat, 4 Apr 2020 11:07:55 +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 1E5C27F467 for ; Sat, 4 Apr 2020 11:07:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=Pass smtp.helo=postmaster@wout5-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3ADHweBBcl3AQwY1+bu0RM+rgYlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS7bB7h7PlgxGXEQZ/co6odzbaP7ua4CSdYsN7B6ClELMUQEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFtJ6osyhbFuGdEdu?= =?us-ascii?q?dZyW90IV+YghLw6tut8JJ5/Clcpv0s+9RcXanmeqgzUKBVAikhP20p68LnsgXO?= =?us-ascii?q?QxGS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb87Vyis4KdtUx/olT?= =?us-ascii?q?wINyUl/2HNi8x/l7xUrRS8rBFi2YHUYYWVNP1jfqPBeN4RWGRMUtpNWyFHH4ix?= =?us-ascii?q?aZYEAegcMuZCt4TzoFUBohS9CweiBO3h1CJGiWPt0K0mz+gsCx3K0RY6Et4Stn?= =?us-ascii?q?nfsdX7NL0VUeCw1KTEwzPNYO1R2Tzg6IfIchEhoe2SUr5+bMHczk0vGB3CjliL?= =?us-ascii?q?rYzlJz2U2voNvmSB6epvS/6vhnchpgpsrDavwcIshZPIhoIT0l3E7iR5wIktJd?= =?us-ascii?q?28UkF7Z8SoEJxKtyGVL4d2QsQiQ310tyYg0r0Ko4K0fC8PyJkh2hXRaOSHfpCJ?= =?us-ascii?q?7x/sTuqdPDh1iXB/dL6imRq//1KsxvPhWsSyzV1HsC5FksTXtnARyRPT8NWJSv?= =?us-ascii?q?p8/0i/wTuDywbe4fxeL08uj6rUMZshz6YwlpUNtUTDGTf7mUvxjK+LakUp+vGk?= =?us-ascii?q?6//iYrX6vp+QLYp0hR/lMqQ1gMO/DuU4Mg4BX2eF/+S827zj/UvnT7lQkvI2la?= =?us-ascii?q?zZvIjbJcQduKG5HxdY34cs5hqlEjur39YVkWMaIF5bdh+LlZblN0zWLPD9F/i/?= =?us-ascii?q?glCskDlxx/DBO73sGpHNIWbEkLr6ebZ980BdxBQzwNxF4ZJbFK0BLOrpWkDtrN?= =?us-ascii?q?zYEgM5Mwuszun7Etp904ceVXuLAq+YK6PSrUSF5vkvIumJfI8aoizxK/kj5/70?= =?us-ascii?q?jH82g0URfaez3chfVHftFf1jJwCdYGHwqtYHC2YD+AQkH8Lwj1jXGxpeYD6NX6?= =?us-ascii?q?Mg63tzXIarCq/HXp/33fqH0TvtTc4eXXxPFl3ZSSSgTI6DQfpZMHvDcP8kqSQN?= =?us-ascii?q?UP2ac6Fk0BivsAHgzL8+d7jQ4jJC6NTl2cQnv7SOxyF3ziR9CoGm60/IT2xwmT?= =?us-ascii?q?hSFSAxwbwi5Fd41k/F1KVjmPVXFNpc6vVGUwE3c5Xbyr4jUoygakf6Zt6MDW2e?= =?us-ascii?q?bJC+GzhoF4A128BUPgB7Fsnw1h0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A1BAAvTYhegBV7k0BmhVZVATEqjRyFe?= =?us-ascii?q?4Fkm3QKAQMBDCMMBAEBhwwdBQIENBMCEAEBBQEBAQIBAgMEARMBAQkNCQgnhV8?= =?us-ascii?q?MgjsigzcjAQEmEoEMg2oBgnwPsBSCfwEBBYEvAQMFgQKEVF0DBoE4h02EZBqCA?= =?us-ascii?q?IERJw+DGIFBg1qFI416EgajCggCgj2BAAGGb48zI5wAmFeOfYQqgWmBeXsKaYI?= =?us-ascii?q?7UBgNV5E5hFk7hUJAAQIwj14BAQ?= X-IPAS-Result: =?us-ascii?q?A0A1BAAvTYhegBV7k0BmhVZVATEqjRyFe4Fkm3QKAQMBDCM?= =?us-ascii?q?MBAEBhwwdBQIENBMCEAEBBQEBAQIBAgMEARMBAQkNCQgnhV8MgjsigzcjAQEmE?= =?us-ascii?q?oEMg2oBgnwPsBSCfwEBBYEvAQMFgQKEVF0DBoE4h02EZBqCAIERJw+DGIFBg1q?= =?us-ascii?q?FI416EgajCggCgj2BAAGGb48zI5wAmFeOfYQqgWmBeXsKaYI7UBgNV5E5hFk7h?= =?us-ascii?q?UJAAQIwj14BAQ?= X-IronPort-AV: E=Sophos;i="5.72,343,1580770800"; d="scan'208";a="443795017" X-MGA-submission: =?us-ascii?q?MDGUpJGgo3OxtXQVsPZOQv8qcd7uw7DLwwrJ9o?= =?us-ascii?q?Klhi1hw1Z4TztASQPs5gFLFj0xlx6HsHjeZzXyvCvWx1t1z/DU799MW4?= =?us-ascii?q?t9BU6XBrzX7hEWeiPs+aOVh1sZeAZ4srCGChwOKBRnKlTD8eGEt+Jkge?= =?us-ascii?q?IBjLVb8w3fpf1ZO+XkmJkxTg=3D=3D?= Received: from wout5-smtp.messagingengine.com ([64.147.123.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Apr 2020 11:07:50 +0200 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 68FB84C4 for ; Sat, 4 Apr 2020 05:07:47 -0400 (EDT) Received: from imap1 ([10.202.2.51]) by compute2.internal (MEProxy); Sat, 04 Apr 2020 05:07:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lpw25.net; h= mime-version:message-id:date:from:to:subject:content-type; s= mesmtp; bh=fSNR2aws9lvp2iZhUjYEGhK822F90r77kfVg3k6bGWE=; b=uyBqU 9X6r+Lnt8aNMBOpF7ZALc15OIk6HEjhr1LTTbadtPhJUxwy3qQ1q5/Y4br1U/f6A +/snHPJJC3ALVg5L5ndsJ48BHIwke2MEup03UcYnSwbv5TpVFf09T0Q8j2ZR1/RB e7GtjEsHxZos1Tawn8/NK85uTD/w/lpi+DebxU= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=fSNR2aws9lvp2iZhUjYEGhK822F90 r77kfVg3k6bGWE=; b=kHlJDRzIvhdEbDCO4uS9vGpL6E8OdOQPG8FuM0p/WfR6g h8BpiP4iecMN9c/qIohZ+OvMfk7ZjAjhLWUL2/QNbVXv7ekv7xzq0nwEbKm7xh10 NAojo+ljtmVmVAw6P6L+CsOUGr7y5YJ35OhfTq9FG4TcgRZYWaxGpqW9qP+7Nqbj yfTzyALG1Tb6yffymz3K1EqJpDB75Nm8Cvi2a4xC15BP3w6qj6C6k50m+pWU2q// kMjGzLlG4EiMA2MacOq4TnVYcADfsgaZzsuFIjR+Ega41XGbIiNEUgEIrTtlBtd9 FCRk3N9DHehnbnCt2l8NvT/xm+JNqp5yrCn7S5ohA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrtdekgdduudcutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkfffhvffutgesthdtredtre ertdenucfhrhhomhepfdfnvghoucghhhhithgvfdcuoehlvghosehlphifvdehrdhnvght qeenucffohhmrghinhepshhighhplhgrnhdrohhrghdphhhothgtrhhprdgtohhmnecuve hluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomheplhgvoheslhhp fidvhedrnhgvth X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id B3A0AC200A4; Sat, 4 Apr 2020 05:07:46 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.7-1082-g13d7805-fmstable-20200403v1 Mime-Version: 1.0 Message-Id: <76e69f74-e5e2-407d-bbb6-c2a98bcf0688@www.fastmail.com> Date: Sat, 04 Apr 2020 10:06:05 +0100 From: "Leo White" To: caml-list@inria.fr Content-Type: text/plain Subject: [Caml-list] ML Family Workshop 2020: Call for presentations Reply-To: "Leo White" X-Loop: caml-list@inria.fr X-Sequence: 18078 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: We are happy to invite submissions to the ML Family Workshop 2020, to be held during the ICFP conference week on Thursday, August 27th. 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. Currently, the workshop is still scheduled to go ahead as planned in Jersey City, however it is likely that the ML workshop will end up being a virtual workshop this year. Either way provisions will be made to allow speakers to present their work remotely. See our detailed CFP online on the ICFP website: https://icfp20.sigplan.org/home/mlfamilyworkshop-2020 Important dates --------------- - Friday 15th May (any time zone): Abstract submission deadline - Friday 26th June: Author notification - Thursday 27th August: ML Family Workshop Program committee ----------------- - Youyou Cong (Tokyo Institute of Technology) - Gowtham Kaki (Purdue University) - Neel Krishnaswami (University of Cambridge) - Daan Leijen (Microsoft Research) - Koko Muroya (Kyoto University) - Atsushi Ohori (Tohoku University) - Jonathan Protzenko (Microsoft Research) - Gabriel Radanne (INRIA) - Claudio Russo (Dfinity) - Leo White (Jane Street) (Chair) - Jeremy Yallop (University of Cambridge) Submission details ------------------ See the online CFP for the details on the expected submission format. Submissions must be uploaded to the workshop submission website https://ml2020.hotcrp.com/ before the submission deadline.