Haskell in Leipzig
September 14-15, 2016
HTKW Leipzig, Germany
http://hal2016.haskell.org/
We have received good and interesting proposals, but our schedule still
has room for more. So whether you wanted to submit, but just did not
make the first deadline, or whether you only now decide to come to
Leipzig, this is your chance:
Please submit your short abstract until Friday, July 15th.
Do you need ideas? Here some possible directions:
* Very fancy type tricks using all of GHC’s extensions.
* Very fancy type tricks using none of GHC’s extensions.
* Getting Haskell to run really really fast.
* Using Haskell to make real money, in real life.
* Showing how this one odd Haskell library make doing something
appear rally simple.
* Stuff that is really horrible with Haskell (and how to do it better)
* What is cool in other functional programming language right now.
We are particularly interested in good tutorials. These could range
from impressing beginners with what you can do with Haskell to teaching
new tricks to the experts. So if you think you have something useful to
teach, please submit a proposal.
Please share this CfP with whoever might be interested.
== About HaL ==
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.
Everything related to Haskell is on topic, whether it is about current
research, practical applications, interesting ideas off the beaten
track, education, or art, and topics may extend to functional
programming in general and its connections to other programming
paradigms as well.
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):
http://nfa.imn.htwk-leipzig.de/LDEC2016/
In order to accommodate and welcome a more international audience, this
year’s HaL will be held in English.
== Invited Speaker ==
Unsure about whether HaL is interesting to you? No need to worry:
Alejandro Russo
(from Chalmers) is our keynote speaker and will talk about his work on
information-flow control (i.e. SecLib, LIO, MAC, HLIO) – a great topic
that is of interest to researchers, practitioners and beginners alike.
== Submissions ==
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 an PDF document, at
https://easychair.org/conferences/?conf=hal2016
until Friday, July 15, 2016. You will be notified by July 30, 2016.
== 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
If you have any questions, please do not hesitate to contact
Joachim Breitner