[Haskell] 2nd CfP: Special journal issue on Functional and (Constraint) Logic Programming

2011-04-11 Thread Santiago Escobar
Special issue of Information and Computation on Functional and (Constraint) Logic Programming Scope Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functio

[Haskell] CFP: 8th CHR Workshop

2011-04-11 Thread Jon Sneyers
Apologies if you receive multiple copies Call for Papers Eighth International Workshop on Constraint Handling Rules CHR 2011

[Haskell] Possible Hackathon at MSR Cambridge this summer

2011-04-11 Thread Simon Marlow
Hi Folks, We're looking into the possibility of holding a Haskell Hackathon at Microsoft Research, Cambridge, UK, this summer. The available dates are 22-24 July 12-14 August both Friday-Sunday. If you're interested in coming, use the following link to let us know which date you prefer:

[Haskell] Call for papers DTP'11

2011-04-11 Thread Wouter Swierstra
Dependently Typed Programming 2011 Call for Papers 27 of August 2011 Nijmegen, The Netherland In association with ITP 2011 Deadline for submission: 10 June 2011 http://www.cs.ru.nl/dtp11 D