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 1C5375D4 for ; Tue, 12 May 2020 17:47:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,384,1583190000"; d="scan'208";a="449375621" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2020 19:47:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C440E7F4D5; Tue, 12 May 2020 19:47:11 +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 EA1077F467 for ; Tue, 12 May 2020 19:47:07 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=Pass smtp.helo=postmaster@out2-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3ACFB0rxT+Y+Dw89pWMHcmhdb7/tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZByN2/xhgRfzUJnB7Loc0qyK6v2mCDZLuM/b+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi2oAnLssQan4RuJrssxhfXv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqRtxzIHbY4+bOvpwcL3Ac9wGXmdBQtpdWjZdDo6m?= =?us-ascii?q?dYYDE+wMNvtYoYnnoFsOqAOzCQeqCuzxzT9Dm3/53a070+Q9Dw7K0hErEtUKsH?= =?us-ascii?q?vKq9X4L6MSUfi7zaXWzTjPdfVW1inh6IXRdB0qvP6DU65qf8XL1UkvCx3Kjk+W?= =?us-ascii?q?qYH9Ij6Y1+sAvnWb4udkW++ij3MrpQF/rDWu28ohi4jEi4Ybx13a+it0wIk7KM?= =?us-ascii?q?O2RUJnYNOqH59dui+EOoV5QM4vTGdlszs0xL0BvJ60ZikKyJI/yh7EavyHfJCI?= =?us-ascii?q?4hb5W+aXOzt4g2hleL2nixay9kig1vHzVtOs0FpQsiVFldzMu3YQ3BLQ8siKUv?= =?us-ascii?q?pw80a71TqSygzf9/tILE8umabFKpMsxKM7m4cJvkveAiH5hl32jLKKdksq/eio?= =?us-ascii?q?7v7oYrTgppKEN490jR3+Pbg0msynG+g3Lg8OX22d9O+hyrDj+VD5QK5WjvIoiK?= =?us-ascii?q?nXrZHaJMUFqaOhHwNY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI1bOIO3kDfuh?= =?us-ascii?q?mlisizJrx+zePrH7B5XCMGPDkKz7crZy6k5czgUzws5Z55JbC7EBJuz8VlXtu9?= =?us-ascii?q?zfCx81Kw20w+D5B9Vhzo4TWGOCDrWEPK/PrFOE/O0iL/OSaIIUoDr9LuIq5//q?= =?us-ascii?q?jX83g18deqyp0IMTaH+mGfRrOEGZYWLig9sfEWoGpAw+Q/L2iFGaSz5ce26yX7?= =?us-ascii?q?4g5jE8EI+pEZ3MRoWpgLCY2Ce7H4ZWZnxdB1CXEXbocp2EVO0WZCKTJM9hiD0E?= =?us-ascii?q?WqK7R48vzxH9/DP9nrFuK+6R/iwDqbri0sJ07qvdj0Ic7ztxWo653mbFcGF1gm?= =?us-ascii?q?5CD2sy0adXpVRikArF16Vk1a8LXedP7u9EB19pfaXXyPZ3XoirB1DxO+yRQVPj?= =?us-ascii?q?ee2IRDE8StVqmo0JflonXs6nkgiF2iexGLYalrqECZo786TRmXP2IpQkkiqU5O?= =?us-ascii?q?wal1AjB/B3Gyi+nKcmrlrXH5GTzgOfmrr4Lf1Njh6Iz3+KyC+1hG8dVQdxVavf?= =?us-ascii?q?WnVGPxnStcujuwXEQqP8Ubk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvFgDR37pehxoEb0JmHgESCwEMggmDF?= =?us-ascii?q?1UBMSyNJYV8gWSULYVmgXoBCgEDAQwjDAQBAYZLHQUCBDYEDQIQAQEFAQEBAgE?= =?us-ascii?q?CAwQBEwEBAQgNCQgphV0Mgjsig1sBASYSgQyDagGCfA+xa4MBAQEFgTIBAwWBA?= =?us-ascii?q?oRBXQMGgTiHXYRnGoIAgREnD4MYgUGDWoUnjjgSB4osiQyQZggCgkqBAwGHF5A?= =?us-ascii?q?HI506mXePQIQ4gWsBgXV7CmmCO1AYDVaQBINYhFk7hUNAAQIwNwIGCAEBAwmPA?= =?us-ascii?q?wEB?= X-IPAS-Result: =?us-ascii?q?A0AvFgDR37pehxoEb0JmHgESCwEMggmDF1UBMSyNJYV8gWS?= =?us-ascii?q?ULYVmgXoBCgEDAQwjDAQBAYZLHQUCBDYEDQIQAQEFAQEBAgECAwQBEwEBAQgNC?= =?us-ascii?q?QgphV0Mgjsig1sBASYSgQyDagGCfA+xa4MBAQEFgTIBAwWBAoRBXQMGgTiHXYR?= =?us-ascii?q?nGoIAgREnD4MYgUGDWoUnjjgSB4osiQyQZggCgkqBAwGHF5AHI506mXePQIQ4g?= =?us-ascii?q?WsBgXV7CmmCO1AYDVaQBINYhFk7hUNAAQIwNwIGCAEBAwmPAwEB?= X-IronPort-AV: E=Sophos;i="5.73,384,1583190000"; d="scan'208";a="348444686" X-MGA-submission: =?us-ascii?q?MDEb6BSpqY8Ru5j2iKZOd21H5RmC2mAU+HSu8b?= =?us-ascii?q?eizGLb6eYft+nMlvI2iDVQbEZMApmtebB1hlF4nXQ9cy0Ce3zZe0IcYk?= =?us-ascii?q?VrFTwwimJiNkCWnR0D0FgSW1sfDlde0mfMUdIfj1EcZuwIPkZWsfxNIk?= =?us-ascii?q?+GPLXhXCqrVFR+aqFJRgimHg=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 May 2020 19:47:06 +0200 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 2C3855C0124 for ; Tue, 12 May 2020 13:47:05 -0400 (EDT) Received: from imap1 ([10.202.2.51]) by compute2.internal (MEProxy); Tue, 12 May 2020 13:47:05 -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=KRlzF791eFdaTBvS3sXUnFkltdNpvZ22qhPM3/MBuYA=; b=XFBx2 7FJsRLxU8QVTwcsgiIxfyEcuUzyP5jG96CQ6/MMz/2JRB/nYIoFaFYvCQlJZqRKQ Tj0DMgGMUndDmhJXx3wgYhvvif9aVFQt4EiDbQnC4P/R+SWHcWEONqa23oCzrY0Z hDm1xZG3/Im+TCe9+qwPu5noWUbwic77G9FJKU= 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=KRlzF791eFdaTBvS3sXUnFkltdNpv Z22qhPM3/MBuYA=; b=dIonIqctDfwBEk1PO6A3oHtXm954b/WQQj64b1W+vwhsh yHzxT9/e8IUodJwbbpo1JGjiv6ALwlIHwbcdwtzgRyuWum+cenziyvN2YUlHquxc RTilIDNvuorYHZAG9BoPiAZoNS4REloqxWUfvqzBfZJvBQe5QnxvRFXAmVv5u486 iqKwvVjiQSeyw7gYTNMpERxRsnnO53Nb3a2/ijti0WW93nBcYs55wS/3tlosf1mt qKOUjyWjkkh4RrrNSi4wbNp9U2lKLClD5/Nc6exDmw51Ae0qLj1P7hEKetGuoBcb l6B1NT00OCGjUfQr8KF+FaRjdC9bWJ4HpLCm/iyxg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrledvgdduudefucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfffhffvufgtsehttdertd erredtnecuhfhrohhmpedfnfgvohcuhghhihhtvgdfuceolhgvoheslhhpfidvhedrnhgv theqnecuggftrfgrthhtvghrnhepueeigeeuheelfeeludfhffeiueeiieelfeevgfehgf evfedtiefgleefvefgjeegnecuffhomhgrihhnpehsihhgphhlrghnrdhorhhgpdhhohht tghrphdrtghomhenuceurggutfgvphhuthffohhmrghinhephhhothgtrhhprdgtohhmne cuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomheplhgvohes lhhpfidvhedrnhgvth X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id C425DC200A4; Tue, 12 May 2020 13:47:04 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.3.0-dev0-413-g750b809-fmstable-20200507v1 Mime-Version: 1.0 Message-Id: Date: Tue, 12 May 2020 18:46:44 +0100 From: "Leo White" To: caml-list@inria.fr Content-Type: text/plain Subject: [Caml-list] ML Family Workshop 2020: Deadline extension Reply-To: "Leo White" X-Loop: caml-list@inria.fr X-Sequence: 18140 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: Due to the COVID-19 pandemic, ML 2020 will take place online. The submission deadlines have been extended to the end of the month to accommodate for the change in situation. ============================================================= 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. Due to the COVID-19 pandemic, the workshop will take place online. See our detailed CFP online on the ICFP website: https://icfp20.sigplan.org/home/mlfamilyworkshop-2020 Important dates --------------- - Friday 29th May (any time zone): Abstract submission deadline - Friday 17th July: Author notification - Thursday 27th August: ML Family Workshop Program committee ----------------- - Youyou Cong (Tokyo Institute of Technology) - Ivan Gotovchits (Carnegie Mellon University) - 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.