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 46DA85D5 for ; Wed, 30 Oct 2019 13:49:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,247,1569276000"; d="scan'208";a="409656737" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Oct 2019 14:49:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E72887F348; Wed, 30 Oct 2019 14:49:09 +0100 (CET) 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 A5C2A7F2D2 for ; Wed, 30 Oct 2019 14:49:06 +0100 (CET) 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-yw1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A3nMxRBUkPvUHD6cWmHpOwSadu1rV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRSBt8tkgFKBZ4jH8fUM07OQ7/m7HzVYut3c7jgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrNQajZdsJ6o+yhbEo2ZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJ/zYDafoKbOudxcazBct0XXnZBU8RLWiBdHo+w?= =?us-ascii?q?c4kCAuwcNuhYtYn9oF4OoAOjCwa2AePk1yFGhnjt0q071eQtCAPI3As8ENIOq3?= =?us-ascii?q?TUsM/6O7oOUeuoy6TIzCnMb/1O2Tvn8IjIbwsuofWNXb1scMrR1UkuGhjKjlWX?= =?us-ascii?q?rozlMDeV2foIs2eB7upgUfijhHIgqwF0uzWiwNonhIfOhoIQ0F/E9CN5zZ4uJd?= =?us-ascii?q?25R057edqkH4FWty2AMIt2WMwiT3lpuCkmxL0GoYK0fC8MyJQp2RHfceKIc46U?= =?us-ascii?q?7R39TuqRJi14hH1jdbmihBiy6VCtxvPgWsSwylpHrSpInsPRun0MyhDf8MeKRu?= =?us-ascii?q?Vl8ku/xTqDyx3f5+RZLU03i6XWKJsszqA1m5YNsknMBS37lUD4jKOKakko5u2l?= =?us-ascii?q?5uH6brr8qJKRM4l5gRzkPKs0gMywG+E4PxAOX2eF/eS806Xu/UjjT7VLiv06i6?= =?us-ascii?q?nYsZ7HKcgCqK60DBFZ3pws6xa4CDem39AYkmcdIF1ZfxKHipDlO1DIIP/mEfey?= =?us-ascii?q?m0qgnCtvyvzcPbDsAo/BImXCnbv8Z7pw5FBQxBI2zd9F5pJUDr8BIOj0Wk/0rN?= =?us-ascii?q?HYDwM2MwKsw+r9ENV9y5gRWWaOAqCFMaPSrV+J6/kgI+mLY48VtzL9JOYg5/H0?= =?us-ascii?q?jH85nUURcrWu3ZsScHy4BOhpI12FYXrwhdcMCXsFsRA7TOzukVGCVT9TZ22uX6?= =?us-ascii?q?8n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMCySgS4LRUP4JbGeWI9R9uj0C?= =?us-ascii?q?T7moDYE7hj+0swqv8LNiZtbT8Cwe8LLk39hu++TfiVlm9Dd6F4KFzmuJTmp1gn?= =?us-ascii?q?IgSDgx06RypEV8zhGI1q0u0K8QLsBa+/4cClRyDpXb1eEvU4mjCDKERc+ATROd?= =?us-ascii?q?evvjBDgwStwrxNpXPRRyHNKtih3G1iuuRbQSku7SXcFmwufnx3H0Yv1F5TPG2a?= =?us-ascii?q?0m1QR0R8JOMSi3mfc6+VSJQYHOlEqdmuChcqFOhHeRplfG9nKHuQRjaCA1Sb/M?= =?us-ascii?q?BC5NaUzRotD040rDS/mlDrF1agY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEAQADlLldgCqhVdFkHQEBAQkBEQUFA?= =?us-ascii?q?YFsBQELAYFKKYEYVVyEKI8Gmz2BEANUCQEDAQoBAQUeCgIBAYN7hC0cBwEEMwY?= =?us-ascii?q?OAgwBAQQBAQECAQIDBAETAQEJDQkIJ4VADII7IoMNCwYdAScSAxIfAiYCNgEFA?= =?us-ascii?q?TUIARmCNUyCRQEDCSUBDqZWgQM8iyWBMoJ/BYRPCkANgiICBwkBCHwoAYV5hhe?= =?us-ascii?q?BEIEHgRGDUIEEgVOBOwESAWyCQ4JeBI0BEoknlzQHgicDhw2OIRuCPIdXg3iLU?= =?us-ascii?q?5ZskSICCgcGDyOBRYEKcTQZI4MIATMJRxAUV4IvGINbhRSFPh0lMwGBA4s4gjA?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0AEAQADlLldgCqhVdFkHQEBAQkBEQUFAYFsBQELAYFKKYE?= =?us-ascii?q?YVVyEKI8Gmz2BEANUCQEDAQoBAQUeCgIBAYN7hC0cBwEEMwYOAgwBAQQBAQECA?= =?us-ascii?q?QIDBAETAQEJDQkIJ4VADII7IoMNCwYdAScSAxIfAiYCNgEFATUIARmCNUyCRQE?= =?us-ascii?q?DCSUBDqZWgQM8iyWBMoJ/BYRPCkANgiICBwkBCHwoAYV5hheBEIEHgRGDUIEEg?= =?us-ascii?q?VOBOwESAWyCQ4JeBI0BEoknlzQHgicDhw2OIRuCPIdXg3iLU5ZskSICCgcGDyO?= =?us-ascii?q?BRYEKcTQZI4MIATMJRxAUV4IvGINbhRSFPh0lMwGBA4s4gjABAQ?= X-IronPort-AV: E=Sophos;i="5.68,247,1569276000"; d="scan'208";a="325132616" X-MGA-submission: =?us-ascii?q?MDHcqrQ9ykSUXNi2ttnlZxVfkomEyAN5EQSXqU?= =?us-ascii?q?2SbokwndS6PfR+BONllbmvTAdxZSZBDmerAzMFk3IteIUUoOjTLhM4FL?= =?us-ascii?q?OSz5+SOetqjNF64x0qKsn9rChRiE2xEGB3hgIg/mJd18J3V3IdLUuuRa?= =?us-ascii?q?j+KkIkRjUxfQzubObzMMptNw=3D=3D?= Received: from mail-yw1-f42.google.com ([209.85.161.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Oct 2019 14:49:05 +0100 Received: by mail-yw1-f42.google.com with SMTP id i123so830796ywe.11 for ; Wed, 30 Oct 2019 06:49:05 -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=KNczyXrx1TZ9y9EuRXe5HW9/FX959UxYDmCiU4RKz50=; b=DVM6mdFU1rJg0Kxw0v/K2hjB3wAt6mz/VKRs6W+fp0J31FP45oaVW2clqTwB/JmSfs UjGGBpm51KtpQLhn1ytmbfJUqSGA5sCcbOkLx9+krDMpGkH0+yedvWIID8/8ubZ5TcH4 6MPL4w1l2PkUosB68S80Fp8ACPBf/frqoTQEwyI0uBbeYf0Vbz2U3h3jDNRIVAMY/uy0 z+KXEtUXZNABlfs8tPtATyZhnqfGsoNB1OXpJUWy8P/LZc+2Y5cqkrjlJR9yB6B9h0j0 rSV/NhlNXpUmX0kVNNnf5hfeNjpOFyt+1gyK5gfzF14Lo3Vt34wLbK0NwfGIEnDAdOM/ 5/mw== 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=KNczyXrx1TZ9y9EuRXe5HW9/FX959UxYDmCiU4RKz50=; b=RPUMp8lh9mudPN3TRWNWQSnHv+TW9TVKjF/r3gjI5OYfYzKaP6Eknzx7EcsI9QdXfM TDW3ypN8b5GrcSEGy46c0UCuLCgVeszZH3I3bSy8yhVxPklusdNJ1AsyE0ayOTqqSWga hZIPnsFcdZ2LHrJtiRAookyYZ4nXNHP/uzny8X+1ZzofAFWd+ZCUav6zG6XlcOc8QHs3 IDQ8w1GP5EaVPsDm26Lk0Q7jP+8ovEeU/QRzkOjIR7zJAcCbycw51Gret2tbUumlvWIo X+qpm5VjcHD9VJKkMpaeAL34+BxyCK71wCNJCi3KErU37uamCxiWSiteb/uHm+jyIQ6t xNJw== X-Gm-Message-State: APjAAAV4XsfRfbmdqvtzB0igXmX4j9nRiRZ0X4WmSAxcIZQ3jBD2B4YZ lZBIEa9DU8I5AU44fuzv7X3Lno8h X-Google-Smtp-Source: APXvYqyLnAtWaRxc9C+sSFFHPoUMnSA8BGUG6Q3iV5Zt6zfrqJFeGUGlyfh6Tq/VlcWeZW1PpKuvZg== X-Received: by 2002:a81:2d43:: with SMTP id t64mr20146465ywt.372.1572443344182; Wed, 30 Oct 2019 06:49:04 -0700 (PDT) Received: from icfp.publicity ([2001:18e8:2:28b7:f000::1a39]) by smtp.gmail.com with ESMTPSA id j136sm121406ywj.17.2019.10.30.06.49.03 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 30 Oct 2019 06:49:03 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 30 Oct 2019 09:49:04 -0400 To: caml-list@inria.fr Message-ID: <5db994d024c5_2a3d2af7799bc5bc2128@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Workshop Proposals: ICFP 2020 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17856 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: CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Jersey City, NJ, US https://icfp19.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held in Jersey City, New Jersey 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 workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2020 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 23rd (the day before ICFP) and 27-28th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 15, 2019 Notification of acceptance: December 13, 2019 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop 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 November 15, 2019. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 13, 2019, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2020-files/icfp20-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2020 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Jennifer Hackett (University of Nottingham) Workshop 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 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020@googlegroups.com.