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 0AE845D4 for ; Wed, 17 Jun 2020 00:18:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,520,1583190000"; d="scan'208";a="455076190" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jun 2020 02:18:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7CEDE0325; Wed, 17 Jun 2020 02:18: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 658BFE028D for ; Wed, 17 Jun 2020 02:18:49 +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-f171.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ACBb+dBICAIr++3tH69mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfLfzxwZ3uMQTl6Ol3ixeRBMOHsq8C0rWP+Pu5EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCe9bL9oMRm7rxjdusYYjId/N6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9gqJVrhy/pBJx3oHbb52aOvdlYqPQf8kXSXZdUspNVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt5TzqEELrRCjGwesA/jgyj5OhnPv36M61PguEQHd3Aw8Bd0BrW?= =?us-ascii?q?jUp8jyOacTTe+1wrHIwS/bb/NLwjj97InIfQwgofGQXbN9asXRyU4oFwPKilWf?= =?us-ascii?q?t4nlMCmU1uQJqWSU8+1gVee2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYs1Jt?= =?us-ascii?q?C2SFN2bMOkHpZNty+XNIp7T98+Tmxspis3xaELtIK5cSUU1JkqxBHSZvyGfoWI?= =?us-ascii?q?7R/uVuafLSp3in95ZL6ygQu5/0anyu35TMa00VBKozJektnNuXANzxjT5dKBSv?= =?us-ascii?q?dn+UehwzmP2xjS6u5YL0A0jbbUK5knwr4+iJUTq1rMHinql0rolqOWcV8k+ueu?= =?us-ascii?q?5u/6YbvmvoeRO5Fohgz6KKgjmcyyDf4lPgUPXmWX4/mw2b/+8UHhQbhHjec6n6?= =?us-ascii?q?bZvZzAJ8kXuLS1DxJa34o/7Ru0Ei2o384CnXYdKVJIYBKHgJbtO1HJOP34CO2w?= =?us-ascii?q?g1WokDtyxvDGOqDtDozDLnTekrrtYKxx60FbyAo0wtBf44xbBqsdL/L0X0/9rN?= =?us-ascii?q?3YDhknPAyo2+vrFslx24cEVW+MAqKVKr7evF6J6+41PuWBZpIZtC74K/c/5v7u?= =?us-ascii?q?iXE5mUUafamsxZYXaWy3Hvp+I0mDeXrsn8wOEWMLvgUiTezqlF2DXCVcZ3a1WK?= =?us-ascii?q?I86TU7B5yjDYjZR4CthKaN0zu8Hp1TfmxGEEyDEW/0d4WYXPcBcD6dLdVkkjwA?= =?us-ascii?q?TLShT44h1QqytALh0LpmLu/U+jUCup751dh14ffTlRAo+jBuAcSdyTLFc2YhlW?= =?us-ascii?q?oNQ3oy3btjiU170FaKl6Zi0NJCEtkG3PpMGjs9P5/aisx9ANDpRgvNYp/dSV2o?= =?us-ascii?q?WpO+HDs1T9kw384mbEF6FNGvixnC22yhBLpDxO/DP4A97q+Jhyu5HM160XuTjP?= =?us-ascii?q?B93WljedNGMCidvoA67xLaXtCbnEKemKKncK0d2GjG82LRlTPT7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aZkbSqo6ntEbLTrvrCLB+dwUYlpfEJaxNZdnky15BQaW7YYWMUyeKg261QC?= =?us-ascii?q?2w6PaJZYvudX8a2XyDWkcDlA8X8HOPNAx4DSCk8TvT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DsAQAaYOlegKumVdFmgQmBSoF7gR5VX?= =?us-ascii?q?oQkiQGiCRSBEANVCwEDAQoBAQUeCgIEAQGGXgIcBwEEMgcOAhABAQUBAQECAQM?= =?us-ascii?q?DBAETAQEJDQkIJ4VkDII7IoMuCwYdAScSAxIfAiYCNgEFATUIAQsOgjlMgkoBA?= =?us-ascii?q?wklD6oKgQQ9iyiBMoMCBYR8CkENghkCBwkBCHwqjFuBE4EHgRGDToEEgwQBEgF?= =?us-ascii?q?ugkeCYASOfxKKfZo0B4JdBIg7kGAggnCJGoRgDY1xmyqUJgIKBwYPI4E3DoEKc?= =?us-ascii?q?DQZI4M5CUcZDVYBjV+DWYUUhV4lMwI1AgYIAQEDCViQGAEB?= X-IPAS-Result: =?us-ascii?q?A0DsAQAaYOlegKumVdFmgQmBSoF7gR5VXoQkiQGiCRSBEAN?= =?us-ascii?q?VCwEDAQoBAQUeCgIEAQGGXgIcBwEEMgcOAhABAQUBAQECAQMDBAETAQEJDQkIJ?= =?us-ascii?q?4VkDII7IoMuCwYdAScSAxIfAiYCNgEFATUIAQsOgjlMgkoBAwklD6oKgQQ9iyi?= =?us-ascii?q?BMoMCBYR8CkENghkCBwkBCHwqjFuBE4EHgRGDToEEgwQBEgFugkeCYASOfxKKf?= =?us-ascii?q?Zo0B4JdBIg7kGAggnCJGoRgDY1xmyqUJgIKBwYPI4E3DoEKcDQZI4M5CUcZDVY?= =?us-ascii?q?BjV+DWYUUhV4lMwI1AgYIAQEDCViQGAEB?= X-IronPort-AV: E=Sophos;i="5.73,520,1583190000"; d="scan'208";a="455076136" X-MGA-submission: =?us-ascii?q?MDFzdEXyCICuazHI6lgQiyjv3ZXiFAq9IR6kQ9?= =?us-ascii?q?gTJs3LLk/WmzIVIsuyuWC78aUUPWqOX/8kl5Nuv0yAN7P+Ex5pz2YnJ0?= =?us-ascii?q?R6B2HnthPRY39Z/8ddaJpe5xDJjFLuHsxnGc7wWu/oljnpsZweCiN6eN?= =?us-ascii?q?vgweV/OzPU7oLIc416Y5i2Ow=3D=3D?= Received: from mail-il1-f171.google.com ([209.85.166.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Jun 2020 02:18:47 +0200 Received: by mail-il1-f171.google.com with SMTP id j19so369028ilk.9 for ; Tue, 16 Jun 2020 17:18:47 -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=KzkoW/qwJBTUguhwvlAyoc5mDMvA1grKBwbKYvmTw3g=; b=XKLZl0xOIZnViTER6UBC/UKWGk+9l1Mjpf5wC2hLfT+pUqbdG3iMcxsjiyeWEFZPQh rzdPMHgpmwzQtbyxdGvwuCSJ6lZKxVvw05x1wPBi26yTLQxzoh3cY3EN9D3us/YaQN6v bz6gBF9p7tok0s/dKvOuJn0CajgxPYwXgVGI8a4fcCqQJEITYYo6wjbZvM8692+T22JC 9XqI7FQ2eY7rLz4t1KW5vgtAzzYu+57wSGE+r5R62KppT00OqOi1c6f7N4k37+9bqvUv MfdiEy/Vz71CAzpDxSMvMldYZVv0fXL3ar8Tq6qOBjKQecZHAig9OeTEOkMJ+pOVcKoB rNcg== 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=KzkoW/qwJBTUguhwvlAyoc5mDMvA1grKBwbKYvmTw3g=; b=G4R2E3YWpMPKhJ0aVAAmxKmqPlhgdnMEUfXfMctrQaiObRHqLbPZqX/cOGI5NMwCyG DmNdAUvhxzNVDKR6GcCImi0qXvLp/+/zEHYtmi5u7Y+u9y/DNNpP3SLAyPAAK/huC5b2 1hbsK/xEW918Vk8LQ4BRR6n/QmRrbtRq6Pe+93bOcK0+6CxbtlkTMHJDQydzbToY4/0v HpCeCcDoQC0p1xZxGnFUxqY8tDhpEGSBTmqaLAd8N71iDN4rZf9lmttz8FbbCrOTDhpI EEo12UCNY5nkdpHPXKsXtBbTEQhjV1uW/kHxPXhMpuTPWJdMHoz35VvhgkNhSHiYi2zt JMBQ== X-Gm-Message-State: AOAM532mM7KzxzgaWTxps80OMNdpybe9oH9OF84gwnWEjYvtQNNM23Kh c7ZBYSoHLgWzCNT/AasXR/nFUA6H X-Google-Smtp-Source: ABdhPJyvSvGA0w62Ge8CaMf1j6BjyKLCRyJ2TCSplARXMGCisF1fnIvf9kkivTDsgmWpescTKqfuDg== X-Received: by 2002:a05:6e02:6c9:: with SMTP id p9mr5485132ils.185.1592353126378; Tue, 16 Jun 2020 17:18:46 -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 p25sm10643859iog.47.2020.06.16.17.18.45 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 16 Jun 2020 17:18:46 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Tue, 16 Jun 2020 20:18:45 -0400 To: caml-list@inria.fr Message-ID: <5ee96165b178f_223a22abfa25865c480f6@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Tutorial Proposals: ICFP 2020 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18170 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 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". This year, following the success of the #ShutDownPL event, 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 23 or August 27-28. ---------------------------------------------------------------------- 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