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 21A125D5 for ; Wed, 11 Aug 2021 21:14:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,313,1620684000"; d="scan'208";a="523536888" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Aug 2021 23:14:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 529A1E0044; Wed, 11 Aug 2021 23:14:33 +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 4636EE0040 for ; Wed, 11 Aug 2021 23:14:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-pj1-f54.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AFjeEPBDlyKcky85FyIfKUyQU70MY04WdBeb1wqQ?= =?us-ascii?q?uh78GSKm/5ZOqZBWZua81yg+QFtyGt7ptsKn/i+jYQ2sO4JKM4jgpUadncFs7s?= =?us-ascii?q?/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQp?= =?us-ascii?q?yO+/5BpPeg9642uys55HfeQZFiCeybb9vLBi7ohjau9ULj4dlNqs/0AbCrGFSe?= =?us-ascii?q?+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQP?= =?us-ascii?q?CTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLni?= =?us-ascii?q?D0fOjA57m/Zl89+gqxVrx2uuxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS?= =?us-ascii?q?8b44XAuQFOuZYqZPyp0cOrRSkAwmnGfnhyiVPhn/q3Kw1zeIhEQLB3Ac9GN8Os?= =?us-ascii?q?nPUrNPvO6cOUeC61q/IwS/bb/NM3jf99InJfQ4nofGPWrJ9asXRyUw1GAPEilW?= =?us-ascii?q?cs5DqPzSQ1ukUtWWQ8uVvW/61hWE9twFxviagxt0qioTRm48YyE7I+yV2zYs7I?= =?us-ascii?q?dC2R1N3bNy4HJZUtCyXNYt4T8wtTm9mtys3xL0LtYO5cSUWyZkqyB7SZuKFfoa?= =?us-ascii?q?G7B/uSOCcKip2inJifbKwnRey8U64x+3nV8m0305Kri5fndnKrHwN0AbT6seBR?= =?us-ascii?q?/Bg/UmhwS6C2x7P5uxAO0w5lqrWJ4Q/zrItl5cfq0TOEyDulEj3jqKabFgo9+q?= =?us-ascii?q?05+j9f7nqup+RO5Vphg3gL6gjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHlvg2n?= =?us-ascii?q?bPYsJDePMgbvqy5DxJM3oYt6xuyAC2q0NsfnXkAI1JFfAyIg5L1NFHJJfD0Ffa?= =?us-ascii?q?/g1Kynzd33/3KIKHtD5HXInXAkLrtZ6hx51NdxQYpzd1S6IpYCrQbL/LyXk/xu?= =?us-ascii?q?sbYDhg8MwGswebnD9N92ZkCWWKPGKCZNrnesUeS5uIoP+mNZZEauDD+K/gi/PP?= =?us-ascii?q?ugno5lkUcfamtx5cYdHe4HvF+L0WDfXXsmssBEXsNvgcmUOPlkliCUTpKa3a2X?= =?us-ascii?q?qI8/S07BZm9DYbDQ4CtmKaO0D26Hp1QfGBGC0qDHW3md4WeCL8wb3eZK8pl1zg?= =?us-ascii?q?FTqSJSok71BjouhWp5aBgK7/2/SsRqZLq0pBN/erPhxw09js8W8aa1WiRT2hy2?= =?us-ascii?q?HsSQCMk0aZ8pmRyz16C1e5zhPkORo8b3O9ATgpvbc2U9Od9Ed2nAmopm/+GTV+?= =?us-ascii?q?nRpOtBjRjFrrZLPcBZk98H5OpiRWRhkJC4pcQnr2PQYQ2q+fSgiS3KMF6xHLLk?= =?us-ascii?q?qImigt+KvY=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AsTnPpKivXuWF2KkRBgqJSHZ0FnBQXr0ji2hC?= =?us-ascii?q?6mlwRA09TyX+raGTdZUguyMc5wxhO03I9erwWpVoIkmyyXcK2+ks1N6ZNWGM0l?= =?us-ascii?q?dAR7sP0WKN+VDdJxE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2AgAQPRRhfzbYVdFagQmEe1drhAk+l?= =?us-ascii?q?giHVYVtjAULAQMBCwEBOQgEAQGHQQIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwE?= =?us-ascii?q?BDQsQCDgmhWgNgjUig34GCwYPAQUIARsMEgMSAw0PAggeAiURAQUBLwgBAR6CT?= =?us-ascii?q?wGCVAEDLw+PAI8XgQQ9izKBFQUXgQGCCAaCWoIOChkoDWUDgVcCBwkBCH4qhW2?= =?us-ascii?q?IKhCBVUSBFSeDPIJXCwEDgTlygkqCZASFGwEpZ0GPNoMWjmScbCwHgysFgSwGC?= =?us-ascii?q?4cOgWmTfwYPBSaDZYFHhQaFE4YAFJEXok6GaIINil0IhQUCCgcGECMSgUKBTB4?= =?us-ascii?q?DCQdNI4EBgjgJRxkOVZE8hRSFaiEyOAIGAQoBAQMJiHgBAQ?= X-IPAS-Result: =?us-ascii?q?A0A2AgAQPRRhfzbYVdFagQmEe1drhAk+lgiHVYVtjAULAQM?= =?us-ascii?q?BCwEBOQgEAQGHQQIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBDQsQCDgmhWgNg?= =?us-ascii?q?jUig34GCwYPAQUIARsMEgMSAw0PAggeAiURAQUBLwgBAR6CTwGCVAEDLw+PAI8?= =?us-ascii?q?XgQQ9izKBFQUXgQGCCAaCWoIOChkoDWUDgVcCBwkBCH4qhW2IKhCBVUSBFSeDP?= =?us-ascii?q?IJXCwEDgTlygkqCZASFGwEpZ0GPNoMWjmScbCwHgysFgSwGC4cOgWmTfwYPBSa?= =?us-ascii?q?DZYFHhQaFE4YAFJEXok6GaIINil0IhQUCCgcGECMSgUKBTB4DCQdNI4EBgjgJR?= =?us-ascii?q?xkOVZE8hRSFaiEyOAIGAQoBAQMJiHgBAQ?= X-IronPort-AV: E=Sophos;i="5.84,313,1620684000"; d="scan'208";a="523536862" X-MGA-submission: =?us-ascii?q?MDGsvoO2eCTo/VNAP7G1XW9Ycy7Kn59+hC/deW?= =?us-ascii?q?6wME/jLVf1pTYfb6NbGC2w7a4YYRWE30yVIrLAEz1s7YGR7hVey+TiR2?= =?us-ascii?q?EpMFiSrWbyBbRhNC5zg4uLgpw+EhD6k93zIQ7urbxuIb2puUtuVxR0rn?= =?us-ascii?q?Laza22EXnsMNiZQo1nxQ+QcQ=3D=3D?= Received: from mail-pj1-f54.google.com ([209.85.216.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Aug 2021 23:14:26 +0200 Received: by mail-pj1-f54.google.com with SMTP id a8so5624961pjk.4 for ; Wed, 11 Aug 2021 14:14:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=rltkg8RC762D1JaBS8r6Pd+KZCseD91LEjjagpb+4BE=; b=uaaBsDJZNGFHg96b39wNM7Bpallun+3/C9CkQGoPciKysBiGAVQA7zJeJaIcZc2Qe1 FySFidJIofUBwMtMBMojYgJC66ZneIP7SJuAHB5GTqNxGR+h1SleCNxSnc7CbDcjOPw9 NpgPrYhFWYk9GAaa0+wwjwIOWseaTz0XtYv0EAkWeGE3fFUVWQSSxO2m4ClMzDc6vZWo bLnKr3DI0heR3roC8YhwJJwPw8e8FtgVCSqbMEcY7rcxEUvNU2nKZc9pYo7u57ZEvgjs Jgtdrv/rMVXkckKRVINTeCTwliZB+nEnkpBHp/fJ1c9vn+3pM1uXdZpSpgv7xH8o2iWx Y9Qg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=rltkg8RC762D1JaBS8r6Pd+KZCseD91LEjjagpb+4BE=; b=rRxXQ/3l7fl1QV2B7lP1WewgoLWTZrYZvK8imdGHbpywslIb/vYG4S7+wto9jtGrC2 3szU9aF9BHl4ld4/p+IGq8gzAyxrjSzDszoTnAx/ytD9adhesb/kLQEuGwWOnBBvTQ3a AQ2mLndoAL5ycOWKIVREQOUuyWAOKJ0IeqvO5o//vTKXFISZpNv7p8rQcLN+n++IAe+p +TcJzd0wwLuGjNIwMOuLGq1/OYH/PU62H7LWvEQaC9i0mJEnspMnRRHmj5PeljV2fZlN z/fD6yROxx5/oZA2bQ9o2PLIu7PeWYmcTsatNO35J8NkkfWIrHQ6/Bb1cbkLHze56yvV B0TQ== X-Gm-Message-State: AOAM531EgDZtT72U+oZPf4uqBxX/MudKhdtnamfXdu079PO2BeO7pOBC u0u+KnPBs6zSqYaiOc+m5lhEjS919XzLIw== X-Google-Smtp-Source: ABdhPJzlgp6HDkVzN3yi1qCTTscvMc2YmHHNK/i5SmKy6kkr+rgW4CNePzdSoh3qYHhY7SHlzvDnhw== X-Received: by 2002:a17:902:e8c2:b029:123:25ba:e443 with SMTP id v2-20020a170902e8c2b029012325bae443mr611948plg.29.1628716464505; Wed, 11 Aug 2021 14:14:24 -0700 (PDT) Received: from [192.168.1.106] (c-67-170-105-121.hsd1.wa.comcast.net. [67.170.105.121]) by smtp.gmail.com with ESMTPSA id q5sm480186pfu.185.2021.08.11.14.14.23 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 11 Aug 2021 14:14:23 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: <65ed69ff-d2d3-d0c2-65a1-e9aa03a7d9b4@gmail.com> Date: Wed, 11 Aug 2021 14:14:02 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] Call for participation: ML Family Workshop 2021 Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18550 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 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. We invite you to subscribe to, and attend the workshop, in addition to the main ICFP conference. We are thrilled to announce that Don Syme will give this year's keynote: "Narratives and Lessons from The Early History of F#". Please join us! The program features 14 exciting submissions, including 4 short talks. The workshop will be held online in the 6pm-3am time band (Seoul Time). Talks will be pre-recorded and uploaded online for those who cannot attend. * Program: https://icfp21.sigplan.org/home/mlfamilyworkshop-2021#program * Keynote: https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/15/Keynote-Narratives-and-Lessons-from-The-Early-History-of-F- * ICFP home: http://icfp21.sigplan.org/home ## 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)