Personal tools

HaL3

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (removed informal call for papers notice)
(updated program)
 
Line 5: Line 5:
 
Hackathon: Apr 19-20, 2008.
 
Hackathon: Apr 19-20, 2008.
   
'''Leipzig (exact location will be announced soon.)'''
+
'''Alte Schlosserei Leipzig Kurt-Eisner-Strasse 66, im Hinterhaus / 04275 Leipzig''' ([http://www.alte-schlosserei.de/sites/anfahrtsskizze.htm Anfahrtskizze], [http://maps.google.com/maps/ms?ie=UTF8&hl=en&t=h&om=1&msa=0&msid=115478226050216848724.000449f6aa085ec6aee18&ll=51.32023,12.374162&spn=0.003098,0.005643&z=18 Google Maps])
   
  +
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. 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, ...).
   
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, ...).
+
== Program - 18. April 2008 ==
   
== Tentative program ==
+
=== 17:00, Admission ===
   
=== Theorems for free, Dr. Janis Voigtlaender TU-Dresden ===
+
=== 17:30, Theorems for free, Dr. Janis Voigtlaender TU-Dresden ===
   
 
[http://wwwtcs.inf.tu-dresden.de/~voigt/ Website]
 
[http://wwwtcs.inf.tu-dresden.de/~voigt/ Website]
Line 18: Line 19:
 
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.
 
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.
   
=== A compiler for a simulation- and testing language in Haskell -- Bernd Holzmüller ===
+
=== 18:15, A compiler for a simulation- and testing language in Haskell -- Bernd Holzmüller ===
   
 
[http://www.ics-ag.de/ Website]
 
[http://www.ics-ag.de/ Website]
Line 24: Line 25:
 
ICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The Test system is used in some industrial projects. The talk presents the tool and gives experiences from using Haskell.
 
ICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The Test system is used in some industrial projects. The talk presents the tool and gives experiences from using Haskell.
   
=== Provably secure programming: The library problem of functional languages -- Lutz Donnerhacke ===
+
=== 19:00, Pause ===
   
[http://www.iks-jena.de/mitarb/lutz/person.html Website]
+
=== 20:00, Making of Leksah -- Jürgen Nicklisch-Franken ===
 
The Talk was planned for the canceled securit-aix conference and gives an overview over the development of the runtime library in SPARK. Through using SPARK the execution of Haskell code can build on a solid axiomatic semantic foundation. From this foundation the powerful tools of semantic verification can be used to prove the correctness of bigger software projects.
 
 
=== Making of Leksah -- Jürgen Nicklisch-Franken ===
 
   
 
[http://code.haskell.org/leksah Website]
 
[http://code.haskell.org/leksah Website]
Line 32: Line 33:
 
This talk demonstrates the current development state of Leksah ([http://code.haskell.org/leksah]), a Haskell IDE written in Haskell, explains the motivation behind the project and discusses some highlights and issues of developing an IDE in Haskell.
 
This talk demonstrates the current development state of Leksah ([http://code.haskell.org/leksah]), 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 -- [http://leiffrenzel.de/ Leif Frenzel], [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] ===
+
=== 21:00, Hackathon kick-off -- [http://leiffrenzel.de/ Leif Frenzel], [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] ===
  +
  +
Preparation and planning of the Hackathon weekend (Haskell refactoring and IDE integration). More details can be found in this wiki: [http://corsis.de/hep/ http://leiffrenzel.de/eclipse/wiki/doku.php]
   
Preparation and Planning of the Hackathon weekend (Haskell refactoring and IDE integration). More details can be found in this wiki: [http://leiffrenzel.de/eclipse/wiki/doku.php]
+
=== 23:00, End of the meeting ===
   
 
== Misc ==
 
== Misc ==

Latest revision as of 19:44, 3 April 2008

HaL 3: Meeting and Hackathon

Meeting: Apr 18, 2008. 5.30 p.m.

Hackathon: Apr 19-20, 2008.

Alte Schlosserei Leipzig Kurt-Eisner-Strasse 66, im Hinterhaus / 04275 Leipzig (Anfahrtskizze, Google Maps)

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. 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, ...).

Contents

[edit] 1 Program - 18. April 2008

[edit] 1.1 17:00, Admission

[edit] 1.2 17:30, Theorems for free, Dr. Janis Voigtlaender TU-Dresden

Website

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.

[edit] 1.3 18:15, A compiler for a simulation- and testing language in Haskell -- Bernd Holzmüller

Website

ICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The Test system is used in some industrial projects. The talk presents the tool and gives experiences from using Haskell.

[edit] 1.4 19:00, Pause

[edit] 1.5 20:00, Making of Leksah -- Jürgen Nicklisch-Franken

Website

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.

[edit] 1.6 21:00, 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: http://leiffrenzel.de/eclipse/wiki/doku.php

[edit] 1.7 23:00, End of the meeting

[edit] 2 Misc

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.

[edit] 3 Previous HaL Meetings