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 . -- Dr. rer. nat. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner