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 A28875D4 for ; Thu, 16 Jul 2020 13:57:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,359,1589234400"; d="scan'208";a="460057253" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2020 15:56:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E75BCE0C13; Thu, 16 Jul 2020 15:56:55 +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 1BDE8E0BD1 for ; Thu, 16 Jul 2020 15:56:51 +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-il1-f172.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ATo5AfBHxD+v/UPWeheRa/Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yocuwAkXT6L1XgUPTWs2DsrQY0rSQ6PyrBzdIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLJ/IA+4oAjeucUbgIVvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ji?= =?us-ascii?q?oMKjw3/3zNisFojKxVrgyvqR9izYHbfI6bO+Fzfr/fcN4AWWZNQtpdWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoofgvVQOqAa1CxerBOz0yz9IgGb606890+s9EQHGxxAgEMgTv3?= =?us-ascii?q?TIsd74M6YSXvy7zKnQ1znDd+5W1iz56IjJbh8hoO2MXLJrfMrezkkvEAzFjlGO?= =?us-ascii?q?pozgJTyV1+ANv3KH4OpnUOKikmgqoBx+rTaz3MkjkJXJhp4LxVDe8yV02IY4KN?= =?us-ascii?q?64RkNmfNOqEIZduSGZOoZ3Xs4vX2VltTg1x7AapZO2fjYHxYgkyhPQa/GKcoiF?= =?us-ascii?q?7x3hWeiRPDt2i25odK65ih2v/0agzej8WdO10FZMtidFidjMtn8V1xzX8MeHTO?= =?us-ascii?q?Fx/kC72TaAzwzT6/1LIU4slaXHLJ4hxLAwmYQJsUvdGC/5hFv5gLWRdkU+9eil?= =?us-ascii?q?7fnsbLb+ppKEKYN4lgXzPr4tl8G/G+g0LwkDUmmB9eih1rDv41X1TbRJg/Esna?= =?us-ascii?q?TUsIrWKMYFqqKjHgNY3Zov5hCiBDm8ytsYh2MILFdddRKHkYfpP1bOLej9Dfil?= =?us-ascii?q?glSslC5nx/HCPrH8G5nNIGXPnbX/cbpn5E5czw0zzd9b551KEL0OPPXzWkrpuN?= =?us-ascii?q?zZCB82LRC0zv75BNlh0o4SQ2GCD6+DPK/PsFKF5/gjL/SOaYMLoDr9LuIq5//q?= =?us-ascii?q?jX83g18deqyp0IMWaH+kEPRmO1+VYWLxgtgaFWcKvxYxTO32iFyCSjNTaHGyX6?= =?us-ascii?q?Uz5jE/Fo2mCJ3MRoGpgLCbwCi7GZhWanhcCl+QCXfoa5mEW/AUZS2OOMBhlzgE?= =?us-ascii?q?WaGlS48gzhGuqBT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D8qH0zLFc2YhlW?= =?us-ascii?q?oNQ3oy3btjiU170FaKl6Zi0NJCEtkG3PpMGjs9P5/aisx9ANDpRgvNYp/dSV2o?= =?us-ascii?q?WpO+HDs1T9kw384mbEF6FNGvixnC22yhBLpDxO/DP4A97q+Jhyu5HM160XuTjP?= =?us-ascii?q?Bw3WljedNGMCidvoA68gHSA4DTlEDAyfSlcqMT2CPI/WaHi2GJuRMBCVIiYeD+?= =?us-ascii?q?RXkaI3Dug5Hh/EqbEe2hDrMoNgZEwM+GbKBNb4+x1AgUdLLYIN3bJlmJtSKwCB?= =?us-ascii?q?KPnO3eaYPrfyAc2HyYBhFbyUYc+nGJMQV4DSCk8TrT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiBwAqXBBff6ymVdFgHgEBCxIMQIFMg?= =?us-ascii?q?XmBHlVehDOCUoYvohwTgWkLAQMBCgEBBR4KAgQBAYZhAhwHAQQ2BA0CEAEBBQE?= =?us-ascii?q?BAQIBAwMEARMBAQkLCwgnhWQMgjcigy8LBh0BJxIDEh8CJgI2AQUBNQkLDoI5S?= =?us-ascii?q?wGCSgEDCSUPnWWBBD2LKIEygwIFhHQKQQ2CGQIHCQEIfCuMcYETgQeBEYJibIE?= =?us-ascii?q?EgwQBEgGDN4JgBI8jEoshml8HgmCIVZELIYJ4iT2Eaw2OFJwjlFYCCgcGDyOBS?= =?us-ascii?q?gaBAXA0GSODOQlHGQ1XAY1GGINZhRSFXiUzAjUCBggBAQMJWI8wAQE?= X-IPAS-Result: =?us-ascii?q?A0AiBwAqXBBff6ymVdFgHgEBCxIMQIFMgXmBHlVehDOCUoY?= =?us-ascii?q?vohwTgWkLAQMBCgEBBR4KAgQBAYZhAhwHAQQ2BA0CEAEBBQEBAQIBAwMEARMBA?= =?us-ascii?q?QkLCwgnhWQMgjcigy8LBh0BJxIDEh8CJgI2AQUBNQkLDoI5SwGCSgEDCSUPnWW?= =?us-ascii?q?BBD2LKIEygwIFhHQKQQ2CGQIHCQEIfCuMcYETgQeBEYJibIEEgwQBEgGDN4JgB?= =?us-ascii?q?I8jEoshml8HgmCIVZELIYJ4iT2Eaw2OFJwjlFYCCgcGDyOBSgaBAXA0GSODOQl?= =?us-ascii?q?HGQ1XAY1GGINZhRSFXiUzAjUCBggBAQMJWI8wAQE?= X-IronPort-AV: E=Sophos;i="5.75,359,1589234400"; d="scan'208";a="460057120" X-MGA-submission: =?us-ascii?q?MDGv13haCC6TdAOs/Krj1EhSOm/GWuAypBmQi9?= =?us-ascii?q?8TB8pyweZCMj5zPlK3eLSLSWKErBQIBriPV5u5dgNTnGCuVfzFahGbcv?= =?us-ascii?q?Vb3ndOs0ScpTyy88vkP43rdn0B/zDk/cC2nafQ4dQeVHuVHeKLLGgq1A?= =?us-ascii?q?MzW/mVytyIHGmWJvgZ8yrLgg=3D=3D?= Received: from mail-il1-f172.google.com ([209.85.166.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 16 Jul 2020 15:56:40 +0200 Received: by mail-il1-f172.google.com with SMTP id h16so5093663ilj.11 for ; Thu, 16 Jul 2020 06:56: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=p0nwmXhALHGenmed5/4AbKHZzXtrMahwzMT3XUpXe0w=; b=CLKpntNMM8+73mM+ypRQHY+TTHlSOWCM+v/0Lv6kqL67cgBuiUYoQqLmBFjdhZJpre BFPRW7dfbNrCWepn4NobqoVymOcp61qATxUqhdeGCpEFfY9OFHgBKMTKPzxRpjLxuwAC /ADrp+zqc5+km6S6+rYeeegxJSJVkdY+ioIIrk3NORbPo5/+3OGndpI4ngrnLxUbNhm+ 7Qmz61BtvKuWvFz9iBjrMyIpOcnyL6GVAcgMBST4Sd+jR4y3CZM543paOfySk6uNJZkJ TqeNSbJ7PBhjn6TdeKchINijMRyShG48PTrB7otjrOHHCxfyqP8ncSaJV7JkC9qXsF0C QDaA== 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=p0nwmXhALHGenmed5/4AbKHZzXtrMahwzMT3XUpXe0w=; b=JiifeuxgvbUefYoakwkGIRfC+s41qPLCRiwjE19EFhz78i+gGa45yf7tHt71oNtvLm EP026YxK3HPSLrnqx+LKVZvVKDcbZXJx1+JuqX+GYxRI+sjW9QplPCUesJVyQIBIqz5R A/QNUMKEeXSqPrzwKqirRuUyFoJm7JRVmhHMInw925lGma7B4UXiIqkm63BE6C5rhrPe rqvLthszyz86y+trtrY6w51JQNzIH5bWnh/LFLCz0lh+SmS1ZlfPfF0pGvSQhWt76g59 VYLAW4Q8KBy+zjCXb6QsIRF/gR5DoT9QOMK3OXpprZssww+YPb0HlDcL8bdon/GIaQ2f PHbA== X-Gm-Message-State: AOAM532Jb2XPBfGYe0OgV+m8x2TKgJ0VUoDJGC8dUNuAC7fhslylin8T J2B4dnR4jL20tTckEKmzzgTX9eru X-Google-Smtp-Source: ABdhPJxL8BNne2eM0YCX+A5NjB3+UaoWpz7DyO+BZSVzxxRTAb66CBq7kkX3Qco3f70ZeBec0CXkNw== X-Received: by 2002:a05:6e02:487:: with SMTP id b7mr4950570ils.100.1594907799596; Thu, 16 Jul 2020 06:56:39 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.de.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id c9sm2659691ilm.57.2020.07.16.06.56.38 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 Jul 2020 06:56:38 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Thu, 16 Jul 2020 09:56:38 -0400 To: caml-list@inria.fr Message-ID: <5f105c96b5f04_d5ed29416e@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18196 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: FINAL CALL FOR TUTORIAL, DISCUSSION, AND SOCIAL EVENT PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 23-28, 2020. 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". To increase social interaction on the first ICFP virtual conference, this year we invite proposals for social events on topics of broader interest to the PL community. Such events can be panels and discussions (in the lines of the successful #ShutDownPL event), focused discussions (e.g., problem identifications, retrospective analysis, technical demos), social activities (e.g., treasure hunt, bingo, problem solving, artistic challenges). The typical duration of such events ranges from 30 minutes to one hour, but can be of any length. Tutorials may occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. Social events may be scheduled throughout the week. ---------------------------------------------------------------------- Submission details Deadline for submission: July 17th, 2020 Notification of acceptance: July 22nd, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2020 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020@googlegroups.com by July 17th, 2020. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 22nd, 2020. The proposal form is available at: http://www.icfpconference.org/icfp2020-files/icfp20-panel-form.txt http://www.icfpconference.org/icfp2020-files/icfp20-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2020 organizing committee. Tutorials Co-Chair: Jennifer Hackett (University of Nottingham) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Stephanie Weirich (University of Pennsylvania) Program Chair: Adam Chlipala (MIT) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020@googlegroups.com