<div dir="ltr"><font face="monospace"><br clear="all"></font><div><font face="monospace"></font></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><font face="monospace">================================================================================<br> ACM SIGPLAN                                              CALL FOR SUBMISSIONS<br><br>                          Haskell Symposium 2020<br><br>                              New Jersey, United States<br>                            27--28 August, 2020<br><br>              <a href="http://www.haskell.org/haskell-symposium/2020/">http://www.haskell.org/haskell-symposium/2020/</a><br><br>================================================================================<br><br>The ACM SIGPLAN Haskell Symposium 2020 will be co-located with the 2020<br>International Conference on Functional Programming (ICFP).<br><br>Like last year, we will be using a lightweight double-blind reviewing process.<br>See further information below.<br><br>The Haskell Symposium presents original research on Haskell,<br>discusses practical experience and future development of the language, and<br>promotes other forms of declarative programming.<br><br>Topics of interest include:<br><br>  * Language design, with a focus on possible extensions and modifications of<br>    Haskell as well as critical discussions of the status quo;<br><br>  * Theory, such as formal semantics of the present language or future<br>    extensions, type systems, effects, metatheory, and foundations for<br>    program analysis and transformation;<br><br>  * Implementations, including program analysis and transformation,<br>    static and dynamic compilation for sequential, parallel, and distributed<br>    architectures, memory management, as well as foreign function and<br>    component interfaces;<br><br>  * Libraries, that demonstrate new ideas or techniques for functional<br>    programming in Haskell;<br><br>  * Tools, such as profilers, tracers, debuggers, preprocessors,<br>    and testing tools;<br><br>  * Applications, to scientific and symbolic computing, databases, multimedia,<br>    telecommunication, the web, and so forth;<br><br>  * Functional Pearls, being elegant and instructive programming examples;<br><br>  * Experience Reports, to document general practice and experience in<br>    education, industry, or other contexts;<br>    <br>  * System Demonstrations, based on running software rather than novel<br>    research results.<br><br>Regular papers should explain their research contributions in both general and<br>technical terms, identifying what has been accomplished, explaining why it is<br>significant, and relating it to previous work, and to other languages where<br>appropriate.<br><br>Experience reports and functional pearls need not necessarily report original<br>academic research results. For example, they may instead report reusable<br>programming idioms, elegant ways to approach a problem, or practical experience<br>that will be useful to other users, implementers, or researchers. The key<br>criterion for such a paper is that it makes a contribution from which other<br>Haskellers can benefit. It is not enough simply to describe a standard solution<br>to a standard programming problem, or report on experience where you used<br>Haskell in the standard way and achieved the result you were expecting.<br><br>System demonstrations should summarize the system capabilities that would be<br>demonstrated. The proposals will be judged on whether the ensuing session is<br>likely to be important and interesting to the Haskell community at large,<br>whether on grounds academic or industrial, theoretical or practical, technical,<br>social or artistic. Please contact the program chair with any questions about<br>the relevance of a proposal.<br><br><br>Submission Details<br>==================<br><br>Early and Regular Track<br>-----------------------<br><br>The Haskell Symposium uses a two-track submission process so that some papers<br>can gain early feedback. Strong papers submitted to the early track are<br>accepted outright, and the others will be given their reviews and invited to<br>resubmit to the regular track. Papers accepted via the early and regular<br>tracks are considered of equal value and will not be distinguished in the<br>proceedings. Although all papers may be submitted to the early track, authors<br>of functional pearls and experience reports are particularly encouraged to use<br>this mechanism. The success of these papers depends heavily on the way they<br>are presented, and submitting early will give the program committee a chance<br>to provide feedback and help draw out the key ideas.<br><br>Formatting<br>----------<br><br>Submitted papers should be in portable document format (PDF), formatted using<br>the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with<br>the `sigplan` sub-format for ACM proceedings. For details, see:<br><br>  <a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a><br><br>It is recommended to use the `review` option when submitting a paper; this option<br>enables line numbers for easy reference in reviews.<br><br>Functional pearls, experience reports, and demo proposals should be<br>labelled clearly as such.<br><br>Lightweight Double-blind Reviewing<br>----------------------------------<br><br>Haskell Symposium 2020 will use a lightweight double-blind reviewing process.<br>To facilitate this, submitted papers must adhere to two rules:<br><br> 1. Author names and institutions must be omitted, and<br> 2. References to authors’ own related work should be in the third person<br>    (e.g., not “We build on our previous work …” but rather “We build on the work of …”).<br><br>The purpose of this process is to help the reviewers come to an initial<br>judgment about the paper without bias, not to make it impossible for them to<br>discover the authors if they were to try. Nothing should be done in the name<br>of anonymity that weakens the submission or makes the job of reviewing the<br>paper more difficult (e.g., important background references should not be<br>omitted or anonymized). In addition, authors should feel free to disseminate<br>their ideas or draft versions of their paper as they normally would. For<br>instance, authors may post drafts of their papers on the web or give talks on<br>their research ideas.<br><br>A reviewer will learn the identity of the author(s) of a paper after a review<br>is submitted.<br><br>Page Limits<br>-----------<br><br>The length of submissions should not exceed the following limits:<br><br>Regular paper:      12 pages<br>Functional pearl:   12 pages<br>Experience report:   6 pages<br>Demo proposal:       2 pages<br><br>There is no requirement that all pages are used. For example, a<br>functional pearl may be much shorter than 12 pages. In all cases,<br>the list of references is not counted against these page limits.<br><br>Deadlines<br>---------<br><br>Early track:<br>  Submission deadline:    20 March 2020     (Fri)<br>  Notification:           24 April 2020     (Fri)<br><br>Regular track and demos:<br>  Submission deadline:    15 May  2020      (Fri)<br>  Notification:           26 June 2020      (Fri)<br><br>Deadlines are valid anywhere on Earth.<br><br>Submission<br>----------<br><br>Submissions must adhere to SIGPLAN's republication policy<br>(<a href="http://sigplan.org/Resources/Policies/Republication/">http://sigplan.org/Resources/Policies/Republication/</a>), and authors<br>should be aware of ACM's policies on plagiarism<br>(<a href="https://www.acm.org/publications/policies/plagiarism">https://www.acm.org/publications/policies/plagiarism</a>).<br>Program Committee members are allowed to submit papers, but their papers will<br>be held to a higher standard.<br><br>The paper submission deadline and length limitations are firm.<br>There will be no extensions, and papers violating the length<br>limitations will be summarily rejected.<br><br>Papers should be submitted through HotCRP at:<br><br>  <a href="https://haskell20.hotcrp.com/">https://haskell20.hotcrp.com/</a><br><br>Improved versions of a paper may be submitted at any point before the<br>submission deadline using the same web interface.<br><br>Supplementary material: Authors have the option to attach supplementary<br>material to a submission, on the understanding that reviewers may choose not<br>to look at it. This supplementary material should not be submitted as part of<br>the main document; instead, it should be uploaded as a separate PDF document<br>or tarball.<br><br>Supplementary material should be uploaded at submission time, not by providing<br>a URL in the paper that points to an external repository.<br><br>Authors are free to upload both anonymized and non-anonymized supplementary<br>material. Anonymized supplementary material will be visible to reviewers<br>immediately; non-anonymized supplementary material will be revealed to<br>reviewers only after they have submitted their review of the paper and learned<br>the identity of the author(s).<br><br>Resubmitted Papers: Authors who submit a revised version of a paper that has<br>previously been rejected by another conference have the option to attach an<br>annotated copy of the reviews of their previous submission(s), explaining how<br>they have addressed these previous reviews in the present submission. If a<br>reviewer identifies him/herself as a reviewer of this previous submission and<br>wishes to see how his/her comments have been addressed, the principal editor<br>will communicate to this reviewer the annotated copy of his/her previous<br>review. Otherwise, no reviewer will read the annotated copies of the previous<br>reviews.<br><br>Travel Support<br>==============<br><br>Student attendees with accepted papers can apply for a SIGPLAN PAC grant to<br>help cover travel expenses. PAC also offers other support, such as for<br>child-care expenses during the meeting or for travel costs for companions of<br>SIGPLAN members with physical disabilities, as well as for travel from<br>locations outside of North America and Europe. For details on the PAC program,<br>see its web page (<a href="http://pac.sigplan.org">http://pac.sigplan.org</a>).<br><br>Proceedings<br>===========<br><br>Accepted papers will be included in the ACM Digital Library. Their authors <br>will be required to choose one of the following options:<br>- Author retains copyright of the work and grants ACM a non-exclusive<br>  permission-to-publish license (and, optionally, licenses the work with a<br>  Creative Commons license); <br>- Author retains copyright of the work and grants ACM an exclusive<br>  permssion-to-publish license; <br>- Author transfers copyright of the work to ACM. <br>For more information, please see ACM Copyright Policy<br>(<a href="http://www.acm.org/publications/policies/copyright-policy">http://www.acm.org/publications/policies/copyright-policy</a>) and ACM Author<br>Rights (<a href="http://authors.acm.org/main.html">http://authors.acm.org/main.html</a>).<br><br>Accepted proposals for system demonstrations will be posted on the<br>symposium website but not formally published in the proceedings.<br><br>Publication date: The official publication date of accepted papers is<br>the date the proceedings are made available in the ACM Digital<br>Library. This date may be up to two weeks prior to the first day of the<br>conference. The official publication date affects the deadline for any<br>patent filings related to published work.<br><br>Artifacts<br>=========<br><br>Authors of accepted papers are encouraged to make auxiliary material (artifacts<br>like source code, test data, etc.) available with their paper. They can opt to<br>have these artifacts published alongside their paper in the ACM Digital Library<br>(copyright of artifacts remains with the authors).<br><br>If an accepted paper's artifacts are made permanently available for retrieval in a<br>publicly accessible archival repository like the ACM Digital Library, that paper<br>qualifies for an Artifacts Available badge<br>(<a href="https://www.acm.org/publications/policies/artifact-review-badging#available">https://www.acm.org/publications/policies/artifact-review-badging#available</a>).<br>Applications for such a badge can be made after paper acceptance and will be<br>reviewed by the PC chair.<br><br>Program Committee<br>=================<br><br>Arthur Azevedo de Amorim        Carnegie Mellon University<br>Manuel Chakravarty          Tweag I/O / IOHK<br>Jan Christiansen              Flensburg University of Applied Sciences<br>Youyou Cong                   Tokyo Institute of Technology<br>Pierre-Evariste Dagand           CNRS<br>Anton Ekblad                      Chalmers University of Technology<br>Jurriaan Hage                        Universiteit Utrecht<br>Graham Hutton                     University of Nottingham<br>José Pedro Magalhães                Standard Chartered<br>Clare Martin                        Oxford Brookes University<br>Andrey Mokhov                        Jane Street <br>Shin-Cheng Mu                     Academia Sinica<br>Nikolaos Papaspyrou            National Technical University of Athens<br>Simon Peyton Jones             Microsoft Research Cambridge<br>Norman Ramsey                     Tufts University<br>Exequiel Rivas                        INRIA<br>Tom Schrijvers (chair)           KU Leuven<br>Martin Sulzmann                      Karlsruhe University of Applied Sciences<br><br>If you have questions, please contact the chair at: <a href="mailto:tom.schrijvers@kuleuven.be">tom.schrijvers@kuleuven.be</a><br><br>================================================================================<br></font><br></div></div></div></div>