<div dir="ltr">TL;DR<br>    Deadline for HOPE 2024 abstracts is one week away on May 30, 2024.<br>    Details below.<br>----------------------------------------------------------------------<br><br>                           HOPE 2024<br><br>                The 12th ACM SIGPLAN Workshop on<br>              Higher-Order Programming with Effects<br><br>                        September 2, 2024<br>                      Milano, Italy<br>                   (the day before ICFP 2024)<br><br>              <a href="https://urldefense.com/v3/__https://icfp24.sigplan.org/home/hope-2024__;!!IBzWLUs!WrDbHJy7F-LLmF6ntUYt1Nkh2yAMYDHntgaRsSEPcH3jaMGCEoUCnpQW4NHuhmoXDHiJD5L7-UOzyRGiLrXE9aAvH34gNH6N$">https://icfp24.sigplan.org/home/hope-2024</a><br><br>HOPE 2024 aims at bringing together researchers interested in the<br>design, semantics, implementation, and verification of higher-order<br>effectful programs. It will be *informal*, consisting of contributed<br>talks on work in progress, and open-ended discussion sessions.<br><br>This year we are delighted to have Rasmus Ejlers Møgelberg <br>(IT University of Copenhagen) who will give the keynote presentation.<br><br>----------------------<br>Call for Talk Proposals<br>-----------------------<br><br>We solicit proposals for contributed talks. We recommend preparing<br>proposals of at most 2 pages excluding references, in either plain<br>text or PDF format. However, we will accept longer proposals or<br>submissions to other conferences, under the understanding that PC<br>members are only expected to read the first two pages of such longer<br>submissions. When submitting talk proposals, authors should specify<br>how long a talk the speaker wishes to give. By default, contributed<br>talks will be 30 minutes long, but proposals for shorter or longer<br>talks will also be considered. Speakers may also submit supplementary<br>material (e.g. a full paper, talk slides) if they desire, which PC<br>members are free (but 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<br>in progress are particularly encouraged. If you have any questions<br>about the relevance of a particular topic, please contact the PC<br>chairs, Guilhem Jaber (<a href="mailto:guilhem.jaber@univ-nantes.fr">guilhem.jaber@univ-nantes.fr</a>) and Max<br>S. New (<a href="mailto:maxsnew@umich.edu">maxsnew@umich.edu</a>).<br><br><br>Deadline for talk proposals:    May 30, 2024 (Thursday)<br><br>Notification of acceptance:         June 27, 2024 (Thursday)<br><br>Workshop:          September 2, 2024 (Monday)<br><br>The submission website is now open:<br><br>        <a href="https://urldefense.com/v3/__https://hope24.hotcrp.com__;!!IBzWLUs!WrDbHJy7F-LLmF6ntUYt1Nkh2yAMYDHntgaRsSEPcH3jaMGCEoUCnpQW4NHuhmoXDHiJD5L7-UOzyRGiLrXE9aAvH0zghPJJ$">https://hope24.hotcrp.com</a><br><br><br>---------------------<br>Workshop Organization<br>---------------------<br><br>Program Committee:<br>Aurore Alcolei (Inria Rennes)<br>Carlo Angiuli (Indiana University)<br>Patrick Bahr (IT University of Copenhagen)<br>Armaël Guéneau (Inria Saclay - LMF)<br>Guilhem Jaber (co-chair) (Nantes Université)<br>Jules Jacob (Cornell University)<br>Rodolphe Lepigre (BedRock systems)<br>Max S. New (co-chair) (University of Michigan)<br>Nicolas Wu (Imperial College London)<br>Irene Yoon (Inria Paris)<br>Maaike Zwart (IT University of Copenhagen)<br><br><br>---------------------<br>Goals of the Workshop<br>---------------------<br><br>A recurring theme in the research of many ICFP attendees, is the<br>interaction of higher-order programming with various kinds of effects:<br>storage effects, I/O, control effects, concurrency, etc. While effects<br>are of critical importance in many applications, they also make it<br>hard to build, maintain, and reason about one's code. Higher-order<br>languages (both functional and object-oriented) provide a variety of<br>abstraction mechanisms to help "tame" or "encapsulate" effects<br>(e.g. monads, ADTs, ownership types, typestate, first-class events,<br>transactions, Hoare Type Theory, session types, substructural and<br>region-based type systems), and a number of different semantic models<br>and verification technologies have been developed in order to codify<br>and exploit the benefits of this encapsulation (e.g. bisimulations,<br>step-indexed Kripke logical relations, higher-order separation logic,<br>game semantics, various modal logics). But there remain many open<br>problems, and the field is highly active.<br><br>The goal of the HOPE workshop is to bring researchers from a variety<br>of different backgrounds and perspectives together to exchange new and<br>exciting ideas concerning the design, semantics, implementation, and<br>verification of higher-order effectful programs.<br><br>We want HOPE to be as informal and interactive as possible. The<br>program will thus involve a combination of invited talks, contributed<br>talks about work in progress, and open-ended discussion<br>sessions. There will be no published proceedings, but participants<br>will be invited to submit working documents, talk slides, etc. to be<br>posted on this website.<br></div>