<div dir="ltr"><div><font face="monospace, monospace">================================================================================</font></div><div><font face="monospace, monospace"> ACM SIGPLAN                                      CALL FOR SUBMISSIONS</font></div><div><font face="monospace, monospace">                     Haskell Symposium 2017</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">            Oxford, United Kingdom, 7--8 September 2017</font></div><div><font face="monospace, monospace">           <a href="https://www.haskell.org/haskell-symposium/2017/">https://www.haskell.org/haskell-symposium/2017/</a></font></div><div><font face="monospace, monospace">================================================================================</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The ACM SIGPLAN Haskell Symposium 2017 will be co-located with the 2017</font></div><div><font face="monospace, monospace">International Conference on Functional Programming (ICFP), in Oxford, United</font></div><div><font face="monospace, monospace">Kingdom.  The Haskell Symposium aims to present original research on Haskell,</font></div><div><font face="monospace, monospace">discuss practical experience and future development of the language, and to</font></div><div><font face="monospace, monospace">promote other forms of denotative programming.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Topics of interest include:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Language design, with a focus on possible extensions and modifications of</font></div><div><font face="monospace, monospace">    Haskell as well as critical discussions of the status quo;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Theory, such as formal semantics of the present language or future</font></div><div><font face="monospace, monospace">    extensions, type systems, effects, metatheory, and foundations for</font></div><div><font face="monospace, monospace">    program analysis and transformation;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Implementations, including program analysis and transformation,</font></div><div><font face="monospace, monospace">    static and dynamic compilation for sequential, parallel, and distributed</font></div><div><font face="monospace, monospace">    architectures, memory management, as well as foreign function and</font></div><div><font face="monospace, monospace">    component interfaces;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Libraries, that demonstrate new ideas or techniques for functional</font></div><div><font face="monospace, monospace">    programming in Haskell;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Tools, such as profilers, tracers, debuggers, preprocessors,</font></div><div><font face="monospace, monospace">    and testing tools;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Applications, to scientific and symbolic computing, databases, multimedia,</font></div><div><font face="monospace, monospace">    telecommunication, the web, and so forth;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Functional Pearls, being elegant and instructive programming examples;</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Experience Reports, to document general practice and experience in</font></div><div><font face="monospace, monospace">    education, industry, or other contexts.</font></div><div><font face="monospace, monospace">  * System Demonstrations, based on running software rather than novel</font></div><div><font face="monospace, monospace">    research results.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Regular papers should explain their research contributions in both general and</font></div><div><font face="monospace, monospace">technical terms, identifying what has been accomplished, explaining why it is</font></div><div><font face="monospace, monospace">significant, and relating it to previous work, and to other languages where</font></div><div><font face="monospace, monospace">appropriate.</font></div><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace">Experience reports and functional pearls need not necessarily report original</font></div><div><font face="monospace, monospace">academic research results. For example, they may instead report reusable</font></div><div><font face="monospace, monospace">programming idioms, elegant ways to approach a problem, or practical experience</font></div><div><font face="monospace, monospace">that will be useful to other users, implementors, or researchers. The key</font></div><div><font face="monospace, monospace">criterion for such a paper is that it makes a contribution from which other</font></div><div><font face="monospace, monospace">Haskellers can benefit. It is not enough simply to describe a standard solution</font></div><div><font face="monospace, monospace">to a standard programming problem, or report on experience where you used</font></div><div><font face="monospace, monospace">Haskell in the standard way and achieved the result you were expecting. More</font></div><div><font face="monospace, monospace">advice is available via the Haskell wiki.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">System demonstrations should summarize the system capabilities that would be</font></div><div><font face="monospace, monospace">demonstrated. The proposals will be judged on whether the ensuing session is</font></div><div><font face="monospace, monospace">likely to be important and interesting to the Haskell community at large,</font></div><div><font face="monospace, monospace">whether on grounds academic or industrial, theoretical or practical, technical,</font></div><div><font face="monospace, monospace">social or artistic. Please contact the program chair with any questions about</font></div><div><font face="monospace, monospace">the relevance of a proposal.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Submission Details</font></div><div><font face="monospace, monospace">==================</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Early and Regular Track</font></div><div><font face="monospace, monospace">-----------------------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The Haskell Symposium uses a two-track submission</font></div><div><font face="monospace, monospace">process so that some papers can gain early feedback. Strong papers submitted to</font></div><div><font face="monospace, monospace">the early track are accepted outright, and the others will be given their</font></div><div><font face="monospace, monospace">reviews and invited to resubmit to the regular track. Papers accepted via the</font></div><div><font face="monospace, monospace">early and regular tracks are considered of equal value and will not be</font></div><div><font face="monospace, monospace">distinguished in the proceedings. Although all papers may be submitted to the</font></div><div><font face="monospace, monospace">early track, authors of functional pearls and experience reports are</font></div><div><font face="monospace, monospace">particularly encouraged to use this mechanism. The success of these papers</font></div><div><font face="monospace, monospace">depends heavily on the way they are presented, and submitting early will give</font></div><div><font face="monospace, monospace">the program committee a chance to provide feedback and help draw out the key</font></div><div><font face="monospace, monospace">ideas.</font></div></div><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace">Formatting</font></div><div><font face="monospace, monospace">----------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Submitted papers should be in portable document format (PDF),</font></div><div><font face="monospace, monospace">formatted using the ACM SIGPLAN style guidelines.  Authors should use the</font></div><div><font face="monospace, monospace">`acmart` format, with the `sigplan` sub-format for ACM proceedings.</font></div><div><font face="monospace, monospace">For details, see:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  <a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Functional pearls, experience reports, and demo proposals should be</font></div><div><font face="monospace, monospace">labelled clearly as such.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Page Limits</font></div><div><font face="monospace, monospace">-----------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The length of submissions should not exceed the following limits:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Regular paper:      12 pages</font></div><div><font face="monospace, monospace">Functional pearl:   12 pages</font></div><div><font face="monospace, monospace">Experience report:   6 pages</font></div><div><font face="monospace, monospace">Demo proposal:       2 pages</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">There is no requirement that all pages are used. For example, a</font></div><div><font face="monospace, monospace">functional pearl may be much shorter than 12 pages.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Deadlines</font></div><div><font face="monospace, monospace">---------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Early track:</font></div><div><font face="monospace, monospace">  Submission deadline:  13 March 2017, Monday</font></div><div><font face="monospace, monospace">  Notification:         01 May   2017, Monday</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Regular track and demos:</font></div><div><font face="monospace, monospace">  Submission deadline:  22 May  2017, Monday</font></div><div><font face="monospace, monospace">  Notification:         26 June 2017, Monday</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Deadlines are valid anywhere on Earth.</font></div></div><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace">Experience reports and functional pearls need not necessarily report original</font></div><div><font face="monospace, monospace">academic research results. For example, they may instead report reusable</font></div><div><font face="monospace, monospace">programming idioms, elegant ways to approach a problem, or practical experience</font></div><div><font face="monospace, monospace">that will be useful to other users, implementors, or researchers. The key</font></div><div><font face="monospace, monospace">criterion for such a paper is that it makes a contribution from which other</font></div><div><font face="monospace, monospace">Haskellers can benefit. It is not enough simply to describe a standard solution</font></div><div><font face="monospace, monospace">to a standard programming problem, or report on experience where you used</font></div><div><font face="monospace, monospace">Haskell in the standard way and achieved the result you were expecting. More</font></div><div><font face="monospace, monospace">advice is available via the Haskell wiki.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">System demonstrations should summarize the system capabilities that would be</font></div><div><font face="monospace, monospace">demonstrated. The proposals will be judged on whether the ensuing session is</font></div><div><font face="monospace, monospace">likely to be important and interesting to the Haskell community at large,</font></div><div><font face="monospace, monospace">whether on grounds academic or industrial, theoretical or practical, technical,</font></div><div><font face="monospace, monospace">social or artistic. Please contact the program chair with any questions about</font></div><div><font face="monospace, monospace">the relevance of a proposal.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Submission Details</font></div><div><font face="monospace, monospace">==================</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Early and Regular Track</font></div><div><font face="monospace, monospace">-----------------------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The Haskell Symposium uses a two-track submission</font></div><div><font face="monospace, monospace">process so that some papers can gain early feedback. Strong papers submitted to</font></div><div><font face="monospace, monospace">the early track are accepted outright, and the others will be given their</font></div><div><font face="monospace, monospace">reviews and invited to resubmit to the regular track. Papers accepted via the</font></div><div><font face="monospace, monospace">early and regular tracks are considered of equal value and will not be</font></div><div><font face="monospace, monospace">distinguished in the proceedings. Although all papers may be submitted to the</font></div><div><font face="monospace, monospace">early track, authors of functional pearls and experience reports are</font></div><div><font face="monospace, monospace">particularly encouraged to use this mechanism. The success of these papers</font></div><div><font face="monospace, monospace">depends heavily on the way they are presented, and submitting early will give</font></div><div><font face="monospace, monospace">the program committee a chance to provide feedback and help draw out the key</font></div><div><font face="monospace, monospace">ideas.</font></div></div><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Program Committee</font></div><div><font face="monospace, monospace">=================</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Adam Gundry               Well-Typed</font></div><div><font face="monospace, monospace">Ekaterina Komendantskaya  University of Dundee</font></div><div><font face="monospace, monospace">Henrik Nilsson            University of Nottingham</font></div><div><font face="monospace, monospace">Iavor Diatchki (chair)    Galois</font></div><div><font face="monospace, monospace">J. Garrett Morris         University of Edinburgh</font></div><div><font face="monospace, monospace">Joachim Breitner          University of Pennsylvania</font></div><div><font face="monospace, monospace">Juriaan Hage              Utrecht University</font></div><div><font face="monospace, monospace">Lennart Augustsson        Facebook</font></div><div><font face="monospace, monospace">Martin Erwig              Oregon State University</font></div><div><font face="monospace, monospace">Rebekah Leslie            Intel</font></div><div><font face="monospace, monospace">Takayuki Muranushi        University of Kyoto</font></div><div><font face="monospace, monospace">Thomas Hallgren           Chalmers University</font></div><div><font face="monospace, monospace">Ulf Norrel                Chalmers University</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">If you have questions, please contact the chair at: <a href="mailto:diatchki@galois.com">diatchki@galois.com</a></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">================================================================================</font></div><div><font face="monospace, monospace"><br></font></div></div><div><br></div></div>