From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1432CE6EE3 for ; Sat, 20 Mar 2021 09:01:24 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oleg@okmij.org) identity=pra; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of oleg@okmij.org designates 66.39.3.114 as permitted sender) identity=mailfrom; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail1.g3.pair.com) identity=helo; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="postmaster@mail1.g3.pair.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3AMKqTXR+ctVmFX/9uWdq8ngc9DhMPi/DPJgcQr6A?= =?us-ascii?q?foPdwSMyLwZ3uMQTl6Ol3ixeRBMOHsqMC0rGH+Pm8AiQp2tWoiDg6aptCVhsI2?= =?us-ascii?q?409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF?= =?us-ascii?q?7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAvVu8UZnIdvJag8wQbVr3VVf?= =?us-ascii?q?Ohb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRn?= =?us-ascii?q?YUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuh?= =?us-ascii?q?SwaMTMy7WPZhdFqjK9DrhyvpwJxzZPXbo6aKPVxY63ScMgGRWZdRMtdSzBND5m?= =?us-ascii?q?iY4YJEuEPPfxYr474p1YWtBW+ARejBOzywTJPgX/22bM10+s6HAHB3wwgGtMOs?= =?us-ascii?q?HbOoNXyLqcSXvm4wa/VxjrMc/1Ywy3y6JTUch8/u/GMW6p9f8TfxEQtGQ7IgVS?= =?us-ascii?q?dpI/qMj6byukAsGeW4eRvW++ulWIqqBx8rzehyMkihYTEmJ4YxF7a+Chk3oo7J?= =?us-ascii?q?dy1RVB/bNOiDZBeuSaaN45sTcMjRWFloD06yrwJuZ6jeCgF0pInywTYa/ydfIi?= =?us-ascii?q?F5A/oWuWJITpghX9oeaizihi2/ES6xODwTNS43EtFoyZdj9XAqnEA2wbO5sWHR?= =?us-ascii?q?fZx5Fqt1SiA2gzJ9O1JIU45mKzGIJA72LEwjIAcsUHbEy/2hkr2iKiWe10h+ue?= =?us-ascii?q?y6uTnZqjqqoWTN4J6kA3+Kr4hms2lAegiLgcOWG2b9fy91L3l40L5XK1Hg/w3n?= =?us-ascii?q?6XDvp3XId4Xq6CjDwNIz4ou5A6zDzK839QZmXkHIkhFeBWCj4XxPFHOJO73Dfi?= =?us-ascii?q?kjlSrkzdrwvHGPr/7DpXKNHjDn6/tfaxh5E5E1Aoz0ddf6opIBb4bJfLzXlb9t?= =?us-ascii?q?NjZDh8iLwy52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJVG8Ar6fvMs4vq?= =?us-ascii?q?riX4ihXcce7Oo1N0ZciOWBPNjdmKdbHWk1tAFHGgiuQk7Te6sj0eNB20AL02uV?= =?us-ascii?q?r4xs2loQLmtCp3OE9jFqIzE5z+yG9htXk4DEkqFeV/vdICFWbELci3AeqdJonk?= =?us-ascii?q?/TbGkDrQZ+1SuuQv9o5JiJ+vQo2sX7tT73dlvoebUkENqnRRESv+F2mTIdFla2?= =?us-ascii?q?2YBRjs4xqd6yWR6yVKC0+5/mfMKTLRu?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AV4gTcanLeSsvYhU5w0uN4V29wQ3pDfLH3DAb?= =?us-ascii?q?vn1ZSRFFG/GwvcaogfgdyFvYiCwJXmshhNCHP8C7MBbh3LRy5pQcOqrnYRn+tA?= =?us-ascii?q?KTXeNfxKbr3jGIIUDD38FH06MIScRDIfnRKXQ/ssrg+gm/FL8bsbq62YShheKb?= =?us-ascii?q?4HFpSAd1d7gl0gERMGamO2l7XhNPC5Z8NLf03Kt6jgGtc3gWcci3b0NtN4Oom/?= =?us-ascii?q?TwiJnkbRQabiRI1CCyi1qTh4LSLwKVxVM3XT9J3N4ZgAz4rzA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKAQAHq1Vgh3IDJ0JagQmEcVcBODGNR?= =?us-ascii?q?og/nGALAQMBDSgKAgQBAYZNAh0HAQQ0EwIQAQEFAQEBAgEDAwQBEwEBAQENCwk?= =?us-ascii?q?IKYVoDYI4IoQrgTRcgnABgwYBD6sogTSEQwWGBgaBOY1pDw2BSEOBEYNag3eBF?= =?us-ascii?q?oJ+gisEgnF4GHEfDSQDDA6BFp13mxxOMoMQgS2BOYZuhxSLXzGDRIJth3yGCpA?= =?us-ascii?q?CAYpslWySNhWEdIFrgXxNMAiDJFAZDVaNYohqhVQyATE4AgYKAQEDCViOfQEB?= X-IPAS-Result: =?us-ascii?q?A0DKAQAHq1Vgh3IDJ0JagQmEcVcBODGNRog/nGALAQMBDSg?= =?us-ascii?q?KAgQBAYZNAh0HAQQ0EwIQAQEFAQEBAgEDAwQBEwEBAQENCwkIKYVoDYI4IoQrg?= =?us-ascii?q?TRcgnABgwYBD6sogTSEQwWGBgaBOY1pDw2BSEOBEYNag3eBFoJ+gisEgnF4GHE?= =?us-ascii?q?fDSQDDA6BFp13mxxOMoMQgS2BOYZuhxSLXzGDRIJth3yGCpACAYpslWySNhWEd?= =?us-ascii?q?IFrgXxNMAiDJFAZDVaNYohqhVQyATE4AgYKAQEDCViOfQEB?= X-IronPort-AV: E=Sophos;i="5.81,264,1610406000"; d="scan'208";a="376311915" X-MGA-submission: =?us-ascii?q?MDGMaxdxw8e72XppgeCwpi7nld7SNSUYbmNmDm?= =?us-ascii?q?rgplTjRjFX1gZJdSqCy+PnumylKnSC5fSMmAdL6FbT81WxnL+/FfSUSX?= =?us-ascii?q?7lg6Hu7eIoblha3PNAt5mBL3vGF5j1UIkt23Lkaprs+g28kCa0LNjlbz?= =?us-ascii?q?TArBncNQnyELfxQH8ywJcKuw=3D=3D?= Received: from mail1.g3.pair.com ([66.39.3.114]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Mar 2021 09:01:22 +0100 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id D45403FBA60; Sat, 20 Mar 2021 04:01:19 -0400 (EDT) Received: from Melchior.localnet (KD106154124253.au-net.ne.jp [106.154.124.253]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id 9442C582C95; Sat, 20 Mar 2021 04:01:18 -0400 (EDT) Date: Sat, 20 Mar 2021 17:06:40 +0900 From: Oleg To: caml-list@inria.fr Message-ID: <20210320080640.GA3156@Melchior.localnet> Mail-Followup-To: Oleg , caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) Subject: [Caml-list] [CFP] HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 22nd, 2021 (Sun), ONLINE (immediately after main ICFP) Call-for presentations https://icfp21.sigplan.org/home/hope-2021 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Oleg Kiselyov (oleg@okmij.org) and Ohad Kammar (ohad.kammar@ed.ac.uk). * Deadline for talk proposals: **May 6th, 2021** (Thursday) * Notification of acceptance: **June 14th, 2021** (Monday) * Workshop: **August 22nd, 2021** (Sunday) Program Committee Anton Bachin USA Eli Bingham Broad Institute, USA Liron Cohen Ben Gurion Univeristy, Israel Ohad Kammar (co-chair) University of Edinburgh, Scotland, UK Jeehoon Kang KAIST, South Korea Oleg Kiselyov (co-chair) Tohoku University, Japan Andreas Rossberg DFinity Foundation, Germany Kathrin Stark Princeton University, New Jersey, USA Simon Thompson University of Kent / IOHK, England, UK