[Agda] Haskell Symposium 2025 First Call for Papers

[Ningning Xie]

========================================================================
               Haskell Symposium 2025 Call for Papers

                 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.

 Submission deadline:    9 June  2025      (Mon)
 Notification:           17 July 2025      (Thu)

Deadlines are valid anywhere on Earth.

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

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;

 * Tutorials, to document how to use a particular language feature,
   programming technique, tool or library within the Haskell ecosystem;

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

Program Committee
=================

Andreas Abel                 Gothenburg University
Patrick Bahr                 IT University of Copenhagen
Matthew Fluet                Rochester Institute of Technology
Adam Gundry                  Well-Typed LLP
Xuejing Huang                IRIF
Hideya Iwasaki               Meiji University
Patricia Johann              Appalachian State University
Hsiang-Shang 'Josh' Ko       Institute of Information Science, Academia
Sinica
András Kovács                University of Gothenburg and Chalmers
University of Technology
Andres Löh                   Well-Typed LLP
J. Garrett Morris (co-chair) University of Iowa
Liam O'Connor                Australian National University
Maciej Piróg                 University of Wrocław
Arnaud Spiwack               Tweag
Meng Wang                    University of Bristol
Li-yao Xia                   Inria
Ningning Xie (co-chair)      University of Toronto
Gergő Érdi                   Standard Chartered Bank

If you have questions, please contact the chairs at:
ningningxie at cs.toronto.edu and garrett-morris at uiowa.edu.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250327/b8e0710b/attachment.html>