<div dir="ltr"><div>Dear Friends and Colleagues,<br></div><div dir="ltr"><span style="font-size:12.8px"><br></span></div><div dir="ltr"><span style="font-size:12.8px">We
have a great pleasure inviting you to participate in this year's
edition of the ACM SIGPLAN Workshop on Higher-Order Programming with
Effects (</span><a href="https://icfp18.sigplan.org/track/hope-2018-papers" style="font-size:12.8px" target="_blank">https://icfp18.sigplan.org/tr<wbr>ack/hope-2018-papers</a><span style="font-size:12.8px">).
The HOPE workshop series are intended to bring together researchers
interested in the design, semantics, implementation, and verification of
higher-order effectful programs. They are *informal*, consisting of
invited talks, contributed talks on work in progress, and open-ended
discussion sessions. They are dedicated to John Reynolds, whose work is
an inspiration to us all.</span><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"><br><br></span><span style="font-size:12.8px">**Call for Presentations**</span><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"><br><br>We
solicit proposals for contributed talks. We recommend preparing
proposals of *at most 2 pages*, in PDF format.
However, we will accept longer proposals or submissions to other
conferences, under the understanding that PC members are only expected
to read the first two pages of such longer submissions. When submitting
talk proposals, authors should specify how long a talk the speaker
wishes to give. By default, contributed talks will be 30 minutes long,
but proposals for shorter or longer talks will also be considered.
Speakers may also submit supplementary material (e.g., a full paper,
talk slides) if they desire, which PC members are free (but not
expected) to read.<br><br>We are interested in talks on all topics
related to the interaction of higher-order programming and computational
effects. Talks about work in progress are particularly encouraged. If
you have any questions about the relevance of a particular topic, please
contact the PC chairs, Filip Sieczkowski (<a href="mailto:efes@cs.uni.wroc.pl" target="_blank">efes@cs.uni.wroc.pl</a>) and François Pottier (<a href="mailto:francois.pottier@inria.fr" target="_blank">francois.pottier@inria.fr</a>).</span></div><div dir="ltr"><br><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"></span></div><div dir="ltr"><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px">** Submission link **</span></div><div dir="ltr"><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"><br></span></div><div dir="ltr"><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"><a href="https://icfp-hope18.hotcrp.com/">https://icfp-hope18.hotcrp.com/</a><br></span></div><div dir="ltr"><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"><br></span></div><div dir="ltr"><span class="gmail-m_-6565511840209223440gmail-m_-419517070072972727gmail-im" style="font-size:12.8px"></span><span style="font-size:12.8px">**Important Dates**</span><br style="font-size:12.8px"><br style="font-size:12.8px"><span style="font-size:12.8px">* Deadline for talk proposals: June 8th, 2018 (Friday)</span><br style="font-size:12.8px"><span style="font-size:12.8px">* Notification of acceptance: July 8th, 2018 (Sunday)</span><br style="font-size:12.8px"><span style="font-size:12.8px">* Workshop: September 23, 2018 (Sunday)</span><br style="font-size:12.8px"><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">— Best regards,</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Filip Sieczkowski and François Pottier, PC co-chairs</div></div><br></div>