<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr">
<div dir="ltr"></div>
<div class="gmail_quote">
<div dir="ltr">
<div id="gmail-m_8349410020008640794gmail-:q29">Call-for presentations <a href="https://icfp21.sigplan.org/home/hope-2021" rel="noreferrer" target="_blank">
https://icfp21.sigplan.org/home/hope-2021</a></div>
<div><br>
</div>
<div>Submissions are lightweight (2 pages excluding references and appendices).</div>
<br>
<div>HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects<br>
August 22nd, 2021 (Sun), ONLINE (immediately before the main ICFP)</div>
<div><br>
HOPE is an established informal workshop bringing together researchers<br>
interested in the design, semantics, implementation, and verification<br>
of higher-order effectful programs. Talks about work in progress are<br>
particularly encouraged. It has been held since 2012 in affiliation<br>
with ICFP.<br>
<br>
We solicit proposals for contributed talks, in plain text or PDF<br>
format. The motivation, the problem to solve, accomplished and<br>
anticipated results should be clear from two first pages of the<br>
submission. By default contributed talks are about 30 minutes long;<br>
proposals for shorter or longer talks will also be<br>
considered. Speakers may also submit supplementary material (e.g. a<br>
full paper, talk slides), which PC members are free (but not expected)<br>
to read. If you have any questions about the relevance of a particular<br>
topic, please contact the PC chairs, <span>Oleg</span> <span>Kiselyov</span> (<a href="mailto:oleg@okmij.org" target="_blank"><span>oleg</span>@okmij.org</a>)<br>
and Ohad Kammar (<a href="mailto:ohad.kammar@ed.ac.uk" target="_blank">ohad.kammar@ed.ac.uk</a>).<br>
<br>
<span style="font-family:monospace">* Deadline for talk proposals: **May 13th, 2021** (Thursday)<br>
* Notification of acceptance: **June 14th, 2021** (Monday)<br>
* Workshop: **August 22nd, 2021** (Sunday)<br>
</span><br>
Program Committee<br>
<br>
<span style="font-family:monospace">Anton Bachin USA<br>
Eli Bingham Broad Institute, USA<br>
Liron Cohen Ben Gurion Univeristy, Israel<br>
Ohad Kammar (co-chair) University of Edinburgh, Scotland, UK<br>
Jeehoon Kang KAIST, South Korea<br>
<span>Oleg</span> <span>Kiselyov</span> (co-chair) Tohoku University, Japan<br>
Andreas Rossberg DFinity Foundation, Germany<br>
Kathrin Stark Princeton University, New Jersey, USA<br>
Simon Thompson University of Kent / IOHK, England, UK</span><br>
</div>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
</blockquote>
</div>
</div>
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.
</body>
</html>