<div dir="ltr"><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC1" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">TL;DR</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC2" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> Deadline for HOPE 2023 abstracts is on May 31, 2023.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC3" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> Details below.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC4" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">----------------------------------------------------------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC5" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC6" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> HOPE 2023</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC7" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC8" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> The 11th ACM SIGPLAN Workshop on</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC9" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> Higher-Order Programming with Effects</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC10" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC11" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> September 4, 2023</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC12" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> Seattle, Washington, USA</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC13" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> (the day before ICFP 2023)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC14" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC15" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> <a href="https://icfp23.sigplan.org/home/hope-2023">https://icfp23.sigplan.org/home/hope-2023</a></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC16" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC17" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">HOPE 2023 aims at bringing together researchers interested in the</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC18" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">design, semantics, implementation, and verification of higher-order</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC19" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">effectful programs. It will be *informal*, consisting of contributed</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC20" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">talks on work in progress, and open-ended discussion sessions.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC21" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC22" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">----------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC23" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Call for Talk Proposals</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC24" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">-----------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC25" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC26" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">We solicit proposals for contributed talks. We recommend preparing</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC27" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">proposals of at most 2 pages excluding references, in either plain</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC28" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">text or PDF format. However, we will accept longer proposals or</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC29" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">submissions to other conferences, under the understanding that PC</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC30" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">members are only expected to read the first two pages of such longer</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC31" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">submissions. When submitting talk proposals, authors should specify</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC32" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">how long a talk the speaker wishes to give. By default, contributed</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC33" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">talks will be 30 minutes long, but proposals for shorter or longer</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC34" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">talks will also be considered. Speakers may also submit supplementary</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC35" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">material (e.g. a full paper, talk slides) if they desire, which PC</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC36" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">members are free (but not expected) to read.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC37" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC38" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">We are interested in talks on all topics related to the interaction of</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC39" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">higher-order programming and computational effects. Talks about work</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC40" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">in progress are particularly encouraged. If you have any questions</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC41" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">about the relevance of a particular topic, please contact the PC</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC42" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">chairs, Daniel Hillerström (<a href="mailto:daniel.hillerstrom@ed.ac.uk">daniel.hillerstrom@ed.ac.uk</a>) and Max</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC43" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">S. New (<a href="mailto:maxsnew@umich.edu">maxsnew@umich.edu</a>).</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC44" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC45" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC46" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Deadline for talk proposals: May 31, 2023 (Wednesday)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC47" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC48" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Notification of acceptance: June 29, 2023 (Thursday)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC49" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC50" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Workshop: September 4, 2023 (Monday)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC51" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC52" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">The submission website is now open:</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC53" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC54" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line"> <a href="https://hope23.hotcrp.com">https://hope23.hotcrp.com</a></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC55" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC56" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC57" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">---------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC58" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Workshop Organization</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC59" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">---------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC60" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC61" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Program Committee:</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC62" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC63" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Casper Bach Poulsen (TU Delft)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC64" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Craig McLaughlin (University of New South Wales)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC65" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Cristina Matache (The University of Edinburgh)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC66" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Daniel Hillerström (co-chair) (Huawei Zurich Research Center)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC67" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Fredrik Nordvall Forsberg (University of Strathclyde)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC68" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">James Noble</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC69" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Małgorzata Biernacka (University of Wroclaw)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC70" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Matias Toro (University of Chile)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC71" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Max S. New (co-chair) (University of Michigan)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC72" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Shin-ya Katsumata (National Institute of Informatics)</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC73" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC74" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC75" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">---------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC76" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">Goals of the Workshop</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC77" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">---------------------</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC78" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC79" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">A recurring theme in the research of many ICFP attendees, is the</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC80" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">interaction of higher-order programming with various kinds of effects:</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC81" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">storage effects, I/O, control effects, concurrency, etc. While effects</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC82" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">are of critical importance in many applications, they also make it</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC83" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">hard to build, maintain, and reason about one's code. Higher-order</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC84" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">languages (both functional and object-oriented) provide a variety of</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC85" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">abstraction mechanisms to help "tame" or "encapsulate" effects</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC86" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">(e.g. monads, ADTs, ownership types, typestate, first-class events,</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC87" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">transactions, Hoare Type Theory, session types, substructural and</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC88" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">region-based type systems), and a number of different semantic models</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC89" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">and verification technologies have been developed in order to codify</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC90" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">and exploit the benefits of this encapsulation (e.g. bisimulations,</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC91" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">step-indexed Kripke logical relations, higher-order separation logic,</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC92" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">game semantics, various modal logics). But there remain many open</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC93" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">problems, and the field is highly active.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC94" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC95" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">The goal of the HOPE workshop is to bring researchers from a variety</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC96" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">of different backgrounds and perspectives together to exchange new and</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC97" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">exciting ideas concerning the design, semantics, implementation, and</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC98" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">verification of higher-order effectful programs.</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC99" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">
<br></td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC100" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">We want HOPE to be as informal and interactive as possible. The</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC101" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">program will thus involve a combination of invited talks, contributed</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC102" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">talks about work in progress, and open-ended discussion</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC103" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">sessions. There will be no published proceedings, but participants</td>
</tr>
<tr>
</tr></tbody></table><table class="gmail-highlight gmail-tab-size gmail-js-file-line-container gmail-js-code-nav-container gmail-js-tagsearch-file"><tbody><tr><td id="gmail-LC104" class="gmail-blob-code gmail-blob-code-inner gmail-js-file-line">will be invited to submit working documents, talk slides, etc. to be</td>
</tr>
<tr>
</tr></tbody></table>posted on this website.</div>