CAUTION: The Sender of this email is not from within Dalhousie. HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 22nd, 2021 (Sun), ONLINE (immediately before the 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<mailto:oleg@okmij.org>) and Ohad Kammar (ohad.kammar@ed.ac.uk<mailto: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 The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]