<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div class="moz-text-html" lang="x-unicode"><font face="monospace">The deadline has been extended by a week to enable more people to<br>
submit their work. The new deadline is <b>*Wednesday June 8, 2022 AoE*</b>.<br>
<br>
HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects<br>
September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022)<br>
<br>
Call-for presentations <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://icfp22.sigplan.org/home/hope-2022__;!!IBzWLUs!SMmgqgsczR86_nTxQeKz40GX2eMPDkH2OgrBofPKQqu-RYQkWtVTBiePt0AlCfUnSqggMhbHl63pjJ5V_Bikoy2uQFw1cP7e8z-sE8g91ys$">
https://icfp22.sigplan.org/home/hope-2022</a><br>
<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, Daniel Hillerström<br>
(<a class="moz-txt-link-abbreviated" href="mailto:daniel.hillerstrom@ed.ac.uk">daniel.hillerstrom@ed.ac.uk</a>) and Oleg Kiselyov (<a class="moz-txt-link-abbreviated" href="mailto:oleg@okmij.org">oleg@okmij.org</a>).<br>
<br>
* Deadline for talk proposals: **June 8th, 2022** (Wednesday)<br>
* Notification of acceptance: **July 13th, 2022** (Wednesday)<br>
* Workshop: **September 11th, 2022** (Sunday)<br>
<br>
Program Committee<br>
<br>
Jonathan Immanuel Brachthäuser University of Tübingen, Germany<br>
Edwin Brady University of St. Andrews, UK<br>
Daniel Hillerström (co-chair) University of Edinburgh, UK<br>
Mauro Jaskelioff National University of Rosario, Argentina<br>
Oleg Kiselyov (co-chair) Tohoku University, Japan<br>
Sean Moss University of Oxford, UK<br>
Maciej Piróg Huawei Research, UK<br>
Taro Sekiyama National Institute of Informatics, Japan<br>
Ningning Xie University of Cambridge, UK<br>
Yizhou Zhang University of Waterloo, Canada<br>
<br>
--<br>
Kind regards<br>
Daniel Hillerström<br>
<br>
Find me in Informatics Forum office 5.28/1.<br>
<br>
</font></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>