Haskell in Leipzig September 14-15, 2016 HTKW Leipzig, Germany http://hal2016.haskell.org/
Allow me to remind everyone of the opportunity to talk about your
research, projects or ideas at this year’s Haskell in Leipzig. The
deadline is three weeks from now.
== News ==
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.
== 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.
== 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 1, 2016. You will be notified by July 15, 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 <breit...@kit.edu>.
--
Dr. rer. nat. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
