LeFUNK 2026 Leipzig Workshop on Functional Programming September 29/30, Leipzig, Germany https://www.imn.htwk-leipzig.de/LFUNK2026/ 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 Best regards, and see you - Johannes. 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!