SingHaskell, Nov 28 (Second Call)

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

SingHaskell, Nov 28 (Second Call)

Tom Schrijvers-2

What is SingHaskell?

Sing(apore)Haskell is a Haskell (and related languages) meeting in
Singapore. The meeting is organized by Tom Schrijvers (
[hidden email] ) and Martin Sulzmann (
[hidden email] ) and will be hosted by the National University
of Singapore.

Date and location

Sing(apore)Haskell takes place on Wed 28 Nov 2007 (right before APLAS'07
http://flint.cs.yale.edu/aplas2007/). The meeting will be held on the
National University of Singapore campus at COM1-02-VC (2nd floor video
conference room, School of Computing) Further location details:
http://www.comp.nus.edu.sg/aboutsoc/getting_to_soc_at_com1.htm 
http://www.comp.nus.edu.sg/corpcomm/location/maps.htm#com1 
http://www.comp.nus.edu.sg/corpcomm/location/COM1_L2.htm The meeting
starts at 9:30am and should end around 2pmish (with a lunch-break, on your
own, in between)

Let Tom or Martin know if you are interested in coming. Either to attend
the meeting or even give a talk.

Programme

9:30-9:55 Welcome, Quick intro to Haskell, Martin Sulzmann
10:00-10:25 First Class Constraint Programming in Haskell, Tom Schrijvers
10:30-10:55 Implementing STM in Concurrent Haskell, Frank Huch
11:00-11:25 Rule-based concurrent programming in Haskell, Edmund Lam
11:30-11:55 XHaskell - Adding regular expression types to Haskell, Kenny
12:00 - 12:25 Static Contract Checking for Haskell, Dana Xu
12:30 - 13:20 Lunch break
13:30 - 13:25 Functional dependencies versus type functions and beyond, Martin Sulzmann
13:30-13:55 Bernd Brassel

For more information, see
http://taichi.ddns.comp.nus.edu.sg/taichiwiki/SingHaskell2007

--
Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium

tel: +32 16 327544
e-mail: [hidden email]
url: http://www.cs.kuleuven.be/~toms/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe