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 2547C5D5 for ; Fri, 28 May 2021 19:06:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,230,1616454000"; d="scan'208";a="510545635" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 May 2021 21:06:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 708F6E0C59; Fri, 28 May 2021 21:06:32 +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 3082FE0B0B for ; Fri, 28 May 2021 21:06:29 +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-pg1-f181.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3ATlTuGRBYzLdCrmiaqTIdUyQUJEQY04WdBeb1wqQ?= =?us-ascii?q?uh78GSKm/5ZOqZBWZuaw8ygWZAs6LtLptsKn/i+jYQ2sO4JKM4jgpUadncFs7s?= =?us-ascii?q?/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQp?= =?us-ascii?q?yO+/5BpPeg9642uyv/5DfeRtEiTm/bL99Lxi7rxjau9ULj4dlNqs/0AbCrGFSe?= =?us-ascii?q?+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQP?= =?us-ascii?q?CTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLni?= =?us-ascii?q?D0fOjA57W/ZlM9+gqxVrx2uuxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS?= =?us-ascii?q?8b44XAuQFOuZYqZPyp0cOrRSkAwmnGfnhyiVPhn/q3Kw1zeIhEQLB3Ac9GN8Os?= =?us-ascii?q?nPUrNPvO6cOUeC61q/IwS/bb/NM3jf99InJfQ4nofGPWrJ9asXRyUw1GAPEilW?= =?us-ascii?q?cs5DqPzSQ1ukUtWWQ8uVvW/61hWE9twFxviagxt0qioTRho8Y11/K+yV3zosrJ?= =?us-ascii?q?dO1VVJ2bMCkHpZStiyUN5Z6T80tTm9otyg3yrILtJG7ciUUxpkqxx3SZuCbfoS?= =?us-ascii?q?U/h7tW+CcKip2inJifbKwnRey8U64x+3nV8m0305Kri5fndnKrHwN0AbT6sefR?= =?us-ascii?q?vt9+UehxSqA1xrL6u1ePU80kq/bJpg8ybAzjpoeqVrPEjPylUnsj6Kbdl8o9va?= =?us-ascii?q?15+nneLnqu5yRO5Jshg3gLqgihtGzDOE3PwUNW2WW+uGx2b7/8ULnQ7hHi+M6n?= =?us-ascii?q?6zEv5/BOcgXuqu0DBRJ3ok95RayCiqp3dQbkHYcKV9Iew6IgojnO1zIPfv2F+2?= =?us-ascii?q?wg062nzdu3/3GPqPuApHKLnXblbfuZ7d960pFxAorwtBT+otYCr8cLP/wR0P9r?= =?us-ascii?q?tPYDhg+Mwy7x+boFs9x2Z8ZWWKKGqOZMaXSvkGU5u83PeWAeIsYtCz+JvUl/fL?= =?us-ascii?q?ik2I1lF8HcaW03pYbdWi0HvF8LEWYZXrsjM0BEWAPvgcmTuzqj1uCXiRPZ3ayR?= =?us-ascii?q?a084Cs3CJq8DYfEWoCsgaKO3CG4Hp1RfW1GBVWMHm3pd4WAQfsDdCWSIsp5njw?= =?us-ascii?q?eSbehU5Mh1Q2ptALi17VoNO/U+ikBuZLn1dh1/PHTmAop9T10CsSdy3uCQ3t1n?= =?us-ascii?q?mMOXT823bpwrVZzyleZguBEhKlTHNlXovdISRsSNJjGzuU8BcqhdBjGe4KrT1C?= =?us-ascii?q?vXtWvB3kJVNUt0dIIYEE1T9eliBnf3yOsRacPkKCZCZo39YrT2nHwI4B2zHOQh?= =?us-ascii?q?/pptEUvXsYabT7uvaV47QWGX+YhfG2Wkq+rceIX2yufrQ9rKEKBuUhZVEh7VqC?= =?us-ascii?q?XBRj3h2PTpNX9o1vNFvqgUOR+dARGzsGGJ+1Bbdi71T17?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ar5JDJ6+ECZQPUDG/wHRuk+DvI+orL9Y04lQ7?= =?us-ascii?q?vn2ZOiYlCPBw8Pre58jztCWE8Ar5PUtLpTnuAtjmfZqxz+8X3WBzB8baYOCFgh?= =?us-ascii?q?rNEGgK1+KLqF3d8kXFl9K1vp0QEZSWZueAaGSSwfyKhjVQ0OxN/DBEys2VbCvl?= =?us-ascii?q?oEuFhDsFV51d?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAwAkPrFgf7XXVdFagQmBWYFRgU9Xa?= =?us-ascii?q?4QKPpFBLYQRh0eRYQsBAwELAQE3CAIEAQGGUAIdBwEENBMCBBUBAQUBAQECAQM?= =?us-ascii?q?DBAETAQENCwsIJxyFaA1DARABgWMig30GCwYPAQUIARseAxIDDQ8CJgIlEQEFA?= =?us-ascii?q?S8IAQEegk8BglQBAy8BDowgjHmCHoEEPYsygRUFAReBAYIIBoE9ARYPc4JCChk?= =?us-ascii?q?oDWMDgVYCAQYJAQh+KgGFaYglEIFVRIEVJ4M5gUGBIQSBOXKCSoJkBIQBKWcxD?= =?us-ascii?q?48MgweOEJwwLAeDHIEmBguGb4Fok0kFDQUlg16GMYRqhWeQeKFckw8IAhOEYQI?= =?us-ascii?q?KBwYQI4FIgX1NI4EBgjhQGQ5WkTmFFIVqITI4AgYBCQEBAwl8gnqHaQEB?= X-IPAS-Result: =?us-ascii?q?A0BwAwAkPrFgf7XXVdFagQmBWYFRgU9Xa4QKPpFBLYQRh0e?= =?us-ascii?q?RYQsBAwELAQE3CAIEAQGGUAIdBwEENBMCBBUBAQUBAQECAQMDBAETAQENCwsIJ?= =?us-ascii?q?xyFaA1DARABgWMig30GCwYPAQUIARseAxIDDQ8CJgIlEQEFAS8IAQEegk8BglQ?= =?us-ascii?q?BAy8BDowgjHmCHoEEPYsygRUFAReBAYIIBoE9ARYPc4JCChkoDWMDgVYCAQYJA?= =?us-ascii?q?Qh+KgGFaYglEIFVRIEVJ4M5gUGBIQSBOXKCSoJkBIQBKWcxD48MgweOEJwwLAe?= =?us-ascii?q?DHIEmBguGb4Fok0kFDQUlg16GMYRqhWeQeKFckw8IAhOEYQIKBwYQI4FIgX1NI?= =?us-ascii?q?4EBgjhQGQ5WkTmFFIVqITI4AgYBCQEBAwl8gnqHaQEB?= X-IronPort-AV: E=Sophos;i="5.83,230,1616454000"; d="scan'208";a="382791308" X-MGA-submission: =?us-ascii?q?MDHZIwmyf7CN1EOtoc8Cy9siVt7VM4XqIGgEsZ?= =?us-ascii?q?lvSeYjvPmaVbRhVqJhjHvos8IBi+TPm3dAiiNVd9befKSsRIUE4oqhbP?= =?us-ascii?q?86saV4CJtX/5ENSH4p4ZqsF2y4b0a7xE4m9WtaAPeTyzTawkGuvhdVfS?= =?us-ascii?q?K7jMp/lia6wsF1ijUq5ycMNw=3D=3D?= Received: from mail-pg1-f181.google.com ([209.85.215.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 28 May 2021 21:06:27 +0200 Received: by mail-pg1-f181.google.com with SMTP id t193so3240940pgb.4 for ; Fri, 28 May 2021 12:06:27 -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=qfENvqgMlU8phHipHM7J4FMy8BQdMap5cI/NGIXZmFc=; b=S3DfKp7WIBnDeiFgpzb7tkPFe+4JZ2FFYR635d9j/wQW8c8R+bAkkPdFi6pbKirM0l zpSdn0ifWMVYThFoq7M18l0wjeeB4glBIOoezTYE7CT63/KArO7ZJNS8OHKDcpckRAP0 4OWp4jFPmChmXDPJBPsVjD9caFO4izhGkGaFUBsSjWU96Z7wdf7FFyYL97PifC3g9flo sn9ksxGoa1++J9jUospQ+F6YODKWAB0OJpBWmXkHEaOiq97jePJJxEbwp6e189hvVRih +nT0NnHOu43p9c7qq0PSBlVeuIVXa0n0UF2BiOWkYqRPHxVtWrATE5KGcqHJvG116BJr 8FSA== 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=qfENvqgMlU8phHipHM7J4FMy8BQdMap5cI/NGIXZmFc=; b=IGMJ55UD/zbutVxe0X0QnkRa5gE1zdWdP+XUh2PwYOePkD8oJ3NpkBNMSZutrzCUz8 a1KK75jsyLS547Ri1wZWHDvmGbXvYFrYZ/qDOBfXQ7dP97dO14oDY/GHmYNh3D3gmtzT LtfYcWK2ca+CH4z/FrU0xGcSn12qX5QsCyi9DoPDYwcjmdg6sF4tiFwqhmVEcMEe11hr N5kelJgz+i0JR1P+rsetpOMG97gu/IBDD6P74NQIjY/1TENoDWBykUryP7yrNJ+WoHt8 QkoiYYcz0Fhi3kdG/4heo00w+xO6+9j9fkXYa6I/wgcZZp/FWz7qKYv3A+DRaYMH0vQ0 9DwQ== X-Gm-Message-State: AOAM531YZ+5b+nLmQnfPujHDK/y71biyKwnl5mPdNHOLCS0JmIr/ruls +kOr9g2GIiI9ScsmbKbPdBpf1FjJl8w9dw== X-Google-Smtp-Source: ABdhPJxtvQqKZWdwWGpmaH2nAeqcvofE5ABAlJN5SMt4TRnFvr6mFGWFZMjK7YQlq/o9kqtPhzJNow== X-Received: by 2002:a05:6a00:1992:b029:2df:b93b:49a with SMTP id d18-20020a056a001992b02902dfb93b049amr5384204pfl.11.1622228785328; Fri, 28 May 2021 12:06:25 -0700 (PDT) Received: from ?IPv6:2001:4898:d8:44:5acf:b0ef:d58b:8c5f? ([2001:4898:80e8:2:db00:b0ef:d58b:8c5f]) by smtp.gmail.com with ESMTPSA id s19sm4841779pfm.212.2021.05.28.12.06.24 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 28 May 2021 12:06:24 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: Date: Fri, 28 May 2021 12:06:23 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; 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: deadline extension Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18511 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: The deadline for the ML family workshop has been extended by a week. If you were on the fence, please submit! --- 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, Jun 3th 2021 (AoE): submission deadline Thu, Jun 24th 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)