[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
([email protected]<mailto:[email protected]>)
and Ohad Kammar ([email protected]<mailto:[email protected]>).
* 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.
