[Caml-list] Haskell Symposium 2025 Call for Talks (deadline Sept 15th)

[Caml-list] Haskell Symposium 2025 Call for Talks (deadline Sept 15th)

[Ningning Xie]

[-- Attachment #1: Type: text/plain, Size: 2651 bytes --]

========================================================
               Haskell Symposium 2025 Call for Talks
                 Thu 16 - Fri 17 Oct 2025, Singapore

    https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

========================================================

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/

Submission deadline:    15 September  2025      (Mon)
Deadlines are valid anywhere on Earth.

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.

[-- Attachment #2: Type: text/html, Size: 3374 bytes --]