Leipziger Workshop Funktionale Programmierung

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”, (cf. HaL1 - 2006, HaL 2016)

Date

September 29-30 (Tuesday, Wednesday) 2026

Schedule (tentative)

• (Sept 29 morning: tutorials)
• Sept 29 noon and afternoon: talks
• (Sept 29 evening: get-together, performance)
• Sept 30 morning and noon: talks
• (Sept 29 morning - Sept 30 afternoon: extra space available for discussion and side projects)

Location

HTWK Leipzig, Germany

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.

Contact any member of the program committee with proposals (you want to contribute) or suggestions (whom to ask).

Program Committee (under construction)

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

Participation Fees

We need to cover the cost of facilities and coffee breaks, and we want to offer some support for invited speakers. We aim at free participation for students. When buying an “industry” ticket, you sponsor a student ticket, and you get to advertise your company during the workshop.

Local Information

• local organizer: Johannes Waldmann
• workshop location (to be confirmed): Gutenberg building on HTWK Leipzig campus
• city of Leipzig: tourist information
• travel information:
  • high speed (ICE) train connections to Leipzig Central (Hauptbahnhof) from Berlin (1 hour), Frankfurt (3 h), Munich (3 h)
  • from Leipzig Halle airport (LEJ) to Hauptbahnhof: 15 min by train
  • from city center/Hauptbahnhof to HTWK campus: 15 min by tram