*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
=
Call for Papers
Tenth International Workshop on Constraint Handling Rules
CHR 2013
http://dtai.cs.kuleuven.be/CHR/CHR2013/
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