LeFUNK 2026 Leipzig Workshop on Functional Programming

Announcements
1

September 29/30, Leipzig, Germany

        abstract submission: by July 12

bringing together functional programming developers, researchers,
enthusiasts and beginners to listen to talks,
take part in tutorials, and join in interesting conversations;

continuing the tradition of “Haskell in Leipzig” (started in 2006)

Topics:

in general: functional programming in applications, teaching, research.

in particular: we welcome contributions in these areas

expressive types 
interactive programming and proving 
functional programming for music and arts

a contribution can be: a talk (30 min), a tutorial (90 min), a performance.

Program Committee (under construction)

Joachim Breitner, Lean FRO 
Andres Löh, Well Typed 
Henning Thielemann 
Johannes Waldmann, HTWK Leipzig

NB: in order to add some actual Haskell content, here’s a puzzle:
explain the difference in numbers of test cases:

ghci> import Test.LeanCheck
ghci> check $ \ x y -> x || y == y || x
+++ OK, passed 2 tests (exhausted).
ghci> check $ \ x y -> (x || y) == (y || x)
+++ OK, passed 4 tests (exhausted).

you’re welcome to bring puzzles to the workshop as well!

4 Likes
2

As a Haskeller based in Leipzig the announcement made me very happy. Yet I have to ask: Why is it a decennial event? The impression I got from the Funktionaler Stammtisch in Leipzig is that the community is small but it exists.

3

The predecessor HaL used to be an annual event, but somewhen the cycle broke.

4

Are there any plans to publish the submitted abstracts? Are the talks going to be recorded and uplouded somewhere?

Sounds like an exciting event!

5

I think we will publish the accepted abstracts, but in the past we recorded talks only rarely.

6

How sure are you on having them published? Thinking about justifying my participation at work: having some kind of record is definitely a plus, and any guarantee on this front would be appreciated.

BTW, are remote talks on the table?