<div dir="ltr">I notice the notification date is 2 days after the popl submission deadline, is that by design or an oversight?<div><br></div><div>thanks!</div><div>-Carter</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 28, 2016 at 1:44 PM, Geoffrey Mainland <span dir="ltr"><<a href="mailto:mainland@drexel.edu" target="_blank">mainland@drexel.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">========================================================================<br>
ACM SIGPLAN CALL FOR SUBMISSIONS<br>
Haskell Symposium 2016<br>
<br>
Nara, Japan, 22-23 September 2015, directly after ICFP<br>
<a href="http://www.haskell.org/haskell-symposium/2016" rel="noreferrer" target="_blank">http://www.haskell.org/haskell-symposium/2016</a><br>
========================================================================<br>
<br>
** The Haskell Symposium has an early track this year **<br>
** See the Submission Timetable for details. **<br>
<br>
The ACM SIGPLAN Haskell Symposium 2016 will be co-located with the<br>
International Conference on Functional Programming (ICFP 2016) in<br>
Vancouver, Canada.<br>
<br>
The Haskell Symposium aims to present original research on Haskell,<br>
discuss practical experience and future development of the language, and<br>
to promote other forms of denotative programming.<br>
<br>
Topics of interest include:<br>
<br>
* Language Design, with a focus on possible extensions and modifications<br>
of 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, static<br>
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, and<br>
testing tools;<br>
<br>
* Applications, to scientific and symbolic computing, databases,<br>
multimedia, 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>
Papers in the latter three categories need not necessarily report<br>
original academic research results. For example, they may instead report<br>
reusable programming idioms, elegant ways to approach a problem, or<br>
practical experience that will be useful to other users, implementors,<br>
or researchers. The key criterion for such a paper is that it makes a<br>
contribution from which other Haskellers can benefit. It is not enough<br>
simply to describe a standard solution to a standard programming<br>
problem, or report on experience where you used Haskell in the standard<br>
way and achieved the result you were expecting. More advice is available<br>
via the Haskell wiki:<br>
(<a href="http://wiki.haskell.org/HaskellSymposium/ExperienceReports" rel="noreferrer" target="_blank">http://wiki.haskell.org/HaskellSymposium/ExperienceReports</a>)<br>
<br>
Regular papers should explain their research contributions in both<br>
general and technical terms, identifying what has been accomplished,<br>
explaining why it is significant, and relating it to previous work, and<br>
to other languages where appropriate.<br>
<br>
In addition, we solicit proposals for:<br>
<br>
* System Demonstrations, based on running software rather than novel<br>
research results.<br>
<br>
These proposals should summarize the system capabilities that would be<br>
demonstrated. The proposals will be judged on whether the ensuing<br>
session is likely to be important and interesting to the Haskell<br>
community at large, whether on grounds academic or industrial,<br>
theoretical or practical, technical, social or artistic. Please contact<br>
the program chair with any questions about the relevance of a proposal.<br>
<br>
Travel Support:<br>
===============<br>
<br>
Student attendees with accepted papers can apply for a SIGPLAN PAC grant<br>
to help cover travel expenses. PAC also offers other support, such as<br>
for child-care expenses during the meeting or for travel costs for<br>
companions of SIGPLAN members with physical disabilities, as well as for<br>
travel from locations outside of North America and Europe. For details<br>
on the PAC program, see its web page (<a href="http://pac.sigplan.org" rel="noreferrer" target="_blank">http://pac.sigplan.org</a>).<br>
<br>
Proceedings:<br>
============<br>
<br>
Accepted papers will be included in the ACM Digital Library. Authors<br>
must grant ACM publication rights upon acceptance<br>
(<a href="http://authors.acm.org/main.html" rel="noreferrer" target="_blank">http://authors.acm.org/main.html</a>). Authors are encouraged to publish<br>
auxiliary material with their paper (source code, test data, etc.); they<br>
retain copyright of auxiliary material.<br>
<br>
Accepted proposals for system demonstrations will be posted on the<br>
symposium website but not formally published in the proceedings.<br>
<br>
All accepted papers and proposals will be posted on the conference<br>
website one week before the meeting.<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>
Submission Details:<br>
===================<br>
<br>
Submitted papers should be in portable document format (PDF), formatted<br>
using the ACM SIGPLAN style guidelines<br>
(<a href="http://www.acm.org/sigs/sigplan/authorInformation.htm" rel="noreferrer" target="_blank">http://www.acm.org/sigs/sigplan/authorInformation.htm</a>). The text should<br>
be in a 9-point font in two columns. The length is restricted to 12<br>
pages, except for "Experience Report" papers, which are restricted to 6<br>
pages. Papers need not fill the page limit---for example, a Functional<br>
Pearl may be much shorter than 12 pages. Each paper submission must<br>
adhere to SIGPLAN's republication policy, as explained on the web.<br>
<br>
Demo proposals are limited to 2-page abstracts, in the same ACM format<br>
as papers.<br>
<br>
"Functional Pearls", "Experience Reports", and "Demo Proposals" should<br>
be marked as such with those words in the title at time of submission.<br>
<br>
The paper submission deadline and length limitations are firm. There<br>
will be no extensions, and papers violating the length limitations will<br>
be summarily rejected.<br>
<br>
Papers may be submitted at: <a href="https://icfp-haskell2016.hotcrp.com/" rel="noreferrer" target="_blank">https://icfp-haskell2016.hotcrp.com/</a><br>
<br>
Submission Timetable:<br>
=====================<br>
<br>
Early Track Regular Track System Demos<br>
---------------- ------------------- ---------------<br>
1st April Paper Submission<br>
20th May Notification<br>
6th June Abstract Submission<br>
10th June Paper Submission<br>
17th June Resubmission Demo Submission<br>
8th July Notification Notification Notification<br>
31st July Camera ready due Camera ready due<br>
<br>
Deadlines stated are valid anywhere on earth.<br>
<br>
The Haskell Symposium uses a two-track submission process so that some<br>
papers can gain early feedback. Papers can be submitted to the early<br>
track on 1st April. On 20th May, strong papers are accepted outright,<br>
and the others will be given their reviews and invited to resubmit. On<br>
17th June, early track papers may be resubmitted and are sent back to<br>
the same reviewers. The Haskell Symposium regular track operates as in<br>
previous years. Papers accepted via the early and regular tracks are<br>
considered of equal value and will not be distinguished in the<br>
proceedings.<br>
<br>
Although all papers may be submitted to the early track, authors of<br>
functional pearls and experience reports are particularly encouraged to<br>
use this mechanism. The success of these papers depends heavily on the<br>
way they are presented, and submitting early will give the program<br>
committee a chance to provide feedback and help draw out the key ideas.<br>
<br>
Program Committee:<br>
===================<br>
<br>
James Cheney University of Edinburgh<br>
Iavor Diatchki Galois<br>
David Duke University of Leeds<br>
Richard Eisenberg University of Pennsylvania<br>
Ken Friis Larsen University of Copenhagen<br>
Andy Gill University of Kansas<br>
Zhenjiang Hu National Institute of Informatics<br>
Ranjit Jhala UC San Diego<br>
Yukiyoshi Kameyama University of Tsukuba<br>
Geoffrey Mainland (chair) Drexel University<br>
Mary Sheeran Chalmers University of Technology<br>
David Terei Stanford<br>
Niki Vazou UC San Diego<br>
Dimitrios Vytiniotis Microsoft Research<br>
<br>
=====================================================================<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>