<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><font face="monospace">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!RmTbJowFh1AIrQC498Zwav_R8Yye4a9iF5uXNBez-y-MwzCUozi10r1UBeyfSgpO_-9fHlWKwYwJjO61vU7H69UTrAG1VG7aKZF1gIDYkEY$">
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 moz-txt-link-freetext" href="mailto:daniel.hillerstrom@ed.ac.uk">daniel.hillerstrom@ed.ac.uk</a>) and Oleg Kiselyov (<a class="moz-txt-link-abbreviated
moz-txt-link-freetext" href="mailto:oleg@okmij.org">oleg@okmij.org</a>).<br>
<br>
* Deadline for talk proposals: **June 1st, 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</font></p>
<div class="moz-signature">
<pre>--
Kind regards
Daniel Hillerström
Find me in <a href="https://urldefense.com/v3/__https://www.google.co.uk/maps/place/Informatics*Forum/@55.944781,-3.187282,15z/data=*214m2*213m1*211s0x0:0xb8b2415ee37c6dd4?sa=X&ved=0CGkQ_BIwC2oVChMI95qg5f6AyAIVRPEUCh1MEgNK__;KyUlJQ!!IBzWLUs!RmTbJowFh1AIrQC498Zwav_R8Yye4a9iF5uXNBez-y-MwzCUozi10r1UBeyfSgpO_-9fHlWKwYwJjO61vU7H69UTrAG1VG7aKZF1MRh0hkA$">Informatics Forum</a> office 5.28/1.</pre>
</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>