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.

We invite proposals from potential speakers for talks. Talk proposals should report work in progress relevant to Haskell language design, theory, tools, or applications.

Talks are proposed by submitting an abstract. Please submit a talk title and abstract of no more than 300 words. There will be no published proceedings.

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

Talk proposals will go through a lightweight reviewing process, evaluated by the PC for relevance to the Haskell community, but are not expected to include finished results. Talk proposals will not be distributed to attendees, but authors of talk proposals may provide links to materials to be included on the program.

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;

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

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