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 BCDA15D5 for ; Thu, 5 Nov 2020 02:56:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,452,1596492000"; d="scan'208";a="475927217" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Nov 2020 03:56:23 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 77AB4E0A9D; Thu, 5 Nov 2020 03:56:23 +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 0F4BFE0A9B for ; Thu, 5 Nov 2020 03:56:17 +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-io1-f49.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AkKMzfBEL2lhV+O/CKH1hHJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yociwAkXT6L1XgUPTWs2DsrQY0rWQ6vi+EjVfqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5wIRmssAndqsgbjYR/Jqsz1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOjgk+2/Vl8NwlrpWrhKvqRJhwIDafY6aO+ZxcK7GYdMXR3BMUtpNWyBdAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv0YAogG7BQKxGu3vzSRHhn7w3aEj0eohFh3J3Aw7H9ISqn?= =?us-ascii?q?vbscn1P7oVXOC00KbIwy3DY+lO2Tfg84fIdhEhru2NXbJsccvc0kYvFwTCjlWf?= =?us-ascii?q?rYzqITaV2f4Ms2if9eZvSeWvi2s+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKN?= =?us-ascii?q?C4S0N1YcOpHYZQuSyHN4V7QcIvTn10tSs+1LALtoK2cTQIxZk52xPSaPOKfoiJ?= =?us-ascii?q?7x/jW+ucIzd2iG9qdr+jmxq/91WrxOP7VsmxyllKryxFn8HXtnAM2BzT8syHRe?= =?us-ascii?q?F7/ku73jaPzQ/T5vlFIU8om6rbM4Iuwrk2lpodr0vDBDH5mEPqg6CIbEkk/fKo?= =?us-ascii?q?6+vhb777pZGcL5d5hh/iPqkqgMCyAuQ1PhITU2Wa+OmwzrLu8EnhTLhLjfA6iK?= =?us-ascii?q?bUvZDAKckZuKK1GRJZ34k/5xu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gCPew?= =?us-ascii?q?mVWskDNyy/DHOb3tH4zBLnbMnbrlZ7p95ElcyA08zdBb+Z1YEK0OIPX2WkPptd?= =?us-ascii?q?zYCAE2MxCszur5FNlw0pkSVGGPD6ODLa/fsF6F6vggLuSIfIMVvSzyK/kh5/7g?= =?us-ascii?q?l385nlodcLGo3ZQLZnC4Bu5qI12EYXX3htcBEHsFvgsiTO3qk1CCXjlTZ3G9X6?= =?us-ascii?q?I4+D47DZipDYbHRoy3nLOB2yK7EoVMZm9aElCMDWvod4KcVvgQci2SJ8thniUA?= =?us-ascii?q?VbigUI8hyQqjtBT6yrpiNurb4DcUtZPl1Nhv5u3cjws+9TJuD5fV72bYRGhxmi?= =?us-ascii?q?YMRiQq9KF5u010jFmZgoZihPkNLtVWr89OWAY8cL7bxOxhF9n+RkqVf9yHUBC+?= =?us-ascii?q?X9+iADowUsMZzNgJbEJwHtyjilbI2C/8UOxdrKCCGJFhqvGU5HP2Pcsoky+ahp?= =?us-ascii?q?lktEEvR450DUPjnrR2rlaBCInOnEGUkq+rceIX2yufrD7Sn1rLh1lRVUtLaYuA?= =?us-ascii?q?WHkeYkXMqtGguBHNSLihDbkiOwpFj8WFL/kTM4C7vRB9XP7mfe/mTSexlmO3X0?= =?us-ascii?q?vaw7qNaM/rfDxY0nmMTkcDlA8X8DCNMg1sXio=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DRAQB+aaNfhjGmVdFigQmBT4F7gR9WY?= =?us-ascii?q?IQ9iQWiV4FoCwEDAQsBAQUeCgIEAQGEBoJSAh0HAQQzBg4CEAEBBQEBAQIBAwM?= =?us-ascii?q?EARMBAQEMCwsIKYVoDII3IoMyCwYdAScSAxIfAiYCNgEFATUJGYI5SwGCSgEDC?= =?us-ascii?q?SUPo2GBBD2LMYEygwUFhD8KQQ2CGwIHCQEIfCqGVYZlgRSBB4ERg1CBBIFOgTc?= =?us-ascii?q?BEgFugkqCXwSQJhKMAlWbEgeCcASJBpF/IoMYihKFEA2PJp5FlUwCCgcGDyOBR?= =?us-ascii?q?4ELcDQZI4MFATMJRxkNV41gAoNXhRSFQx8jMwI2AgYKAQEDCViNcAEB?= X-IPAS-Result: =?us-ascii?q?A0DRAQB+aaNfhjGmVdFigQmBT4F7gR9WYIQ9iQWiV4FoCwE?= =?us-ascii?q?DAQsBAQUeCgIEAQGEBoJSAh0HAQQzBg4CEAEBBQEBAQIBAwMEARMBAQEMCwsIK?= =?us-ascii?q?YVoDII3IoMyCwYdAScSAxIfAiYCNgEFATUJGYI5SwGCSgEDCSUPo2GBBD2LMYE?= =?us-ascii?q?ygwUFhD8KQQ2CGwIHCQEIfCqGVYZlgRSBB4ERg1CBBIFOgTcBEgFugkqCXwSQJ?= =?us-ascii?q?hKMAlWbEgeCcASJBpF/IoMYihKFEA2PJp5FlUwCCgcGDyOBR4ELcDQZI4MFATM?= =?us-ascii?q?JRxkNV41gAoNXhRSFQx8jMwI2AgYKAQEDCViNcAEB?= X-IronPort-AV: E=Sophos;i="5.77,452,1596492000"; d="scan'208";a="363686870" X-MGA-submission: =?us-ascii?q?MDHWT66EPgF3cfptSXpypd6LbjMqrtlnuAFZ/f?= =?us-ascii?q?OGe/YVtq44AwVeMMsyetkUisu77tJRVzU+zO/iZl8fQIb4pkU2or0Ebl?= =?us-ascii?q?jHHnHNHH2S8q0p80uG8HYlZME/2ViGg7V1Mp4JhneOwdxROydWrK8CiN?= =?us-ascii?q?yLxAMXpK3NiuUhg99b8qahrg=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; 05 Nov 2020 03:55:52 +0100 Received: by mail-io1-f49.google.com with SMTP id u21so277021iol.12 for ; Wed, 04 Nov 2020 18:55:52 -0800 (PST) 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=qee2Keyg5bn3kNWva6eQwvbQY/MLBgy3YiSEXaxkQ2g=; b=l7uss759wAeBZdlJUmcT9W59gfWSkmK1KTbbv4IoUNrt5VmGfXqVATO6Rmsgew4UBy hy1+xxaREYSaEctQzi0dxo3e+j2W1seEccSI1mM1aES6CmM54nBkLwrJRZd3RPUIwxvs bOqtQmVVj5DdlyMC2Lm2k6C95YLWZG3w1fkqX9wEVlCaOpsNq2D0qjbcR2YJt1f/pphc BFSdtu0cODXjLK6uid86YhNy+3sHCnQ7P3tJnOLNtV5vI985y3sWKBxNzEFvPCueGip4 xJzUzBPqndiUWOSxGR/sdZ2odUM54W5cdJe5NuVXInlPgTzKdTCDXZ7IdpU0ZKKZ/y7s REyw== 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=qee2Keyg5bn3kNWva6eQwvbQY/MLBgy3YiSEXaxkQ2g=; b=g+YG9yF8CZ9rVbNDdsxD2Dix7dksHfhCzB97zXEx+5I+3NJZ+J15UVGvUyOOMXGrXv OSo313GhDugbLwlRIbS372Hs2n9uoiYv3QSl7uY2Z4wp8lmXddEcEqIN637ZyIuRify3 UO4rEbKESuXjl65qnuje75n1sOLiO2gFn4JjZal6GNB9tX2IdnAljsWfX1v1WrhDd2ib ODf4hYwfFW9XysvlcKeeHxjv4zeENEUl3m5UAV3C6FIP/oVzYpzC4TSN8MFZMWyTsvKI XxW8yAW2SgPhtC5fEn1AZGGM/rr5qomu+vPgAIWaH0Cw0evsRDwGopS0xJItiV26JtFg ieJA== X-Gm-Message-State: AOAM533SktPQE/mXSyn09RM1lw+z0hy/LS79L4efyGql/CdMdfmDbSDi rxg8lw/ZsJISe2pvyLT/8HnWqCHUnc0= X-Google-Smtp-Source: ABdhPJyc7KdAjizeMQ4gZm1KtLizc7jJy2dPeaku5ZSFpytNUrBKZgQqMNiceo07aoAsrexdY8sgRA== X-Received: by 2002:a02:c7c1:: with SMTP id s1mr443289jao.94.1604544951326; Wed, 04 Nov 2020 18:55:51 -0800 (PST) Received: from icfp.publicity (c-68-45-72-140.hsd1.de.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id y17sm119797ilj.7.2020.11.04.18.55.50 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Nov 2020 18:55:50 -0800 (PST) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 04 Nov 2020 21:55:50 -0500 To: caml-list@inria.fr Message-ID: <5fa369b68e4a2_5b58f294134@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 2021 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18280 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 WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2021 26th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Daejon, Korea https://icfp21.sigplan.org/ The 26th ACM SIGPLAN International Conference on Functional Programming will be held in Daejon, Korea on August 22-27, 2021, with the possibility of a virtual conference. 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 2021 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 22rd (the day before ICFP) and 26-27th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 27, 2020 Notification of acceptance: December 15, 2020 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 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou) via email to icfp-workshops-2021@googlegroups.com by November 27, 2020. (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 15, 2020, 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/icfp2021-files/icfp21-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 2021 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Zoe Paraskevopoulou (Northeastern University) Workshop Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Sukyoung Ryu (KAIST) Program Chair: Ronald Garcia (University of British Columbia) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Zoe Paraskevopoulou and Leonidas Lampropoulos), via email to icfp-workshops-2021@googlegroups.com.