Haskell Symposium 2025: Call for Papers

The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025 International Conference on Functional Programming (ICFP) and the 2025 International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH).

The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming.

New this year

In addition to the regular Call for Papers track, a separate Call for Talks track is announced.

Keynotes

• Simon Peyton Jones (TBD)
• Richard A. Eisenberg (TBD)

Call for Talks

Talk proposals need not be full-length and should report work in progress relevant to Haskell language design, theory, tools, or applications. Proposals will be evaluated for novelty and relevance to the Haskell community, but finished results are not expected.

Topics of Interest

Topics of interest include, but are not limited to:

• Language design: Extensions, modifications, and critical discussions of Haskell.
• Theory: Formal semantics, type systems, effects, metatheory, and foundations for program analysis and transformation.
• Implementations: Program analysis, compilation (static/dynamic), memory management, foreign function interfaces.
• Libraries: Demonstrating new ideas or techniques for functional programming in Haskell.
• Tools: Profilers, tracers, debuggers, preprocessors, and testing tools.
• Applications: Scientific computing, symbolic computing, databases, multimedia, telecommunication, the web, etc.
• Functional Pearls: Elegant and instructive programming examples.
• Experience Reports: Documenting general practice and experience in education, industry, or other contexts.
• Tutorials: Explaining Haskell language features, programming techniques, tools, or libraries.
• System Demonstrations: Showcasing running software rather than novel research results.

Submission Details

• Formatting: Papers should be in Portable Document Format (PDF), using ACM SIGPLAN style guidelines and the acmart format with the sigplan sub-format. Line numbers are recommended for reviews.
• Review Process: Lightweight double-blind reviewing will be used. Authors must omit names and institutions and refer to their own work in the third person.
• Page Limits:
  • Regular paper: 12 pages
  • Functional pearl: 12 pages
  • Tutorial: 12 pages
  • Experience report: 6 pages
  • Demo proposal: 2 pages
  • Note: References are not counted against these limits.
• Supplementary Material: Optional, submitted as a separate PDF or tarball. Can be anonymized or non-anonymized.
• Resubmitted Papers: Authors may attach annotated reviews from previous submissions.

Deadlines

• Paper submission deadline: 9 June 2025 (Monday, Anywhere on Earth - UTC-12h)
• Author Notification: 17 July 2025 (Thursday)

Submission Platform

Papers should be submitted through HotCRP at: https://haskell25.hotcrp.com/

Proceedings and Artifacts

Accepted papers will be included in the ACM Digital Library. Authors will choose their copyright options. Accepted system demonstrations will be posted on the symposium website but not formally published. Authors are encouraged to make auxiliary material (artifacts) available, which can be published alongside their paper in the ACM Digital Library to qualify for the "Artifacts Available" badge.

Contact

For questions, please contact the chairs at: ningningxie@cs.toronto.edu and garrett-morris@uiowa.edu.