LeFUNK 2026

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)

News

  • August 10: published list of presentations, moved registration dates

Workshop schedule and program (tentative)

Tuesday September 29:

Wednesday September 30:

  • 09 - 12: talks
  • 13 - 16: Leipzig autotool user and deverloper meeting. Short talks and demonstrations:
    • J. Voigtländer (U Duisburg) Aufgabendiversität in Autotool
    • J. Waldmann (HTWK Leipzig) Neue autotool-Lückentext-Aufgaben: endliche algebraische Datentypen, Striktheit
    • M. Lehmann: LTI-Schnittstelle (progress report)

Talks:

  • Christian Berg. Serving Regulated APIs: An Experience Report
  • Olaf Klinke. Refinement types for the digital information age
  • Sascha Lucas. Ganeti: Introduction to a virtual machine cluster management tool
  • Gerardo Medina-Deniz. Constraint Programming for the Algorithmic Composition of Polyphonic Music
  • Jürgen Nicklisch. Massimult: Demonstrating Massively Simultaneous Combinator Reduction
  • Johann Rudloff. Compiling Idris to (Efficient) Machine Code
  • Justus Sagemüller. Near-WYSIWYG Typesetting of Mathematical Formulas as Haskell Source Code

there will be extra space (and coffee) available for discussion and side projects

Dates/Deadlines

  • submissions: July 12

    submit a short abstract (plaintext, approx. 200 words) and an extended abstract (PDF, up to 5 pages) via https://easychair.org/conferences/?conf=lefunk2026

    languages: for submission: English. for presentation: English or German - ask the audience.

  • author notification: August 7

  • early registration: August 24

  • workshop: September 29-30 (Tuesday, Wednesday)

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.

When in doubt, contact any member of the program committee.

Program Committee

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