<div dir="ltr"><div>----------------------------------------------------------------------</div><div><br></div><div> CALL FOR PARTICIPATION</div><div><br></div><div> HOPE 2014</div>
<div><br></div><div> The 3rd ACM SIGPLAN Workshop on</div><div> Higher-Order Programming with Effects</div><div><br></div><div> August 31, 2014</div><div> Gothenburg, Sweden</div>
<div> (the day before ICFP 2014)</div><div><br></div><div> <a href="https://www.mpi-sws.org/~neelk/hope2014/">https://www.mpi-sws.org/~neelk/hope2014/</a></div><div><br></div><div>----------------------------------------------------------------------</div>
<div><br></div><div>HOPE 2014 aims at bringing together researchers interested in the design, </div><div>semantics, implementation, and verification of higher-order effectful </div><div>programs. It will be *informal*, consisting of invited talks, contributed </div>
<div>talks on work in progress, and open-ended discussion sessions. </div><div><br></div><div><br></div><div>------------</div><div>Registration</div><div>------------</div><div><br></div><div>Deadline for early registration: 3 August 2014</div>
<div>Web site: <a href="https://regmaster4.com/2014conf/ICFP14/register.php">https://regmaster4.com/2014conf/ICFP14/register.php</a></div><div><br></div><div>This is the registration site for ICFP 2014 and all the affiliated</div>
<div>workshops including HOPE 2014.</div><div><br></div><div><br></div><div>------------</div><div>Invited Talk</div><div>------------</div><div><br></div><div>Title: Verifying Security Properties of SES Programs</div><div>
Speaker: Philippa Gardner, Imperial College London</div><div><br></div><div><br></div><div>----------------------</div><div>List of Accepted Talks</div><div>----------------------</div><div><br></div><div>(1) Stevan Andjelkovic. Towards indexed algebraic effects and handlers</div>
<div><br></div><div>(2) Kwok Cheung. Separating Entangled State</div><div><br></div><div>(3) Filip Sieczkowski and Lars Birkedal. ModuRes: a Coq Library for Reasoning about Concurrent Higher-Order Imperative Programming Languages</div>
<div><br></div><div>(4) Ohad Kammar. Graphical algebraic foundations for monad stacks</div><div><br></div><div>(5) Paul Downen and Zena M. Ariola. Delimited control with multiple prompts in theory and practice</div><div><br>
</div><div>(6) Carter Schonwald. A Type Directed model of Memory Locality and the design of High Performance Array APIs</div><div><br></div><div>(7) Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Derek Dreyer and Viktor Vafeiadis. Compositional Compiler Verification via Parametric Simulation</div>
<div><br></div><div>(8) Danel Ahman and Tarmo Uustalu. From stateful to stackful computation</div><div><br></div><div><br></div><div>---------------------</div><div>Goals of the Workshop</div><div>---------------------</div>
<div><br></div><div>A recurring theme in many papers at ICFP, and in the research of many</div><div>ICFP attendees, is the interaction of higher-order programming with</div><div>various kinds of effects: storage effects, I/O, control effects,</div>
<div>concurrency, etc. While effects are of critical importance in many</div><div>applications, they also make it hard to build, maintain, and reason</div><div>about one's code. Higher-order languages (both functional and</div>
<div>object-oriented) provide a variety of abstraction mechanisms to help</div><div>"tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types,</div><div>typestate, first-class events, transactions, Hoare Type Theory,</div>
<div>session types, substructural and region-based type systems), and a</div><div>number of different semantic models and verification technologies have</div><div>been developed in order to codify and exploit the benefits of this</div>
<div>encapsulation (e.g. bisimulations, step-indexed Kripke logical</div><div>relations, higher-order separation logic, game semantics, various</div><div>modal logics). But there remain many open problems, and the field is</div>
<div>highly active.</div><div><br></div><div>The goal of the HOPE workshop is to bring researchers from a variety</div><div>of different backgrounds and perspectives together to exchange new and</div><div>exciting ideas concerning the design, semantics, implementation, and</div>
<div>verification of higher-order effectful programs.</div><div><br></div><div>We want HOPE to be as informal and interactive as possible. The</div><div>program will thus involve a combination of invited talks, contributed</div>
<div>talks about work in progress, and open-ended discussion</div><div>sessions. There will be no published proceedings, but participants</div><div>will be invited to submit working documents, talk slides, etc. to be</div>
<div>posted on this website.</div><div><br></div><div><br></div><div>---------------------</div><div>Workshop Organization</div><div>---------------------</div><div><br></div><div>Program Co-Chairs:</div><div><br></div><div>
Neel Krishnaswami (University of Birmingham)</div><div>Hongseok Yang (University of Oxford)</div><div><br></div><div><br></div><div>Program Committee:</div><div><br></div><div>Zena Ariola (University of Oregon)</div><div>
Ohad Kammar (University of Cambridge)</div><div>Ioannis Kassios (ETH Zurich)</div><div>Naoki Kobayashi (University of Tokyo)</div><div>Paul Blain Levy (University of Birmingham)</div><div>Aleks Nanevski (IMDEA)</div><div>
Scott Owens (University of Kent)</div><div>Sam Staton (Radboud University Nijmegen)</div><div>Steve Zdancewic (University of Pennsylvania)</div></div>