[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call-for presentations https://icfp21.sigplan.org/home/hope-2021 Submissions are lightweight (2 pages excluding references and appendices). HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 22nd, 2021 (Sun), ONLINE (immediately before the main ICFP) 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 (o...@okmij.org<mailto:o...@okmij.org>) and Ohad Kammar (ohad.kam...@ed.ac.uk<mailto:ohad.kam...@ed.ac.uk>). * Deadline for talk proposals: **May 13th, 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.