[Haskell Symposium 2026] Call for Papers and Talks

Facundo Domínguez <[email protected]> Wed, 6 May 2026 19:11:24 -0300
Newsgroups gmane.comp.lang.haskell.general
Message-ID <CA+Q==SAZi+U50PdartUKachM+uqQn+U+bifddM7Vw4RD_Pk-JA@mail.gmail.com>
--===============2453702353529965860==
Content-Type: multipart/alternative; boundary="000000000000f0947306512d73ac"

--000000000000f0947306512d73ac
Content-Type: text/plain; charset="UTF-8"

Dear all,

The ACM SIGPLAN Haskell Symposium 2026 will be co-located with the 2026
International Conference on Functional Programming (ICFP).

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

Research papers, talk proposals, experience reports, functional pearls,
tutorials, and system demonstrations are welcome.

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.

The deadline for paper submission is May 21st 2026 (Monday).

Full details at


https://icfp26.sigplan.org/home/haskellsymp-2026#Call-for-Papers-and-Talks

Cheers!

--000000000000f0947306512d73ac
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear all,<br><br>The ACM SIGPLAN Haskell Symposium 2026 wi=
ll be co-located with the 2026 International Conference on Functional Progr=
amming (ICFP).<br><br>The Haskell Symposium presents original research on H=
askell, discusses practical experience and future development of the langua=
ge, and promotes other forms of declarative programming.<br><div><br></div>=
<div>Research papers, talk proposals, experience reports, functional pearls=
, tutorials, and system demonstrations are welcome.<br><br></div>Topics of =
interest include:<br><br>* Language design, with a focus on possible extens=
ions and modifications of Haskell as well as critical discussions of the st=
atus quo;<br>* Theory, such as formal semantics of the present language or =
future extensions, type systems, effects, metatheory, and foundations for p=
rogram analysis and transformation;<br>* Implementations, including program=
 analysis and transformation, static and dynamic compilation for sequential=
, parallel, and distributed architectures, memory management, as well as fo=
reign function and component interfaces;<br>* Libraries, that demonstrate n=
ew ideas or techniques for functional programming in Haskell;<br>* Tools, s=
uch as profilers, tracers, debuggers, preprocessors, and testing tools;<br>=
* Applications, to scientific and symbolic computing, databases, multimedia=
, telecommunication, the web, and so forth;<br>* Functional Pearls, being e=
legant and instructive programming examples;<br>* Experience Reports, to do=
cument general practice and experience in education, industry, or other con=
texts;<br>* Tutorials, to document how to use a particular language feature=
, programming technique, tool or library within the Haskell ecosystem;<br>*=
 System Demonstrations, based on running software rather than novel researc=
h results.<br><br>The deadline for paper submission is May 21st 2026 (Monda=
y).<br><br><div>Full details at</div><div><br></div><div>=C2=A0 =C2=A0 <a h=
ref=3D"https://icfp26.sigplan.org/home/haskellsymp-2026#Call-for-Papers-and=
-Talks">https://icfp26.sigplan.org/home/haskellsymp-2026#Call-for-Papers-an=
d-Talks</a></div><br>Cheers!</div>

--000000000000f0947306512d73ac--

--===============2453702353529965860==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============2453702353529965860==--