[Haskell-cafe] SingHaskell, Nov 28 (Second Call)

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.be
Sun Nov 25 23:30:56 EST 2007


What is SingHaskell?

Sing(apore)Haskell is a Haskell (and related languages) meeting in 
Singapore. The meeting is organized by Tom Schrijvers ( 
Tom.Schrijvers at cs.kuleuven.be ) and Martin Sulzmann ( 
sulzmann at comp.nus.edu.sg ) 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: tom.schrijvers at cs.kuleuven.be
url: http://www.cs.kuleuven.be/~toms/


More information about the Haskell-Cafe mailing list