<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><span class="Apple-style-span" style="font-family: monospace; "> CALL FOR TALK PROPOSALS</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> HOPE 2012</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> The 1st ACM SIGPLAN Workshop on</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> Higher-Order Programming with Effects</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> September 9, 2012</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> Copenhagen, Denmark</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> (the day before ICFP 2012)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> </span><span class="Apple-style-span" style="font-family: monospace; "><a href="http://hope2012.mpi-sws.org/">http://hope2012.mpi-sws.org</a></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">HOPE is a *new workshop* that is intended to bring together</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">researchers interested in the design, semantics, implementation, and</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">verification of higher-order effectful programs. It will be</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">*informal*, consisting of invited talks, contributed talks on work in</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">progress, and open-ended discussion sessions. This 1st edition of HOPE</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">is dedicated to John Reynolds, whose work is an inspiration to us all.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">---------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Goals of the Workshop</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">---------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">A recurring theme in many papers at ICFP, and in the research of many</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">ICFP attendees, is the interaction of higher-order programming with</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">various kinds of effects: storage effects, I/O, control effects,</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">concurrency, etc. While effects are of critical importance in many</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">applications, they also make it hard to build, maintain, and reason</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">about one's code. Higher-order languages (both functional and</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">object-oriented) provide a variety of abstraction mechanisms to help</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">"tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types,</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">typestate, first-class events, transactions, Hoare Type Theory,</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">session types, substructural and region-based type systems), and a</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">number of different semantic models and verification technologies have</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">been developed in order to codify and exploit the benefits of this</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">encapsulation (e.g. bisimulations, step-indexed Kripke logical</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">relations, higher-order separation logic, game semantics, various</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">modal logics). But there remain many open problems, and the field is</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">highly active.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">The goal of the HOPE workshop is to bring researchers from a variety</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">of different backgrounds and perspectives together to exchange new and</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">exciting ideas concerning the design, semantics, implementation, and</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">verification of higher-order effectful programs.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">We want HOPE to be as informal and interactive as possible. The</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">program will thus involve a combination of invited talks, contributed</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">talks about work in progress, and open-ended discussion</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">sessions. There will be no published proceedings, but participants</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">will be invited to submit working documents, talk slides, etc. to be</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">posted on this website.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">-----------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Call for Talk Proposals</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">-----------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">We solicit proposals for contributed talks. Proposals should be at</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">most 2 pages, in either plain text or PDF format, and should specify</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">how long a talk the speaker wishes to give. By default, contributed</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">talks will be 30 minutes long, but proposals for shorter or longer</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">talks will also be considered. Speakers may also submit supplementary</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">material (e.g. a full paper, talk slides) if they desire, which PC</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">members are free (but not expected) to read.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">We are interested in talks on all topics related to the interaction of</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">higher-order programming and computational effects. Talks about work</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">in progress are particularly encouraged. If you have any questions</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">about the relevance of a particular topic, please contact the PC</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">chairs at the address</span><span class="Apple-style-span" style="font-family: monospace; "> </span><span class="Apple-style-span" style="font-family: monospace; "><a href="mailto:hope2012@mpi-sws.org">hope2012@mpi-sws.org</a></span><span class="Apple-style-span" style="font-family: monospace; ">.</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Deadline for talk proposals:</span><span class="Apple-style-span" style="font-family: monospace; "> </span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">June 8, 2012 (Friday)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Notification of acceptance: </span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">July 1, 2012 (Sunday)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Workshop: </span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">September 9, 2012 (Sunday)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">The submission website is now open:</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "> </span><span class="Apple-style-span" style="font-family: monospace; "><a href="http://www.easychair.org/conferences/?conf=hope2012">http://www.easychair.org/conferences/?conf=hope2012</a></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">---------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Workshop Organization</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">---------------------</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Program Co-Chairs:</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Amal Ahmed (Northeastern University)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Derek Dreyer (MPI-SWS, Germany)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; ">Program Committee:</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Jim Laird (University of Bath)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Rasmus Møgelberg (IT University of Copenhagen)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Greg Morrisett (Harvard University)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Aleks Nanevski (IMDEA Software Institute)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">David Naumann (Stevens Institute of Technology)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Matthew Parkinson (Microsoft Research Cambridge)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">François Pottier (INRIA Rocquencourt)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Amr Sabry (Indiana University)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Eijiro Sumii (Tohoku University)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Nikhil Swamy (Microsoft Research Redmond)</span><span class="Apple-style-span" style="font-family: monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; "><span class="Apple-tab-span" style="white-space: pre; "> </span></span><span class="Apple-style-span" style="font-family: monospace; ">Nobuko Yoshida (Imperial College London)</span></div></body></html>