<div dir="ltr">========================================================================<br>               Haskell Symposium 2025 Call for Papers<br><br>                 Thu 16 - Fri 17 Oct 2025, Singapore<br><br>    <a href="https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025">https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025</a><br><br>========================================================================<br><br>The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025<br>International Conference on Functional Programming (ICFP) and the 2025<br>International Conference on Systems, Programming, Languages and Applications:<br>Software for Humanity (SPLASH).<br><br>The Haskell Symposium presents original research on Haskell, discusses practical<br>experience and future development of the language, and promotes other forms of<br>declarative programming.<br><br> Submission deadline:    9 June  2025      (Mon)<br> Notification:           17 July 2025      (Thu)<br><br>Deadlines are valid anywhere on Earth.<br><br>Papers should be submitted through HotCRP at: <a href="https://haskell25.hotcrp.com/">https://haskell25.hotcrp.com/</a><br><br>Topics of interest include:<br><br> * Language design, with a focus on possible extensions and modifications of<br>   Haskell as well as critical discussions of the status quo;<br><br> * Theory, such as formal semantics of the present language or future<br>   extensions, type systems, effects, metatheory, and foundations for<br>   program analysis and transformation;<br><br> * Implementations, including program analysis and transformation,<br>   static and dynamic compilation for sequential, parallel, and distributed<br>   architectures, memory management, as well as foreign function and<br>   component interfaces;<br><br> * Libraries, that demonstrate new ideas or techniques for functional<br>   programming in Haskell;<br><br> * Tools, such as profilers, tracers, debuggers, preprocessors,<br>   and testing tools;<br><br> * Applications, to scientific and symbolic computing, databases, multimedia,<br>   telecommunication, the web, and so forth;<br><br> * Functional Pearls, being elegant and instructive programming examples;<br><br> * Experience Reports, to document general practice and experience in<br>   education, industry, or other contexts;<br><br> * Tutorials, to document how to use a particular language feature,<br>   programming technique, tool or library within the Haskell ecosystem;<br><br> * System Demonstrations, based on running software rather than novel<br>   research results.<br><br>Program Committee<br>=================<br><br>Andreas Abel                 Gothenburg University<br>Patrick Bahr                 IT University of Copenhagen<br>Matthew Fluet                Rochester Institute of Technology<br>Adam Gundry                  Well-Typed LLP<br>Xuejing Huang                IRIF<br>Hideya Iwasaki               Meiji University<br>Patricia Johann              Appalachian State University<br>Hsiang-Shang 'Josh' Ko       Institute of Information Science, Academia Sinica<br>András Kovács                University of Gothenburg and Chalmers University of Technology<br>Andres Löh                   Well-Typed LLP<br>J. Garrett Morris (co-chair) University of Iowa<br>Liam O'Connor                Australian National University<br>Maciej Piróg                 University of Wrocław<br>Arnaud Spiwack               Tweag<br>Meng Wang                    University of Bristol<br>Li-yao Xia                   Inria<br>Ningning Xie (co-chair)      University of Toronto<br>Gergő Érdi                   Standard Chartered Bank<br><br>If you have questions, please contact the chairs at: <a href="mailto:ningningxie@cs.toronto.edu">ningningxie@cs.toronto.edu</a> and <a href="mailto:garrett-morris@uiowa.edu">garrett-morris@uiowa.edu</a>.</div>