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,
- the Workshop on Functional and (Constraint) Logic Programming (WFLP) and
- the Workshop on (Constraint) Logic Programming (WLP),
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.
Dates
2016-04-22: Call for papers2016-07-15: extended Submission deadline2016-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)
- Dependently Typed Heaps abstract slides
by Lars Brünjes - Random access lists, nested data types and numeral systems abstract slides
by Balázs Kőműves - Generalized Algebraic Dynamic Programming: Theory and Applications in Bioinformatics and Linguistics abstract
by Sarah J. Berkemer, Peter F. Stadler and Christian Hoener Zu Siederdissen
Session 2: Wednesday, 14:00-15:30 (Chaired by Andreas Abel)
- Invited Talk: Preserving Privacy with Monads abstract
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 - Management at Algorithmic Financial Markets abstract
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 - 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 - 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 - Plugin Architectures in Haskell abstract slides
by Sebastian Graf - Store: An Efficient Binary Serialization Library abstract slides by Philipp Kant
- Automated Performance Measurements abstract
by Johannes Waldmann
Musical Performance
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
- Andreas Abel, Chalmers and Gothenburg University, Sweden
- Heinrich Apfelmus, Leipzig, Germany
- Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair)
- Matthias Fischmann, Zerobuzz, Germany
- Petra Hofstedt, BTU Cottbus-Senftenberg, Germany
- Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of Technology, Estonia
- Andres Löh, Well-Typed LLP, Germany
- Alejandro Serrano Mena, Universiteit Utrecht, Netherlands
- Neil Mitchell, Standard Chartered Bank, UK
- Katie Ots, Facebook, UK
- Peter Stadler, University of Leipzig, Germany
- Henning Thielemann, Freelancer, Germany
- Niki Vazou, University of California, San Diego, USA
Contact
- Joachim Breitner (PC-Chair)
- Johannes Waldmann (Local organizer).
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.