# LeFUNK 2026 Leipzig Workshop on Functional Programming

**URL:** <https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296>\
**Category:** Announcements\
**Created:** [June 19, 2026, 7:56pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296 "2026-06-19T19:56:53Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![thielema](https://avatars.discourse-cdn.com/v4/letter/t/ee59a6/32.png) [@thielema](https://discourse.haskell.org/u/thielema)\
**Post date:** [June 19, 2026, 7:56pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/1 "2026-06-19T19:56:53Z")

</div>

September 29/30, Leipzig, Germany

> **[LeFUNK 2026](https://www.imn.htwk-leipzig.de/LFUNK2026/)**

```haskell
        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

```haskell
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)

```haskell
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!

---

<div class="post-metadata">

**Author:** ![sonatsuer](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/sonatsuer/32/3839_2.png) [@sonatsuer](https://discourse.haskell.org/u/sonatsuer)\
**Post date:** [June 20, 2026, 8:35pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/2 "2026-06-20T20:35:45Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![thielema](https://avatars.discourse-cdn.com/v4/letter/t/ee59a6/32.png) [@thielema](https://discourse.haskell.org/u/thielema)\
**Post date:** [June 20, 2026, 8:48pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/3 "2026-06-20T20:48:45Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![ninioArtillero](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ninioartillero/32/4285_2.png) [@ninioArtillero](https://discourse.haskell.org/u/ninioArtillero)\
**Post date:** [June 24, 2026, 6:12pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/4 "2026-06-24T18:12:44Z")

</div>

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

Sounds like an exciting event!

---

<div class="post-metadata">

**Author:** ![thielema](https://avatars.discourse-cdn.com/v4/letter/t/ee59a6/32.png) [@thielema](https://discourse.haskell.org/u/thielema)\
**Post date:** [June 25, 2026, 8:12pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/5 "2026-06-25T20:12:56Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![ninioArtillero](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ninioartillero/32/4285_2.png) [@ninioArtillero](https://discourse.haskell.org/u/ninioArtillero)\
**Post date:** [June 25, 2026, 8:34pm UTC](https://discourse.haskell.org/t/lefunk-2026-leipzig-workshop-on-functional-programming/14296/6 "2026-06-25T20:34:18Z")

</div>

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?