Haskell Symposium 2015 Vancouver, Canada, 3 – 4 September 2015 (directly after ICFP)



Thursday 3rd September

Friday 4th September

About

The ACM SIGPLAN Haskell Symposium 2015 will be co-located with the 2015 International Conference on Functional Programming (ICFP), in Vancouver, Canada.



The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming.

Topics of interest include:

Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo;





Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation;





Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces;





Libraries, that demonstrate new ideas or techniques for functional programming in Haskell;





Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools;





Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth;





Functional Pearls, being elegant and instructive programming examples;





Experience Reports, to document general practice and experience in education, industry, or other contexts.

Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki.

Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate.

In addition, we solicit proposals for:

System Demonstrations, based on running software rather than novel research results.

Travel Support

Proceedings

Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Submission Details

Early Track Regular Track System Demos 13th March Paper Submission 1st May Notification 19th May ⋮ Abstract Submission 22nd May ⋮ Paper Submission 5th June Resubmission ⋮ Demo Submission 26th June Notification Notification Notification 19th July Final papers due Final papers due

Deadlines stated are valid anywhere on earth.

In this iteration of the Haskell Symposium we are trialling a two-track submission process, so that some papers can gain early feedback. Papers can be submitted to the early track on 13th March. On 1st May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 5th June early track papers may be resubmitted, and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings.

Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas.

Program Committee

More Information