[Haskell] PhD Positions in Formal Methods and Language-based Security at Chalmers

2013-02-20 Thread Andrei Sabelfeld
*PhD* Positions in Formal Methods and Language-based Security at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: March 30, 2013 *Job description ...* *... o

[Haskell] CFP: 10th CHR Workshop in Berlin, July 2013

2013-02-20 Thread Jon Sneyers
= Call for Papers Tenth International Workshop on Constraint Handling Rules CHR 2013 http://dtai.cs.kuleuven.be/CHR/CHR2013/

[Haskell] Haskell Weekly News: Issue 259

2013-02-20 Thread Daniel Santa Cruz
Welcome to issue 259 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of February 10 to 16, 2013. Quotes of the Week * frerich: i thought endo is where the ewoks live * edwardk: on the other hand i also write exce