[Haskell] PEPM 2014: Final call for papers

2013-09-18 Thread oleg
ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION Mon-Tue, January 20-21, 2014 San Diego, California, USA co-located with POPL'14 Sponsored by ACM SIGPLAN http://www.program-transformation.org/PEPM14 SCOPE The PEPM Symposium/Workshop series aims

[Haskell] Haskell Weekly News: Issue 280

2013-09-18 Thread Daniel Santa Cruz
Welcome to issue 280 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 8 to 14, 2013. Quotes of the Week * haasn: edwardk uses things in anger. shachaf uses them with disappointment :( * shachaf:

[Haskell] CFP Special Issue Journal of Logic and Algebraic Programming

2013-09-18 Thread Josep Silva Galiana
[Please post - apologies for multiple copies] Call for Papers JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Special Issue on Automated Specification and Verification of

Re: [Haskell] 2nd CFP: SCSS 2013

2013-09-18 Thread Josep Silva Galiana
[Please post - apologies for multiple copies] Call for Papers JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Special Issue on Automated Specification and Verification of

[Haskell] future (editor) of HCAR?

2013-09-18 Thread Janis Voigtlaender
Dear all, The Haskell Communities and Activities Report has been produced twice a year for more than ten years now: http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report I have been responsible for producing it the last few years, which was fun. I am now looking to pass t