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 84DF25D5 for ; Wed, 2 Jun 2021 19:11:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,242,1616454000"; d="scan'208";a="511360666" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jun 2021 21:11:46 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CE44CE0115; Wed, 2 Jun 2021 21:11:46 +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 BF64BE0073 for ; Wed, 2 Jun 2021 21:11:42 +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-f49.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3Ax9OANxRI+ny81dORpp6taKqT4NpsovKYAWYlg6H?= =?us-ascii?q?Pa5pwe6iut67vIFbYra00ygOQDMOBuq0P1LeempujcFRI2YyGvnEGfc4EfD4+o?= =?us-ascii?q?uJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgp?= =?us-ascii?q?pPOT1HZPZg9iq2+yo9JDffgFFiCCjbb52Lhi6ogfcu8kLioZ+N6g9zQfErGFVc?= =?us-ascii?q?OpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q6BWAzQgKGA1+dbktQL?= =?us-ascii?q?fQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8qxmTgLjh?= =?us-ascii?q?iUaOD4j6GzZisJ+grxYrhy8qBNw34HabZqJNPd8ZK7RYc8WSXZDU8tXSidPApm?= =?us-ascii?q?8b4wKD+cZIOhXtYz9rEYQoxu5HgasBeXvxiZKiH/xwaI60/8hER3c0wM9A9IFr?= =?us-ascii?q?XPZrNTpO6ccSeC51rHIzSjYYPNS2Dfy9InIcgwhoPyXUrJwds3RyUYrFwzbi1W?= =?us-ascii?q?fs43lPzeP2usRtGib6vNtWOSygGEotw9/uCKgxtswiobXnIIVzEjJ+CV6zYg1O?= =?us-ascii?q?NC1VU51bMOkHpZTtiyXK5d7T8c8TmxnpCs31r8LtICncSUJx5kqxx/SZvyIfoW?= =?us-ascii?q?K4hzvSemfLCtkiH9jZbmxiRGy8U26xe39UMm5yE1KritKktnUsnACzRrT5tKAS?= =?us-ascii?q?vtn8UetwTeP2Bzd6uFcPU80kqzbK5A/zb4qiJUTt1jMETHslEXxlq+WeUMp8fW?= =?us-ascii?q?r5eT/erjquIOQOotuhgz9MqkigNGzDOU5PwQUUGWW/fyw2KP/8UHlXblHi+A6n?= =?us-ascii?q?6rHv53ZIMkXuKu0DxFW34k46RuyCjmm3MgEkXUbKV9IfQiIgoz0NFzIPfv2F+2?= =?us-ascii?q?wg062nzdu3/3GPqPuApHKLnXblbfuZ7d960pFxAoyytBT+otYCr8OLf/3QEPxu?= =?us-ascii?q?9vYDhg2Mwyw3enrEsly1oQbWW6XA6+ZNr3dsUOQ6+4xP+WBYJUZtTX9JvQ/+vL?= =?us-ascii?q?jjH40lUUScKStxZcXbWq3HvViI0WXe3rshdIBHH8LvgUiQuzqkEeOUSZOZ3mpW?= =?us-ascii?q?6I85y00CIO6DYbDXY2tj7uB3CC0Hp1SeG9GD0qDEXbsd4meR/gMbyeSLtd7kjM?= =?us-ascii?q?YTbihV5Mh1Ra2uQDm0bVnK+7U9jQctZLiz9h1+/belQoy9DxxF8SSyXuBT2Byn?= =?us-ascii?q?mMSRj85xrpzoUJnygTL7a8tiPVdEZlX5uhVegY8L5/VieJgWP7oXQeURd6MAGq?= =?us-ascii?q?hSNSgRBE2RdIq39YCfw4pGt6sllbbwiCuArQUi62jC5sz/abR2nHwI4B2zHOQh?= =?us-ascii?q?/pptEUvXsYabT7uvaV47QWGX+YhfG2WkKGlcakZ1S/JsmyEyDjX1Km9eAF3Vqr?= =?us-ascii?q?BUHUWZ0+QptP8tBuqp16GDL0mNk5AzpfHJPcbLNLuilpCSbHoP9GMOwqM?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Av6Ttga+W0XW0+QtU461uk+BJI+orL9Y04lQ7?= =?us-ascii?q?vn2ZKCYlF/Bw8vrCoB1173PJYVoqN03I2urwXJVoOEmskqKduLNhW4tKPzOW2l?= =?us-ascii?q?dATrsD0WKK+VSJcEfDH4hmu5uIGJIOa+EYY2IasS+02njEL/8QhPSK9aC2ifzP?= =?us-ascii?q?8X9xRwAvT6l67QtjYzzra3FedU19GJIoG4Gd6s1LvX6KcWkcb8S3b0N1J9Trlp?= =?us-ascii?q?nwiZr3bgUHCxkr8k2lhTew4L71FBiUty1uKA9n8PMZ7GDUnBf46qKvqbWG6jK0?= =?us-ascii?q?7R6o06hr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BkZgBv1rdgfzGmVdFaHAEBASsLBgEBB?= =?us-ascii?q?AQBAQIBAQcBARWBTwUBAQMBgTsCAQEBECmBGA5Xa4RIkXIzmw4TgWgLAQMBCwE?= =?us-ascii?q?BEgEBIQoCBAEBhlACHQcBBDcDDQIEFQEBBQEBAQIBAwMEARMBAQ0LCwgnHIVoD?= =?us-ascii?q?YI4IoQDCwYdAScSAxIfAiYCNgEFATUJCw6CBEyCVAEDCSYBDpx+gQQ9izKBMoE?= =?us-ascii?q?BgggGhGgKQQ2CPAIHCQEIfigCAQEBAQGODIEZgRCBFYJzbYEEgwsBEgFugkqCZ?= =?us-ascii?q?ASDVgodAwETgT2BJJBvE40knTgHgx4EiguTXiuDXosbhWeQeqFhkxoVhGECCgc?= =?us-ascii?q?GECOBWwN3cDQZI4M5CUcZDlYBjV+DWYUUhWYlMgI2AgYKAQEDCViKXQEB?= X-IPAS-Result: =?us-ascii?q?A0BkZgBv1rdgfzGmVdFaHAEBASsLBgEBBAQBAQIBAQcBARW?= =?us-ascii?q?BTwUBAQMBgTsCAQEBECmBGA5Xa4RIkXIzmw4TgWgLAQMBCwEBEgEBIQoCBAEBh?= =?us-ascii?q?lACHQcBBDcDDQIEFQEBBQEBAQIBAwMEARMBAQ0LCwgnHIVoDYI4IoQDCwYdASc?= =?us-ascii?q?SAxIfAiYCNgEFATUJCw6CBEyCVAEDCSYBDpx+gQQ9izKBMoEBgggGhGgKQQ2CP?= =?us-ascii?q?AIHCQEIfigCAQEBAQGODIEZgRCBFYJzbYEEgwsBEgFugkqCZASDVgodAwETgT2?= =?us-ascii?q?BJJBvE40knTgHgx4EiguTXiuDXosbhWeQeqFhkxoVhGECCgcGECOBWwN3cDQZI?= =?us-ascii?q?4M5CUcZDlYBjV+DWYUUhWYlMgI2AgYKAQEDCViKXQEB?= X-IronPort-AV: E=Sophos;i="5.83,242,1616454000"; d="scan'208";a="383262713" X-MGA-submission: =?us-ascii?q?MDEMczXJF2e3YiTmkHTVYQbCkrtvPoeKwmc5XG?= =?us-ascii?q?nbTEfZAgihAdkNcwwnt+9GlbCr9pWvOIQThxkqbwYAFxBtwKJQFYGQSX?= =?us-ascii?q?Hzqo2wLDh1zuKmJqgIJvG+agKhAlXh5IoyIyBTs1esZkW6i2fCTPBtGj?= =?us-ascii?q?o0urkxAd6WwnIjyIURyS/ngw=3D=3D?= Received: from mail-io1-f49.google.com ([209.85.166.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 02 Jun 2021 21:11:40 +0200 Received: by mail-io1-f49.google.com with SMTP id r4so3696905iol.6 for ; Wed, 02 Jun 2021 12:11:40 -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=NyBkwWWFK9yTCm+kon3vcEJcRmg5TMAD+dofxQorawk=; b=HQQLJQo7DX2S5L3+cccJKkRw8r7a32L7f0BKO+ag1Uqn0F5D5Tzo7VlYlUDltUUQVM V+JDPnYN7PRMMmjHClyxlxMayA/XD61EX/I+kQw39zG174DVqFrAQEdtmEybiD5Owf3h QowpjngV7sQw18w9aE8mYO4nRaFMa1WLrlvhFrRn4l3sRRmaJnsbcjdbbkeWKwzhG5b4 XVc0jVljjqH+56RyYYM6K0m6pQtPpgyNzBa7z8Jp4Yuq9656iCBYlKqKLvzzw+MGvRDi xcSdiqfK5q8f1zamiw63LFtEq3L0vbnJi2ZNT+rVuoONSqb7ssCIthEVrIZ0IcnFABec XozQ== 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=NyBkwWWFK9yTCm+kon3vcEJcRmg5TMAD+dofxQorawk=; b=ISodrXFi6uI8DIJNREpaIPIx17RiVg7KAqA0+cu1PAHXEL2CdkGVWIpqeKI7yf5ezY ZdUfPW58MIG8E8Ad2csmr4N7uYQQc2FfBF5C3OY0zVE+ZBMXXGwBMqirb1LEUi8p0Bi8 b4+K/5MmZnuS6QLvKq5AszdIOSDyW50v1tf+KUMoP+3EBbN4twSuQtQg2DzLj3KHCgIk zreC+/etFXs/CqVvr1hEXFny6aSnLE3ivhjpDRquoVWhUOrHVjdM6u/mcOYP9k2d6I4v 0eQo50srewWErCRR8+WhmhsIauaOXPdGTm5oLfxRfc80QQ97ufSsa0tRtKvsWmNqq+9w 13OQ== X-Gm-Message-State: AOAM530PVhQBtTbII5QtNrMkJ6ymknIeJnW03oNkNr0PVIKj43zeiUA+ iD80ghTB4Imdhx23XHTC5bXOzV8E8gQgMw== X-Google-Smtp-Source: ABdhPJzMW6YGhXbo0HFPq2lnAwmIuDomQW/47BTGP7HBb5r6EhmAoiNC0AkRie/1WWmOcXUdl86RRQ== X-Received: by 2002:a5d:9842:: with SMTP id p2mr26517571ios.132.1622661098908; Wed, 02 Jun 2021 12:11:38 -0700 (PDT) Received: from icfp.publicity ([2001:18e8:2:28b7:f000::a9d]) by smtp.gmail.com with ESMTPSA id i7sm487135ilb.67.2021.06.02.12.11.38 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 02 Jun 2021 12:11:38 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 02 Jun 2021 15:11:38 -0400 To: caml-list@inria.fr Message-ID: <60b7d7ea650d8_24cee294021@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18516 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: CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Virtual https://icfp21.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 22-27, 2021. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event @ ICFP, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on August 22 or August 26-27. ---------------------------------------------------------------------- Submission details Deadline for submission: June 28th, 2020 Notification of acceptance: July 5th, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2021@googlegroups.com by June 28th, 2021. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 5th, 2021. The proposal form is available at: http://www.icfpconference.org/icfp2021-files/icfp21-panel-form.txt http://www.icfpconference.org/icfp2021-files/icfp21-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2021 organizing committee. Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Sukyoung Ryu (KAIST) Program Chair: Ron Garcia (University of British Columbia) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs ( Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2021@googlegroups.com