<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">TL;DR: Talk proposal deadline for HOPE 2025 has been extended to June 19, 2025.<br>----------------------------------------------------------------------<br><br> HOPE 2025<br><br> The 13th ACM SIGPLAN Workshop on<br> Higher-Order Programming with Effects<br><br> October 12, 2025<br> Singapore<br> (the day before ICFP 2025)<br><br> https://conf.researchr.org/home/icfp-splash-2025/hope-2025<div><br>HOPE 2025 aims to bring together researchers interested in the design,<br>semantics, implementation, and verification of higher-order effectful<br>programs. It will be *informal*, consisting of invited talks, contributed talks<br>on work in progress, and open-ended discussion sessions.<br><br>----------------------<br>Call for Talk Proposals<br>-----------------------<br><br>We solicit proposals for contributed talks. We recommend preparing proposals of<br>at most 2 pages excluding references, in either plain text or PDF<br>format. However, we will accept longer proposals or submissions to other<br>conferences, under the understanding that PC members are only expected to read<br>the first two pages of such longer submissions. When submitting talk proposals,<br>authors should specify how long a talk the speaker wishes to give. By default,<br>contributed talks will be 30 minutes long, but proposals for shorter or longer<br>talks will also be considered. Speakers may also submit supplementary material<br>(e.g. a full paper, talk slides) if they desire, which PC members are free (but<br>not expected) to read.<br><br>We are interested in talks on all topics related to the interaction of<br>higher-order programming and computational effects. Talks about work in progress<br>are particularly encouraged. If you have any questions about the relevance of a<br>particular topic, please contact the PC chairs, Guilhem Jaber<br>(<a href="mailto:guilhem.jaber@inria.fr">guilhem.jaber@inria.fr</a>) and Taro Sekiyama (<a href="mailto:tsekiyama@acm.org">tsekiyama@acm.org</a>).<br><br>Deadline for talk proposals: June 19, 2025 (Thursday)<br><br>Notification of acceptance: July 17, 2025 (Thursday)<br><br>Workshop: October 12, 2025 (Sunday)<br><br>The submission website is now open:<br><br> https://hope25.hotcrp.com/u/1/<br>---------------------<br>Workshop Organization<br>---------------------<br><br>Program Committee:<br><br>William J. Bowman (University of British Columbia)<br>Zeinab Galal (University of Bologna)<br>Justin Hsu (Cornell University)<br>Guilhem Jaber (Nantes Université)<br>Danielle Marshall (University of Glasgow)<br>Alexandre Moine (New York University)<br>Takahiro Sanada (Fukui Prefectural University)<br>Taro Sekiyama (National Institute of Informatics)<br>Yahui Song (National University of Singapore)<br>Leo White (Jane Street)<br>Yizhou Zhang (University of Waterloo)<br><br>---------------------<br>Goals of the Workshop<br>---------------------<br><br>A recurring theme in many papers at ICFP, and in the research of many ICFP<br>attendees, is the interaction of higher-order programming with various kinds of<br>effects: storage effects, I/O, control effects, concurrency, etc. While effects<br>are of critical importance in many applications, they also make code harder to<br>build, maintain, and reason about. Higher-order languages (both functional and<br>object-oriented) provide a variety of abstraction mechanisms to help “tame” or<br>“encapsulate” effects (e.g. monads and handlers, ADTs, ownership types,<br>typestate, first-class events, transactions, Hoare Type Theory, session types,<br>substructural and region-based type systems), and a number of different semantic<br>models and verification technologies have been developed in order to codify and<br>exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed<br>Kripke logical relations, higher-order separation logic, game semantics, various<br>modal logics). But there remain many open problems, and the field is highly<br>active.<br><br>The goal of the HOPE workshop is to bring researchers from a variety of<br>different backgrounds and perspectives together to exchange new and exciting<br>ideas concerning the design, semantics, implementation, and verification of<br>higher-order effectful programs.<br><br>We want HOPE to be as informal and interactive as possible. The program will<br>thus involve a combination of invited talks, contributed talks about work in<br>progress, and open-ended discussion sessions. There will be no published<br>proceedings, but participants will be invited to submit working documents, talk<br>slides, etc., to be made available online.</div></body></html>