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 0ECBE5D5 for ; Fri, 9 Apr 2021 19:45:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,210,1613430000"; d="scan'208";a="502491566" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2021 21:45:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 27254E002C; Fri, 9 Apr 2021 21:45:39 +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 8C979E002C for ; Fri, 9 Apr 2021 21:45:34 +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-qk1-f169.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A2I4r7xRTQDGL27Xk1ozq4oieEdpsorSYAWYlgqE?= =?us-ascii?q?Pu/d1aq2muq7aFwnh351FslbFUM3h5u5ejKKO6ua8AD1GuMbY+yBfOLV3FDY9w?= =?us-ascii?q?f0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV?= =?us-ascii?q?6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnIdvKbs9xhTKr3ZIZ?= =?us-ascii?q?u9b2X5mKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQLJbETorLXk76NXkuhf?= =?us-ascii?q?fQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi86JmQwLmh?= =?us-ascii?q?SsbKzI09nzch8pth6xZvR2hvQRyzY7Jbo+LN/RwcK3SctwGSmRORctRSy9MD5m?= =?us-ascii?q?gY4cTAecMP+BVpJT9qVsUqhu+ABGhCufoyj9OnHD2wa063P4nEQrbxgIgBdUOs?= =?us-ascii?q?GjVrdrrMqcSUue1x7TPwDXBaPNW3y3y6JTIch87p/GAR6pwcdDWyUkzFgLKkFO?= =?us-ascii?q?QqY/iPz6O2eQNtnKU7+tkVe61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P?= =?us-ascii?q?9u4RVZ7bNO5H5Vety+UOpV2TM4/X2xlpiY0x78HtJC7YSQHxpsqyR7QZfGHfIW?= =?us-ascii?q?F7RLtWfifLDp4h39oZK6yiwqu/UavzOD3S8e60FFPriVfk9nMsGgA1wfS6siIU?= =?us-ascii?q?vt9+l2u2TCV2wDU8OFELlg4larcK5493rEwjIITvV7fES/xnUX7irKdeEY8+uW?= =?us-ascii?q?w9ejrfrHrqoWfOoJ0kA3yLLoiltKlDeglMwUDW3CX9fq92bH/40H0RbtHguE5n?= =?us-ascii?q?6TcsJ3VOMobq668DgBOz4oj5QqzAjKm3dkcnXQKKVxIdA6ag4fyPlzBO+70APa?= =?us-ascii?q?8jlmplDpmx//LMaPnD57QNHbMiq3hcqx460NEyAo809Rf55VMB7EEOv3zW0vxu?= =?us-ascii?q?MXBDh86LgC42ujnBMh8244aQ26PDaiZMKTdsV+M+O0jOfWDZIgQuDrlKvgl4eD?= =?us-ascii?q?hjWMhlFMDYaWk2YEbZXO4E/h8PUmVf2Tgjs0cHWoLugcyVOnqh0eDUT5XaXayR?= =?us-ascii?q?aU85jQjBYKkCofDQJqigKCB3CihGJ1afHhGCkqLEXf0doSLRfEMaCGVIsJ6nTw?= =?us-ascii?q?EUKKuS44l1R20qAD6zL9nIvLO+iIErZLjyMR15+rLmB4u7zN0CsCd33iJT2F1h?= =?us-ascii?q?WMIWyQ73Lt/oEx40leMy7J0g/1eFdxJ5vNGSB02NZDGz78yN9enUQvEepKNSU2?= =?us-ascii?q?6atSgGzA4CNwrkPEUZEMoOdKkhwzD1iziO6USi66GAp8zuvbe2H74O8Z0zTDez?= =?us-ascii?q?q49nVQgQcxnOmivh6o5/A/WUd2a236FnrqnIPxPlBXG832OmDLmlHEdaxZ5VOD?= =?us-ascii?q?+ZV5aY0LXqdrj4UaqZ7CrALUjdABGzJzbQoN6L+bxhFADf8/NfczEagqZlGK5B?= =?us-ascii?q?BLOzbSJPtKCU1VY5z3UDQ0/qy5W/XuCMmAWAy6gpyfHD2UrGwuxMgXj9u5xrH7?= =?us-ascii?q?9RUgxnVniUg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ax1juHaNkCTRmLsBcT6T155DYdL4zR+YMi2QD?= =?us-ascii?q?/UZ3VBBTb4i8n8ehgPwU2XbP+UwscVsnns2NP7TFfGjV8oR77ZJUEbCpWgTnv2?= =?us-ascii?q?XAFvAY0aLJxTr8FyristNMzKsISdkHNPTcL3hfyfz77g6xDso6zLC8mpyAqO/C?= =?us-ascii?q?wx5WPGZXQo566QMRMHf5LmRTZC1rQaU0D4Cd4M0vnUvYRV0yYt6gDncIG8jvzu?= =?us-ascii?q?e78K7OWhINCx455ATmt1rBg97HOiOVwwsEVHd3yaoimFKlryXC+q6hv/unoyWs?= =?us-ascii?q?tVP70pI+oqqF9vJ+HsCWzuAaJjLw4zzYArhJavmtuHQQrPu04Fgn1OPQqwotVv?= =?us-ascii?q?4e11rhOk+ypxXp103M8hYLr0Xjx1iRnGf5raXCKQ4SOo5ug4RWdxec0U48pZVH?= =?us-ascii?q?1r5R1W7xjfVqJCKFpyj269jWWxwCrCSJnUY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CcBgBUrnBgf6neVdFagQmBVIFRgU9Xa?= =?us-ascii?q?oQEPpErCCWECIc1kSsLAQMBCwEBKgoEAQGGSQIdBwEENBMCEQEBBQEBAQIBAwM?= =?us-ascii?q?EARMBAQ0LCwgnHIVQDUMBEAGBYyKDfQYLBg8BBQgBGw8PAxIDDQ8CJgIlEQEFA?= =?us-ascii?q?S8IAQEQDoJPAYJUAQMvAQ6Pfox4gh2BBD2LL4EVBQEXgQGCBQaBNAEWD3OCGQo?= =?us-ascii?q?ZKA1jA4E4AgEGCQEIfSoBhWSIDxCBVUKBEycMgy2BQIEgBIE5coJKgmAEhAEpZ?= =?us-ascii?q?zEPgSSNR4J7jWCbfSwHgw6BIAYLhk6BZJMNBQcEH4lpii6QWqB/klAIAhOEUgI?= =?us-ascii?q?KBwYQI4FIgXxNI4EBgjhQGQ5WkTmFFIVlITI4AgYBCQEBAwmCPYpUAQE?= X-IPAS-Result: =?us-ascii?q?A0CcBgBUrnBgf6neVdFagQmBVIFRgU9XaoQEPpErCCWECIc?= =?us-ascii?q?1kSsLAQMBCwEBKgoEAQGGSQIdBwEENBMCEQEBBQEBAQIBAwMEARMBAQ0LCwgnH?= =?us-ascii?q?IVQDUMBEAGBYyKDfQYLBg8BBQgBGw8PAxIDDQ8CJgIlEQEFAS8IAQEQDoJPAYJ?= =?us-ascii?q?UAQMvAQ6Pfox4gh2BBD2LL4EVBQEXgQGCBQaBNAEWD3OCGQoZKA1jA4E4AgEGC?= =?us-ascii?q?QEIfSoBhWSIDxCBVUKBEycMgy2BQIEgBIE5coJKgmAEhAEpZzEPgSSNR4J7jWC?= =?us-ascii?q?bfSwHgw6BIAYLhk6BZJMNBQcEH4lpii6QWqB/klAIAhOEUgIKBwYQI4FIgXxNI?= =?us-ascii?q?4EBgjhQGQ5WkTmFFIVlITI4AgYBCQEBAwmCPYpUAQE?= X-IronPort-AV: E=Sophos;i="5.82,210,1613430000"; d="scan'208";a="378248646" X-MGA-submission: =?us-ascii?q?MDEc6S269rddJg/hyi0lDsNOzCTmd2/OfwYVSM?= =?us-ascii?q?OLBbu6rBka6EVDtR+Eizlxkf1BaVuQUpaojRC1N7vPyETVvuHM5nlELT?= =?us-ascii?q?u2aNQJo0Dwpxa286fWleo1oAC2JfMEULuZjNM7XIkaivnN5f8oGeoJJP?= =?us-ascii?q?6Lv1la+4LiP6YTAR/Q0gjUOQ=3D=3D?= Received: from mail-qk1-f169.google.com ([209.85.222.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Apr 2021 21:44:49 +0200 Received: by mail-qk1-f169.google.com with SMTP id x11so6997348qkp.11 for ; Fri, 09 Apr 2021 12:44:49 -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=wLczslL3MpevOzNjMLCrrAmfHTXPvgYsDkouWYbQ9qc=; b=rwrcQrc75yB71H/zgzd0EUbb1qJZ1mcIioslAPeN1qg05cfXsZ29/p2tCp8efAfdHx pZP6Bu0HODuRuApd9RgGCDXRqdua0XCSHp9BIVllyK6/nk0RVxE91Eux/6fJS6Ct/Z1z 9GupZ8bKykSF2HO89GjWwcTZdsDvGAQQ62cE8WaeiAtp+UiH0MFlIERLQkx8809kwq7d /zHqSgNYiQrPNhZmFl1JOBIrFK+W72CDj2CYJ9v1jD2kA5ghqX/Nbf7PKCJ+qfFlYNw9 zsO1sWOuoFbo//YvwdozYDDRJprnzkHUk1ZRSJ9THuslWHhADUFLjlZoF2BSLsczHFIg +3tA== 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=wLczslL3MpevOzNjMLCrrAmfHTXPvgYsDkouWYbQ9qc=; b=owqdCeCdwG9KB9X7ngczhsWYWarQsZT18Bo6NvS7quPu/Wb/m4HGrQtuy7iG3mJuo9 iBy7VoZujyRGq4GXgjo05z6B/YabNPfdp3/R1VKA39s/dpVD7iS37ps7BW3r6dghb6uX f5fjY/lacd64BFthySGwNEf9fIrKaJgGSroBpsCYaweglTdK3FhK14p8Zo/oARxlb3aJ 3y9a5y04mMBAZzQchU3vF9aK5cShmzgfgAubkGJhm1TFM4ygSD/0P21nM6W+mcTD4Eia wwUwKRQJnyAWGvt5fYowcgE36CeiwNMWg3/9/JTFDVeV5iHwC58NeVhXE0uMmokkG4B9 UFVg== X-Gm-Message-State: AOAM530U+mLSC1wc2du3b1G0DZq9QtAYH22Lu/w1AzRXi3kH1n3S9BKb KaMYZ/vl+bYCBS8dFXUIng+3n9tdLDM= X-Google-Smtp-Source: ABdhPJwwOgNV34EQq6MV6DZMfBJEAp/IYjVtBwg46OvEqEkmUpqha2PXa5shUjeysCe25AuX1bPiHg== X-Received: by 2002:a37:a211:: with SMTP id l17mr15811816qke.195.1617997487331; Fri, 09 Apr 2021 12:44:47 -0700 (PDT) Received: from absinthe.attlocal.net ([2602:304:5df5:b1f0:595:301b:b268:954e]) by smtp.gmail.com with ESMTPSA id z124sm2563102qke.36.2021.04.09.12.44.46 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 09 Apr 2021 12:44:46 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: Date: Fri, 9 Apr 2021 12:44:44 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.9.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] ML Family Workshop 2021: first call for short abstracts and presentations Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18459 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 will be held virtually along with ICFP 2021. 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)