[Haskell] NFM 2015 - 3rd call for papers

CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 – 29 April 2015 Pasadena, California, USA Paper Submission: 10 Nov 2014 THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques tha

[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2014 edition

Dear all, We would like to collect contributions for the 27th edition of the Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission