Difference between revisions of "HaL3"
(submitted initial HaL3 page) |
m (line break) |
||
| Line 2: | Line 2: | ||
Meeting: Apr 18, 2008. 5.30 p.m. |
Meeting: Apr 18, 2008. 5.30 p.m. |
||
| + | |||
Hackathon: Apr 19-20, 2008. |
Hackathon: Apr 19-20, 2008. |
||
Revision as of 14:36, 7 March 2008
HaL 3: Meeting and Hackathon
Meeting: Apr 18, 2008. 5.30 p.m.
Hackathon: Apr 19-20, 2008.
Leipzig (exact location will be announced on the HaL3 webpage soon.
HaL 3, the third Haskell in Leipzig meeting, will take place on Friday, April 18, 2008. The meeting will begin at 5.30 p.m., the exact location will be announced on the HaL 3 webpage soon. For the first time, the HaL meeting will be combined with a Hackathon weekend (19.-20.4.), where we want to work on the Haskell Eclipse plugin (refactoring, IDE integration, ...).
Tentative program
Theorems for free, Dr. Janis Voigtlaender TU-Dresden
The talk illustrates how and why certain propositions can be derived just by looking at the type of a function (rather than its full definition), explains briefly the theoretical background and examines example applications.
Making of Leksah -- Jürgen Nicklisch-Franken
This talk demonstrates the current development state of Leksah ([1]), a Haskell IDE written in Haskell, explains the motivation behind the project and discusses some highlights and issues of developing an IDE in Haskell.
Hackathon kick-off -- Leif Frenzel, Johannes Waldmann
Preparation and Planning of the Hackathon weekend (Haskell refactoring and IDE integration). More details can be found in this wiki: [2]
Misc
In addition, we hope to be able to offer a further talk about 'Business applications in Haskell'. (There was a lot of interest in such a talk at the previous HaL meetings.) If anybody would like to give a presentation about this topic, please contact us :-)
If you'd like to join us at HaL 3, please send an email to haskell "at" iba "minus" cg "dot" de.
For the workshop, we ask for a small fee (5 Euro) to cover catering.