Haskell in Leipzig 2016

About HaL

Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is reknown for its expressive type system, and unique approaches to concurrency and parallelism. Haskell is both the playing field of cutting edge programming language research and a reliable base for commercial software development.

The workshop series “Haskell in Leipzig”, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations.

This year, HaL is colocated with two related conferences,

to form the Leipzig Week of Declarative Programming (L-DEC). In order to accommodate this more international audience, this year’s HaL will be in English.



We are happy to announce that we have accepted 11 talks and 4 tutorials. See below for a concise schedule, the full program for the list including abstracts and the L-DEC program for what else is happening this week.

Session 1: Wednesday, 11:00-12:30 (Chaired by Matthias Fischmann)

Session 2: Wednesday, 14:00-15:30 (Chaired by Andreas Abel)

Session 3: Wednesday, 16:00-17:30 (Chaired by Henning Thielemann)

Session 4: Thursday, 9:00-10:30, parallel tutorials

Session 5: Thursday, 11:00-12:30, parallel tutorials

Session 6: Thursday, 14:00-16:30 (Chaired by Heinrich Apfelmus)

Musical Performance

by Anton Kholomiov

The Haskell is going to be used on stage! The music is the wild mix of Indian ragas with IDM and glitch. The mellow Bansuri improvisations are going to be accompanied with Haskell-based synthesizers and playback of ambient and glitchy loops created with Haskell. The key aspect of Indian music is to immerse the listener into a single emotion. The synthesizers are used to frame the Hindustani tradition in modern setting and make it accessible for contemporary listeners.

You can listen to the music on soundcloud at https://soundcloud.com/anton-kho/ and https://soundcloud.com/kailash-project.

Anton will perform during on Wednesday at the HAL Barbeque, which starts at 19:00.

Local information

Registration for HAL and the rest of L-DEC is open now. Please refer to the Registration page page for details.

The workshop will take place at the HTWK Leipzig, in the Nieper-Bau.

Program committee


Changes to this website can also be suggested more easily by editing the source file on github and creating a pull-request. The web page is generated using hakyll, the Haskell static site generator, and the deployment is automated using Travis CI.

Call for papers

Contributions can take the form of

Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the PC and the audience get a good idea of your submission, but this is not a hard requirement.

You can submit your abstract, as a PDF document, at


until Friday, July 1, 2016, anywhere on earth. You will be notified by July 15, 2016.