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 A0F845D5 for ; Fri, 21 May 2021 03:19:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,313,1613430000"; d="scan'208";a="509266948" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 May 2021 05:19:46 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B5E29E0039; Fri, 21 May 2021 05:19:46 +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 A824BE002C for ; Fri, 21 May 2021 05:19:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonathan.protzenko@gmail.com; spf=Pass smtp.mailfrom=jonathan.protzenko@gmail.com; spf=None smtp.helo=postmaster@mail-pl1-f175.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AoKLk1BEbQN4YGsdYKNIwTJ1Gf7xMhN3EVzX9CrI?= =?us-ascii?q?Zgr5DOp6u447ldBSGo6k03RmTAt+QtqsMotGVmpioYXYH75eFvSJKW713fDhBt?= =?us-ascii?q?/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp?= =?us-ascii?q?1Ifn+FpLPg8it2O2+5pnebx9WiDe/f79+IxW7oRjMvcQKnIVuLbo8xAHUqXVSY?= =?us-ascii?q?eRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhn?= =?us-ascii?q?ZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31h?= =?us-ascii?q?ycdLzM38HzZhNJzgqxVrh2uqABwzYHPbYGJN/dzZL/Rcc8USGdDWMtaSixPApm?= =?us-ascii?q?7b4sKF+cPOeFYr4/nqFsSrRuxHw+sD/71xD9SgX/2waw73PonEQHF2wwrAtUDs?= =?us-ascii?q?HbTrNXzLqgSTeC1w7POzTnZd/NWwzD96JTJcx8/p/GMXrVwfNHeyUkqDQzFj1G?= =?us-ascii?q?QpZb5MDOS0+QAqm6W5PdvWuyzkWAosR1xoiSxycc2jInEnoIYx03L+yt5zog4O?= =?us-ascii?q?922RVNnbNO6EJVdtSCXOYtrTs4sTGxmuCk0x70JtJO0fCYH1poqyh7cZvGbb4W?= =?us-ascii?q?E/g7vWumXLDxlinxlf7e/iAyz8Uim0uD8Tci00FlSripBiNbMsGoB1xvJ6siIU?= =?us-ascii?q?vd9/kCh2SqT2ADJ8uFIO1w7la3eK5Mn37U+lYITvFzdEiPqnEj6lqybe0U+9uS?= =?us-ascii?q?29ujqba/qqoKeOoJ0kg3yLKsjlta/DOk5KAQCQWaW9Oem2LH+8kD0Q7NHheAsn?= =?us-ascii?q?KbDqpDVP8Ebq7a5AwBL1oYj7A6yDzK839QZmXkLNUpFeBaag4TwNVHCPfL1APe?= =?us-ascii?q?lj1SjlzdrwP/GPrn/DZnXMnfDl7Lhca58605a1gUz0chS64xIBrwFOv7+WU/8u?= =?us-ascii?q?MbGAhMkPAG42fvrBdd9248GXGKAGK6ZMKfcsV+S4eIvJvGBZI0SuDb7Mfcl+/7?= =?us-ascii?q?ugmU/mVMHZampx5wXaGy5H/t4JUWZYn3sj8wOEWcPpAU+TejqhEeeXj5UYna+R?= =?us-ascii?q?7g86S0jCIK6EYfDQZigj6Cb0ye+Gp1af2RGClGXEXf0bIiEQPcNaCeKIsB7iDA?= =?us-ascii?q?EVL6hS5Ug1R60rgP6xaBnfaLo/XgTvJfnkdx0/PH7lBco9DUyAd7O/XuKSjRWm?= =?us-ascii?q?WUBWz8/2uhHu0th2FqF0q8w1/5fE9VP5/pPFB8gMoLOwup5DPj9XwvAepGCT1P?= =?us-ascii?q?wEYbuOi04Ut9km4xGWE16Adj31ngrPgKvCr4R0qSPXdk6q/2BmXf2IMl5xjDN0?= =?us-ascii?q?6xz1zHOreNAMGSnguh08A2BXuYhdm2Wkq+rceIX2yufrA++?= IronPort-Data: =?us-ascii?q?A9a23=3A7h9Z/qySNg4JfylX6lB6t+dBxyrEfRIJ4+MujC/?= =?us-ascii?q?XYbTApDkk3jQBzDAZWGGPM/+NN2Okedtzbovn8UgBv8fUm4AwOVdlrnsFo1Bi+?= =?us-ascii?q?ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYuKJQUVUj/nSH+KhUb+?= =?us-ascii?q?cZEideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9al?= =?us-ascii?q?K+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+?= =?us-ascii?q?kurPyc0lPWrqLeAbX1ScQVK+ljRxP4Cc1187XNtJGMRYR22jPxYktjowS6PRcS?= =?us-ascii?q?i9xVkHIsOYaVRBEEyh4e7Vc/6PVLH68tuScykTHdz3nxPAG4EQeZt1CorsqWjg?= =?us-ascii?q?XnRAfAGlVMkrra/iN6LmyT+0pgsU4MOHwLYYHszdhyyvYBLAoW/j+rw/i8YcNh?= =?us-ascii?q?3FskpkbRbCGc5BMMXw1Mk+Zd0YaYhFKHM1rtfmMrXzbXz18iVuzmbAR3Wn22FU?= =?us-ascii?q?pheCpas69lseiQMxUmgOAojuD8T2mX1cVM9uQzTfD+XWp7tIjVBjTAOo6fIBUP?= =?us-ascii?q?NYz6LFS+oASNPHSfV6yoP38kkrnHtwGdBFS9S0poqw/skesS7ERmjXQTGGs5nY?= =?us-ascii?q?htxh4SoXWKz1hDoLb5g+YAi4PSTsphBkOqpotXTJzvrOWt4qBONGs2YF5jVqS8?= =?us-ascii?q?76VqXW5Pi19waoqDcMbZVNt3uQPa73fQv4CohiP3UJ1YhDI9enM/g23?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AzQrfZ6i5UYkgYJU4p4+Mrio6+nBQXu0ji2hC?= =?us-ascii?q?6mlwRA09TyXqrbHVoB19726OtN9xYgBZpTnkAsO9qBznhPlICOUqTNSftWrdyR?= =?us-ascii?q?KVxeNZnO/fKlTbckWUltK1vZ0AT0EUMqyTMbEVt7ee3OD1KadH/DBFysyVbCXl?= =?us-ascii?q?okuFgTsEV0io1WlENjo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUCQAaJqdghq/WVdFagQmBWYE8AoFiV?= =?us-ascii?q?2qEDD6RTS2EEYdAkVELAQMBCwEBNwoEAQGGTwIdBwEENBMCBBUBAQUBAQECAQM?= =?us-ascii?q?DBAETAQEBDAsLCCkahVANQwEQAQQBgV4ig30GCwYPAQUIARsPDwMSAw0PAiYCJ?= =?us-ascii?q?REBBQEvCAEBEA6CTwGCVAEDLw+NWYx5gh6BBD2LMoEVBQEXgQGCCAaBPQEWD3O?= =?us-ascii?q?CIAoZKA1jA4E4AgEGCQEIfigCAQGFaIggEIFVRIEVJ4M5gUGBIASBOXKCSoJjB?= =?us-ascii?q?IQBKWcxD4EkjV+DBo4NnCgsB4MagSMGC4ZpgWeTPAUKBSSKC4pLFJBeoUeTCwg?= =?us-ascii?q?CE4RdAgoHBhAjgUiBfU0jgQGCOFAZDlaNYoNXhRSFaSEyOAIGAQkBAQMJgwuCP?= =?us-ascii?q?4QBAQE?= X-IPAS-Result: =?us-ascii?q?A0CUCQAaJqdghq/WVdFagQmBWYE8AoFiV2qEDD6RTS2EEYd?= =?us-ascii?q?AkVELAQMBCwEBNwoEAQGGTwIdBwEENBMCBBUBAQUBAQECAQMDBAETAQEBDAsLC?= =?us-ascii?q?CkahVANQwEQAQQBgV4ig30GCwYPAQUIARsPDwMSAw0PAiYCJREBBQEvCAEBEA6?= =?us-ascii?q?CTwGCVAEDLw+NWYx5gh6BBD2LMoEVBQEXgQGCCAaBPQEWD3OCIAoZKA1jA4E4A?= =?us-ascii?q?gEGCQEIfigCAQGFaIggEIFVRIEVJ4M5gUGBIASBOXKCSoJjBIQBKWcxD4EkjV+?= =?us-ascii?q?DBo4NnCgsB4MagSMGC4ZpgWeTPAUKBSSKC4pLFJBeoUeTCwgCE4RdAgoHBhAjg?= =?us-ascii?q?UiBfU0jgQGCOFAZDlaNYoNXhRSFaSEyOAIGAQkBAQMJgwuCP4QBAQE?= X-IronPort-AV: E=Sophos;i="5.82,313,1613430000"; d="scan'208";a="382055311" X-MGA-submission: =?us-ascii?q?MDFYteQmXK8jdmD+s9FFh2mDfYWZ8cy8IK4Dc7?= =?us-ascii?q?zNionvJTF0D6WT27yd2iQoP4zB9EOMcRggHW+CSb9Nukkbg55SzGxS1t?= =?us-ascii?q?Y9YxORVJyBGglRoMiKAb2Y5mP03dUqHbxkTynMhHnEuP5DpxuIVgITtP?= =?us-ascii?q?kCuIiXuqdyNs0JKO7kGzf2Dg=3D=3D?= Received: from mail-pl1-f175.google.com ([209.85.214.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 May 2021 05:19:38 +0200 Received: by mail-pl1-f175.google.com with SMTP id a7so1530777plh.3 for ; Thu, 20 May 2021 20:19:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=xgKVkof2S5OpqETc5PwE54nfTMEFl7ZFReshIzWfECU=; b=pHDHNghX4p3QNwgR5LQCOmSeNIyjChLLpwsMKe2EsD7jqKa7FfI2HYelX4GDjnBF84 oNdn/DgCedakQ+/ZhdScS2EUINSONYlMyY2hgK/6pBcZ7WJbl+hX0nc3kd6m/EoE+QEa 8OSZE37bjyTTPexPUKRZS3w7Mf/3WM0Xzc1GzaN3GQ+KKBQm6x3XwTQ4ZShcO9B2YdYj v6cZ2NXYU1Pv0GP82S7Ui1DsoULs1lElbLZqrJXZEgt93j6T8GeRweJ7wz2iamPRCVwY n8GDpGngTykqSwX3N57TpG9sCJRXBYazBMiGtVA1Q/Hzy0Q/N8BYAeWDlR6FxP+np1iH mr6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=xgKVkof2S5OpqETc5PwE54nfTMEFl7ZFReshIzWfECU=; b=Blm3Alry+3NVgNMZyiRMhByGsje6k0tZzhhU1W555DGOXs4haXh28LJ8tDpMYq6k0O 7sYxpxjgc9AjbwpbMbspJQatzoFMO9IP7ObvQOqfz9zeaHKyVR8oIMJKpejnDkDk7K8h W6Lgnj1FiLZpqyTGSvlUpYP/Qi8smcIGaf3ICC2qnfE2Enlc1NovZgMWf9/6VNSQ3ERR PP1akcGaoVrK/z65pXOsjr0CgFWZO+5rlyk84tWpfnnO8yC+8oUyIAtOJvn+xrpC+nag ewOjLeBdJ3b8xWlW0/rYq69CkzcNrHxO/0xrkFryUlnmXdsyJCfxPVa/d6y3cQWp7/PG YWWg== X-Gm-Message-State: AOAM531b2TCKrfIpn2S6gS1ZJvdurHZ/OoqoViAjhAsSbWa5688vc0p6 9dceGb1TlS+amHvGQ/bCbHPwkn7bpOQCTg== X-Google-Smtp-Source: ABdhPJwFWCQ8+b6Hvbt7gFZANGPrhAt35z2sti3xwB1JLNyBq10VFLfWVm6qDztDcHJq5fzVsMCp6A== X-Received: by 2002:a17:902:7403:b029:f3:519f:21e with SMTP id g3-20020a1709027403b02900f3519f021emr9710447pll.39.1621567175548; Thu, 20 May 2021 20:19:35 -0700 (PDT) Received: from [192.168.1.108] (c-24-56-238-148.customer.broadstripe.net. [24.56.238.148]) by smtp.gmail.com with ESMTPSA id l1sm3007369pjt.40.2021.05.20.20.19.34 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 20 May 2021 20:19:34 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: <3ac9b811-3d22-95aa-269b-5691d1dd8358@gmail.com> Date: Thu, 20 May 2021 20:19:33 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.9.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] ML Family Workshop 2021: final call for short abstracts and presentations Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18502 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: (tl;dr) The ML family workshop is back, and the deadline is in a week. 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! (long version) We are happy to announce that the ML Family Workshop is back for its 2021 edition, which we will be held online on Thursday August 26th, in conjunction with ICFP 2021. 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. ## Submission details Submissions must be at most three pages long; see the full call for papers for details. Submission site: https://ml21.hotcrp.com/ ## Important dates Thu, May 27th 2021 (AoE): submission deadline Thu, Jun 17th 2021 (AoE): author notification Thu, Aug 26th: workshop (time slots TBD) ## Program committee Danel Ahman (University of Ljubljana) Robert Atkey (University of Strathclyde) Frédéric Bour (Tarides) Ezgi Çiçek (Facebook London) Youyou Cong (Tokyo Institute of Technology) Richard A. Eisenberg (Tweag I/O) Martin Elsman (University of Copenhagen, Denmark) Ohad Kammar (University of Edinburgh) Naoki Kobayashi (University of Tokyo, Japan) Benoît Montagu (Inria) Jonathan Protzenko (Microsoft Research) (Chair) Kristina Sojakova (INRIA Paris) Don Syme (Microsoft) Matías Toro (University of Chile) Katsuhiro Ueno (Tohoku University)