From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 44AC2E000E for ; Wed, 19 Aug 2020 17:05:46 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-io1-f66.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.166.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.166.66 as permitted sender) identity=mailfrom; client-ip=209.85.166.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io1-f66.google.com) identity=helo; client-ip=209.85.166.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-io1-f66.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9o5pyhw4rvAnVbLXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoQL/ad9pjvdHbS+e9qxAeQG9mCtbQd07qd7fmocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTuwbalvIBmqrgjducgbjZZ/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTnjz?= =?us-ascii?q?oJNyMi8GHPlMN/kL5brhympxx62YHUYYeVP+d6cq7Sed4WQGxMVdtTWSNcGIOx?= =?us-ascii?q?d4sBAeQfM+hbsofyqEcBoxSlCAmwHePi0CNEimPq0aA41ekqDAHI3BYnH9ILqH?= =?us-ascii?q?nasc/6NKIPWu6ry6nH1jTDb/VP1Tn/74jHbhAhoeqQXb1qbMXR1VQkGgTEjlqM?= =?us-ascii?q?p4zlJymZ1vwQs2eA6+pgVP6gi287qwBxuTWvycAsio7GhoIR1F/E8D92wIcxJd?= =?us-ascii?q?GiVEF7ZtukHYJWuiqHOIR4XtksTHt0uCYm1LIGo5i7cTAFxZklwxPRZfKJfoiU?= =?us-ascii?q?7xzjVuucJTd1iX1qdb+hiRu/71Stx+/yW8Sp31hGsyRLn8XPu30TyxHd6tWKR/?= =?us-ascii?q?lg80ql3zuEyg7d6uZBIU8ulKrbLYYswqUxlpocqUTDGjX5mEPsgK+RbEUk9fCk?= =?us-ascii?q?6uTgYrX7up+cKpR7hR/kPqsyncy/BPw0MhIQUGiU/OSzzqbj/VHnT7VQlPE5jq?= =?us-ascii?q?7ZsJXCKcQUp665Hw9V0ps45BqlDjem18wUnWUJLVJEZBKHk5bmO0vULP/kCve/?= =?us-ascii?q?hlKhmypoyfDeJrDtHInBI3zZnLrifbtx8VNQxQsywNxF5p9ZC6kNLO/wV0L+rt?= =?us-ascii?q?DVCh00Pxapz+r6CdhxzJ4SVGCRDqKfLajcq0WH5vg1LOmJfIIVuCjyK/wi5/P2?= =?us-ascii?q?iH82g14dfa2w0ZsWb3C0A+1qI0uYbHftmNsBHmAKvg0xTOzullKOSyJcZ3G3X6?= =?us-ascii?q?4k5zE7DpypDZvbS4yznLCM2D23E55Wa2xcF1yBEHble5+FVvoNcC6SJ9Vukj0A?= =?us-ascii?q?VbivUY8h0hSuuRf7y7V7IOrU4jcUtYr+1Ndu4+3TlA099T1oD8WdyGyNQGZ0nm?= =?us-ascii?q?QHRz8ywq9/pFZyylaH0aRin/NYEtlT6+tTUggmLZ7c0/B6C9fqVw3dZNiJTVKm?= =?us-ascii?q?TsyiATEwVdIx38QDY119GtWnlhDMxTCmA74Tl7yRBZw76LjQ33brJ5U193GT36?= =?us-ascii?q?AkixwiQ9BTHWygnK92sQbJVKDTlEDMrK+vPZgb1i/LsUeExmqVoEhUTEYkUK7L?= =?us-ascii?q?RTYHe0HSrN/4+lLqQLipBrAqNwJAzYiJLa4cOY6htklPWPq2YIeWWGm2gWrlWU?= =?us-ascii?q?fRl+G8KbHycmBY5x3zTU0NkgQd53GDbFZsCSCmrGbTCTVvERTkZEa+qLAj+kP+?= =?us-ascii?q?dVc9ykSxV2Mk17ex/URI1/mVSvdW37Vd/Sl/9XN7G1Gy29+QAN2F9VI4IPdsJO?= =?us-ascii?q?gl6VIC7lr38hRnN8X+fa9lgVEafgF+vkeo3BJyWN1N?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAwBcPz1fdEKmVdFFGoEJg0WBH1Veh?= =?us-ascii?q?DetPAsBAwEKAQEjCgIEAQGBVoIygncCHAcBBDQTAhABAQUBAQECAQMDBAETAQo?= =?us-ascii?q?LDAcnhWUMgjcMg0cLBh0BJQIKCAMSHwImAjYBBQFPAgaCOUyCSgEDCSUPO6QVg?= =?us-ascii?q?QQ9iyiBMoMCBYE0AQMFgz4KQQ2CGQIHCQEIfCqNH4EUgQeBEYJgboEEgU0LAQE?= =?us-ascii?q?BAReEXYJgBJt1iVKQbAeCZYhkhkyKciGEJIQWiRyOUZ0GhgCBcYhghCwCCgcGD?= =?us-ascii?q?yOBR4F6NBkjgwUBATIJCT4ZDVcBjV+BDQECgkmCZIIwhUEfIzM3AgYBCQEBAwl?= =?us-ascii?q?YkGcBAQ?= X-IPAS-Result: =?us-ascii?q?A0CQAwBcPz1fdEKmVdFFGoEJg0WBH1VehDetPAsBAwEKAQE?= =?us-ascii?q?jCgIEAQGBVoIygncCHAcBBDQTAhABAQUBAQECAQMDBAETAQoLDAcnhWUMgjcMg?= =?us-ascii?q?0cLBh0BJQIKCAMSHwImAjYBBQFPAgaCOUyCSgEDCSUPO6QVgQQ9iyiBMoMCBYE?= =?us-ascii?q?0AQMFgz4KQQ2CGQIHCQEIfCqNH4EUgQeBEYJgboEEgU0LAQEBAReEXYJgBJt1i?= =?us-ascii?q?VKQbAeCZYhkhkyKciGEJIQWiRyOUZ0GhgCBcYhghCwCCgcGDyOBR4F6NBkjgwU?= =?us-ascii?q?BATIJCT4ZDVcBjV+BDQECgkmCZIIwhUEfIzM3AgYBCQEBAwlYkGcBAQ?= X-IronPort-AV: E=Sophos;i="5.76,331,1592863200"; d="scan'208";a="356856518" X-MGA-submission: =?us-ascii?q?MDFlLCt6WqWeB33pJ3NcuJ1jXXG9XMnM0M8iBE?= =?us-ascii?q?QwhlfTsLouygfQWx+1E7f+xXv4Ph4l0Lx2MCsFndMF3h0tD1OA0Key7u?= =?us-ascii?q?EDYlJUDcjbRZ5bt137eHVWz9UAaxOLxHun3rzETUhjXS8t4kNo+SF7zD?= =?us-ascii?q?iBpicvRGtG1L80cVVYAFBnzA=3D=3D?= Received: from mail-io1-f66.google.com ([209.85.166.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 19 Aug 2020 17:05:00 +0200 Received: by mail-io1-f66.google.com with SMTP id u126so24926470iod.12 for ; Wed, 19 Aug 2020 08:05:00 -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=OlnL7cKm3lQI8X+Im4/CpcnVkrf4AyJAxM2PA9d5Aew=; b=IDw4fYgEBD1Uf6u+qJyxIajgbuQ+38NsXUUWv4L/g5AU3yyzjsSA/fKxPy1bvCiPsO GFGkW7TfvzW55s3PT9eebivPJOscblma5moseh/swqCF5hMKFdtOwkAyyQvn9e4Uwwfu B/9K32YKasJ7ldGg1GZD02uQaaCBnNa9vtyZ1xVugqkLQllI2err87zmkNljRaFuUB17 d+AnRS6a5C76apXTP5Oi4GBxZzj+yXPPNS5D4AkugouvBYwfFWr3xuoWstHLbuIwgoKM J8ghLACEr2ykTUdfheuZAbAyt6TdVOSbvKbySsrmXrCBsQOmlCflIX+qvAwbtPZdPVwx jRHw== 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=OlnL7cKm3lQI8X+Im4/CpcnVkrf4AyJAxM2PA9d5Aew=; b=cMeX6e5KwO0VqHcm0hD+RcJqURCjEyPQgW2LlS7QtRzZi8+rvHwkOaMXsZCQdERW5Z 0YYZgwQ7F44O+bFU1TgkWN6FwwXQupTcXnnjHqpozGzsWw99Q5KpEUu9RxI14FSvNT1d YrzyExF1/hLJuBomr1lWIIXxpYQTr+M66bOLnWDBdH79ZRsbXB866vKrBLoZN9GJUPt5 ltApNchGjRIW8VxJblBph2ttJTk7GR47M7/q0A9Q/8ZxSzhBU4nftRvSD8AtiDnfpJj/ YyKp+880VNyGBCfmvLnwpfr36Ez2+jJgCG+5tlis/Q9lCABnM/TBibjLcdc8j64aACe7 GcUw== X-Gm-Message-State: AOAM532Shz3iX2lQ8b4MxGX8ZlEwCE7XwYV0cw+Msnl3Zs/Wfl8pyD4B vanvdSEUa7fUDw+oUQAuCpLCtAOS/xSi1w== X-Google-Smtp-Source: ABdhPJy7FP7BLoyEFNwd4ppz0y9KGvkBxE2cGr1nOC9+giKelKmFb/aqiHR9hHEj+rGZFLKsOHdo1w== X-Received: by 2002:a6b:9289:: with SMTP id u131mr19930832iod.89.1597849498795; Wed, 19 Aug 2020 08:04:58 -0700 (PDT) Received: from icfp.publicity ([184.97.116.172]) by smtp.gmail.com with ESMTPSA id a16sm11923596ilp.23.2020.08.19.08.04.56 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 19 Aug 2020 08:04:58 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 19 Aug 2020 10:04:56 -0500 To: caml-list@inria.fr Message-ID: <5f3d3f98ce0b9_3df75294126@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Third Call for Participation: ICFP 2020 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Third Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 23 - August 28, 2020 Online http://icfp20.sigplan.org/ Pre-registration ends August 21! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. Watch our new video, and Don't Stop ICFP: = https://www.youtube.com/watch?v=3DFte5wwnwCws Pre-registration ends August 21st! = https://icfp20.sigplan.org/attending/Registration This year, the conference will be a virtual event. All activities will take place online. = There are training sessions for Clowdr, our new online platform, on August 20 and 21. https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program The main conference will take place from August 24-26, 2020 during two time bands. The first band will be 9AM-5:30PM New York, and will include both technical and social activities. The second band will repeat (with some variation) the technical program and social activities 12 hours later, 9AM-5:30PM Beijing, the following day. We've written a blog post about how conference mirroring will work for ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/ We=E2=80=99re excited to announce our two invited speakers for 2020: Evan= Czaplicki, covering the Elm programming language and hard lessons learned on driving adoption of new programming languages; and Audrey Tang, Haskeller and Taiwan=E2=80=99s Digital Minister, on how software developers can contribute to fighting the pandemic. ICFP has officially accepted 37 exciting papers, and (as a fresh experiment this year) there will also be presentations of 8 papers accepted recently to the Journal of Functional Programming. Co-located symposia and workshops will take place the day before and two days immediately after the main conference. Registration is now open. The early registration deadline is August 8th, 2020. Registration is not free, but is significantly lower than usual. Students who are ACM or SIGPLAN members may register for FREE before the early deadline. https://regmaster.com/2020conf/ICFP20/register.php New this year: Attendees will be able to sign-up for the ICFP Mentoring Program (either to be a mentor, receive mentorship or both). * Overview and affiliated events: http://icfp20.sigplan.org/home * Full Schedule: https://icfp20.sigplan.org/program/program-icfp-2020 * Accepted papers: http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview * JFP Talks: https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview * Registration is available via: https://regmaster.com/2020conf/ICFP20/register.php Early registration ends 8 August, 2020. * Programming contest: https://icfpcontest2020.github.io/ * Student Research Competition: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competiti= on * Tutorials https://icfp20.sigplan.org/track/icfp-2020-tutorials#program * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference This year, there are 10 events co-located with ICFP: * Erlang Workshop (8/23) * Haskell Implementors' Workshop (8/28) * Haskell Symposium (8/27-8/28) * Higher-Order Programming with Effects (8/23) * miniKanren Workshop (8/27) * ML Family Workshop (8/27) * OCaml Workshop (8/28) * Programming Languages Mentoring Workshop (8/23) * Scheme Workshop (8/28) * Type-Driven Development (8/23) As well as tutorials on 8/23, 8/27, and 8/28. ### ICFP Organizers General Chair: Stephanie Weirich (University of Pennsylvania, USA) Program Chair: Adam Chlipala (MIT, USA) Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA) Ben Lippmeier (Ghost Locomotion, Australia= ) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organizer: Igor Lukanin (Kontur, Russia) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: Youyou Cong (Tokyo Institute of Techn= ology, Japan) Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK) Leonidas Lampropoulos (University of Pennsylvania, US= A) Video Chair: Leif Andersen (Northeastern University, USA) Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada) Victor Lanvin (IRIF, Universit=C3=A9 Paris Di= derot, France)