HaL-2017 Haskell in Leipzig

Workshop with Hackathon, October 26-28, Leipzig, Germany

For accepted contributions and program, see https://hal2017.softbase.org/


  • Workshop: Thursday (26. Oct) noon - Friday (27. Oct) noon
    • Thu 14:00 session 1: invited talk
    • Thu 16:00 session 2: talks
    • Thu 19:00 barbeque, with invited performance
    • Fri 09:00 session 3: tutorials
    • Fri 11:00 session 4: talks
  • Hackathon: Friday noon - Saturday (if needed)


Dates and Fees

early (until October 12) late and on-site
Workshop (regular) 40 EUR 60 EUR
Workshop (student) 20 EUR 40 EUR
extra HAL barbeque ticket 10 EUR 20 EUR
Hackathon 10 EUR 10 EUR

Workshop fee covers access to talks and coffee, and includes the barbeque. You need an extra barbeque ticket if you're an accompanying person, or a HTWK person.

Lunch is not included. There are several options for lunch within walking distance.

Proof of student status must be provided on-site.

Students and staff of HTWK Leipzig get free access to the talks - but need to follow the usual registration process and deadlines for barbeque and hackathon.

Registration Data

To start the registration process, send the following information in email with subject "HAL 2017 registration" to the local organizer, johannes (dot) waldmann (at) htwk (minus) leipzig (dot) de.

  • your full name and postal address (this will be printed on the invoice and receipt)
  • your name and (short form of) your institution (this will be printed on your name tag - where space is tight)
  • your order (Workshop/Hackathon regular/student - pick the applicable option from the table above, and add the expected price, just to be sure)
  • special needs (e.g., wheelchair access, vegetarian preference for barbeque)

Registration Process

  • You send your registration data to the local organizer.
  • We send to you an invoice by email.
  • You transfer the money, according to the instructions for bank transfer attached to the invoice.
  • Once we receive the money, your registration is completed. You will get a written receipt at the workshop.

Make sure the money is in our account before the deadline. Else, you will have to pay extra.

Make sure to follow payment instructions exactly. (Account number is not enough - we also need the reference number to trace your money). Do not send money before you get the invoice. We cannot process credit cards.

Local information


Workshop and hackathon takes place at HTKW Leipzig, Nieper-Bau, Karl-Liebknecht-Straße 134, D-04277 Leipzig.

We have Eduroam WLAN access, and there will be an extra network for guests.

Barbeque and performance on Thursday night will be at HfTL Club Stecker.


Leipzig has an airport, with an express train (30 min) to Leipzig Central.

Leipzig Central (Hauptbahnhof) is on the German high speed railway network (ICE) and has frequent connections to Berlin (1 hour), Frankfurt (3 hours), Munich (5 hours).


Leipzig has lots of hotels of all price ranges. More tourist info


Organizing Committee: Christine Klöden, Johannes Waldmann (chair), Mario Wenzel

Johannes Waldmann, Fakultät IMN, HTWK Leipzig, Germany. | Legal Note (Impressum)