[Haskell] CFP: FARM 2014: Functional Art, Music, Modelling and Design

Dear all, This is the second FARM 2014 call for papres. Sorry for any duplicate postings! If you are using Haskell or any mostly functional language in any kind of musical, artistic, or design endeavour, please consider contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop of Fun

[Haskell] PhD Position in dependent types, testing & hardware design

== VACANCY : 1x Phd position in dependent types, testing & hardware design == The research group of Software Technology is part of the Software Systems division of in the departm