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.

2016-04-22: Call for papers

2016-07-15: extended Submission deadline

2016-07-22: Announcement of accepted submissions

2016-07-28: Registration opens

2016-09-12 – 2016-09-15: L-DEC

2016-09-14 – 2016-09-15: HaL 2016

Program

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)

Invited Talk: Preserving Privacy with Monads abstract

by Alejandro Russo

by Alejandro Russo Csound-expression Haskell framework for computer music abstract

by Anton Kholomiov

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

HGamer3D - a toolset for developing games with Haskell abstract slides

by Peter Althainz

by Peter Althainz Management at Algorithmic Financial Markets abstract

by Viktor Winschel

by Viktor Winschel Project report: building a web-application with servant, lucid, and digestive-functors abstract slides slide sources

by Matthias Fischmann and Andor Pénzes

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

Workshop: creating computer music with Haskell abstract

by Anton Kholomiov

by Anton Kholomiov Ten example uses of monads abstract

by Philipp Schuster

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

Efficient signal processing using Haskell and LLVM abstract slides

by Henning Thielemann



by Henning Thielemann HGamer3D - do it yourself abstract

by Peter Althainz



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

Simple blog engine with shape functors and generic eliminators for ADTs abstract slides slide sources

by Andor Pénzes

by Andor Pénzes Plugin Architectures in Haskell abstract slides

by Sebastian Graf

by Sebastian Graf Store: An Efficient Binary Serialization Library abstract slides by Philipp Kant

by Philipp Kant Automated Performance Measurements abstract

by Johannes Waldmann

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

talks (about 30 minutes),

tutorials (about 90 minutes),

demonstrations, artistic performances, or other extraordinary things.

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

https://easychair.org/conferences/?conf=hal2016

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