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 ESMTP id 8B3325D4 for ; Fri, 1 May 2020 19:04:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,340,1583190000"; d="scan'208";a="447816547" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 May 2020 21:04:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1D4367F494; Fri, 1 May 2020 21:04:48 +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 09B047EEE8 for ; Fri, 1 May 2020 21:04:44 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-qk1-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Alzb66hYZjw3sYdiXNoBfy6T/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8W4bnLW6fgltlLVR4KTs6sC17OL9f6/EjVasN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vLBi6twTcu8sZjYd/NKo8zgbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDM/7WrZiNF/jLhDrRyhqRJx3Y3abpyaO/Vica3QZs8aSGhbU8pNSyBNHoGx?= =?us-ascii?q?Yo0SBOQBJ+ZYqIz9qkMToxSkAAmnGf3hyjhTiX/32602yuYvEQba0wwgBNIOrG?= =?us-ascii?q?7bo8jpNKwPVu21zbXHzTvbb/9MwTf99ZPHchQgof6QXLJwbcrQxFIgFwPCiVWQ?= =?us-ascii?q?pojlMC2Q1usXsmib6/BsWv6oi24isgx8pCWkycgwhIfTnI0V1kzE+jtjwIYzPd?= =?us-ascii?q?C2SFN3b9ClHZdNuS+XNZV7T94tTmxnpSs3zrkLtJ25cSQWxpoqyADSZ+GFfoWI?= =?us-ascii?q?4h/uSfidLDR7iX57eL+xiAu+/E69weP/Tsm5yEhGojZBn9XWtX0A1wbf5taZRv?= =?us-ascii?q?dj5EutxDSC2xzL5uxFIk04j6XWJp47zrMyiJYfq1nPEyDqlEjwkaSYbF8r+vKy?= =?us-ascii?q?5OTierjmpoGTN4tzigzmN6QhgM2/AeAhPggXXGiX5P2w1LP+8UD7XLlGlPI2kq?= =?us-ascii?q?7esJDVIcQUuLS1DBNS0oYm8xq/DjGm38oEnXQfMl5JZBaKg5LqNlzOOvz0E+mz?= =?us-ascii?q?j0q2nDt2xf3KIqXtApDXIXjClLfhc6x960lZyAcrzNBQ+5xUCqkbLPLrR0/+r9?= =?us-ascii?q?jYDh4lPAy13+bmCM5w1owZWWKIDa+ZNL3dsVqS6eIuJ+mAfpMauDH4K/Q9/f7h?= =?us-ascii?q?kWc5mUMBfamuxZYYdGq3HvFiI0mAZXrsg8wBEXsRswolTO3qjUWCXiRJa3azWa?= =?us-ascii?q?I8/DA7B5i8AYfNXID+yICGiSyyG5kTYmFdFniNF23pfsOKQaQiciWXd/Rol3Q4?= =?us-ascii?q?UrKgTcoB0hqurxPzx6Yveuvf9DVerY/p0Nl+5vHCvR418jNwAsGU0mXLRGZxyD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11qQBRI5joshRWwJ/DqbyiulzCtT8QAXEJ4nbR1Gh?= =?us-ascii?q?TdGrBDgwSpQ6xNpcOh8hSeXntQjK2m+RO5FQj6aCXcJm/aXb0Hz8Is98zzDN06?= =?us-ascii?q?xz1wB7EPsKDnWvg+tEzyaWB4PNlB/HxaOjdKBZxS2UsWnakjLIs0ZfXwp9F67C?= =?us-ascii?q?WCJHaw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BfDABFcqxegKreVdFmgQmBSYMJYlyEI?= =?us-ascii?q?okBhX6CW4lAhX8FiVaBegsBAwEKAQEFKAIEAQGEOgGCOxwHAQQ2BA0CEAEBBQE?= =?us-ascii?q?BAQIBAgMEARMBAQkNCQgnhV8Mgjsigy0RHQEnEgMSHwImAjYBBQE9DA6FTwEDC?= =?us-ascii?q?SWoG4EEPYsogTKDAQWEbgpBDYIZAgcJAQh8KoddhGeBE4EHgRGEUoQXgkWCYAS?= =?us-ascii?q?ZB5lCB4JJmA0dgkoBjTCNIK0oAgoHBg8jgUkDgXI0GSODOVAYDZBag1qKciUzN?= =?us-ascii?q?gIGCAEBAwlYjksBAQ?= X-IPAS-Result: =?us-ascii?q?A0BfDABFcqxegKreVdFmgQmBSYMJYlyEIokBhX6CW4lAhX8?= =?us-ascii?q?FiVaBegsBAwEKAQEFKAIEAQGEOgGCOxwHAQQ2BA0CEAEBBQEBAQIBAgMEARMBA?= =?us-ascii?q?QkNCQgnhV8Mgjsigy0RHQEnEgMSHwImAjYBBQE9DA6FTwEDCSWoG4EEPYsogTK?= =?us-ascii?q?DAQWEbgpBDYIZAgcJAQh8KoddhGeBE4EHgRGEUoQXgkWCYASZB5lCB4JJmA0dg?= =?us-ascii?q?koBjTCNIK0oAgoHBg8jgUkDgXI0GSODOVAYDZBag1qKciUzNgIGCAEBAwlYjks?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.73,340,1583190000"; d="scan'208";a="447816530" X-MGA-submission: =?us-ascii?q?MDEw9bcBPZhCBG2MHlLYm/qqWZqwVEdBwyzOG8?= =?us-ascii?q?klRPid2FlLcZeZ40vKjIVQHN0J3Gpu4Q3q/Ebne2EbnnKI4OIIVY2/zy?= =?us-ascii?q?dShB9MYRePdAScjPIGk+43W7Y0e2jln0DCvCNgFwQELKpcKwur1/KCTg?= =?us-ascii?q?MSlAycEyd+YzlGFijTPbuG5A=3D=3D?= Received: from mail-qk1-f170.google.com ([209.85.222.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 01 May 2020 21:04:43 +0200 Received: by mail-qk1-f170.google.com with SMTP id i7so1829519qkl.12 for ; Fri, 01 May 2020 12:04:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=C+qjZTRa94JCqiXu+lVWXF8rEt/zt3E8EkvHwgWK4AI=; b=D6zX4BgPAwbSzaVO4XzpQNmifW3UJ1B/Y7/+r7v2lvNgaeRHQxDVz9MUDIPChyJCnJ gU+iQRErwpTAbIWwoIDOk8PudI8jW27GDoEI8yvjfTA+RPQEEm4LzBNqdKryarAxd0Wj W8Bcnc6p7MTrEP00pm1ss6llnIFcaRtTLPIhWGe/zA1ZV8eOSb0kIUBizBjqrjtB+Zrn wJSurNBAE1iFOoeH3IlAn29AcRXedogO7PkgDiPGfJHsIwCjI9RgYlRkZ60nDIJZQiyO ulF0XUisSOryWMnXMQEvdyTHU3h0YnlRpyZYb6ZkjgwynmLB8G7uNCCYHcLp36I7ShNS A0Xw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=C+qjZTRa94JCqiXu+lVWXF8rEt/zt3E8EkvHwgWK4AI=; b=I44kjmUSTFxq115a4FzJ1K/8Ug0xQkj50o8g8mQ7i/Pi0O6DqO+2dk/jrz2fBlbSLs ViEG3pSq6u8CbBpsCgroTuNx62fifrCI6pNtqXEYc8NS07SPuPZAcWt8LFvGMHOxpgVU tLTd++cy+UKO75UsI2i2w2DMuDN0Mr0dXiqvB4Ezks9ZZzqrJ043Rxcx8KRCIzrObZCs fGa3SaXDBJp7Ct1wzQ2FtfLN7xP5LsFloj8GryjxSMJBaFxuF4/Gw+mD1rlIyxbUOKN3 6XkVht/37wdD/cGXdjOikxHsz5KfzIrLEEgLGncZrHuP+EiCbmClhDTJXgrHcaaotXmG B6kQ== X-Gm-Message-State: AGi0PuaJWCpj1M0xlvL/xxkbt35v9MDxmUomXc9T6ZfXaSGYjmiES6VQ JMRQY0r60FGxSxFAPaLbN0wOXlKV X-Google-Smtp-Source: APiQypJMy7dAJGsjaMEM1HRc6b+3c2C1TLyDCbl01UwXRE1LDjYB/8gzME7mDMQy4rp895Tam862MQ== X-Received: by 2002:a05:620a:b97:: with SMTP id k23mr5029978qkh.174.1588359878261; Fri, 01 May 2020 12:04:38 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.in.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id 14sm3344545qkd.70.2020.05.01.12.04.37 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 May 2020 12:04:37 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Fri, 01 May 2020 15:04:37 -0400 To: caml-list@inria.fr Message-ID: <5eac72c56a8cc_5b6e2b07d78345b4477d8@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] ICFP 2020 will be held ONLINE Aug 23-28 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18124 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: The ICFP 2020 organizers would like to announce that the conference and co-located events, originally scheduled for August 23-28, in Jersey City, New Jersey, will now be held online during the same dates. Further information for presenters, authors, attendees, sponsors, and the ICFP community will be provided as it becomes available. The ICFP Organizing Committee