<div dir="ltr"><div>----------------------------------------------------------------------</div><div><br></div><div> CALL FOR TALK PROPOSALS</div><div><br></div><div> HOPE 2013</div>
<div><br></div><div> The 2nd ACM SIGPLAN Workshop on</div><div> Higher-Order Programming with Effects</div><div><br></div><div> September 28, 2013</div><div> Boston, Massachusetts</div>
<div> (the day after ICFP 2013)</div><div><br></div><div> <a href="http://hope2013.mpi-sws.org">http://hope2013.mpi-sws.org</a></div><div><br></div><div>----------------------------------------------------------------------</div>
<div><br></div><div>HOPE 2013 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>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>Call for Talk Proposals</div><div>-----------------------</div><div><br></div><div>We solicit proposals for contributed talks. Proposals should be at</div><div>most 2 pages, in either plain text or PDF format, and should specify</div>
<div>how long a talk the speaker wishes to give. By default, contributed</div><div>talks will be 30 minutes long, but proposals for shorter or longer</div><div>talks will also be considered. Speakers may also submit supplementary</div>
<div>material (e.g. a full paper, talk slides) if they desire, which PC</div><div>members are free (but not expected) to read.</div><div><br></div><div>We are interested in talks on all topics related to the interaction of</div>
<div>higher-order programming and computational effects. Talks about work</div><div>in progress are particularly encouraged. If you have any questions</div><div>about the relevance of a particular topic, please contact the PC</div>
<div>chairs at the address hope2013 AT <a href="http://mpi-sws.org">mpi-sws.org</a>.</div><div><br></div><div>Deadline for talk proposals: <span class="" style="white-space:pre"> </span>June 14, 2013 (Friday)</div><div><br>
</div><div>Notification of acceptance: <span class="" style="white-space:pre"> </span>July 28, 2013 (Sunday)</div><div><br></div><div>Workshop: <span class="" style="white-space:pre"> </span> September 28, 2013 (Saturday)</div>
<div><br></div><div>The submission website is now open:</div><div><br></div><div> <a href="https://www.easychair.org/conferences/?conf=hope2013">https://www.easychair.org/conferences/?conf=hope2013</a></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>Derek Dreyer (MPI-SWS, Germany)</div><div>
Hongseok Yang (University of Oxford)</div><div><br></div><div><br></div><div>Program Committee:</div><div><br></div><div>Anindya Banerjee (IMDEA Software Institute)</div><div>Lars Birkedal (Aarhus University)</div><div>Aquinas Hobor (National University of Singapore)</div>
<div>Chung-Kil Hur (Microsoft Research Cambridge)</div><div>Patricia Johann (Appalachian State University)</div><div>Matthew Might (University of Utah)</div><div>Peter Mueller (ETH Zurich)</div><div>Brigitte Pientka (McGill University)</div>
<div>Zhong Shao (Yale)</div><div><br></div></div>