[Haskell] [Second call for participation] Spring School about Proofs of Programs using Coq

*** Call for participation, please distribute. *** EPIT'2015 (http://www.epit2015.website) Spring School in Theoretical Computer Science Mechanizing Proofs of Programs in Coq May 25 to May 29, 2015, Frejus, France * Presentation The frenc

[Haskell] APLAS 2015: Call for Papers

* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ***

[Haskell] Extended Deadline - SBLP 2015

CALL FOR PAPERS SBLP 2015 *** EXTENDED DEADLINE *** 19th Brazilian Symposium on Programming Languages 24-25 September 2015 Belo Horizonte, Brazil http://cbsoft.org/sblp2015 +++ IMPORTANT DATES Abstract submission (extended): 27 April, 2015 Pape

Re: [Haskell] [Haskell-cafe] Help wanted with Wiki.Haskell.Org

Gershom wrote: > ...the HaskellWiki ...requires care and maintenance > and contributions from all of us. I replied to this in the reddit thread at: http://www.reddit.com/r/haskell/comments/339qxm/haskellcafe_help_wanted_with_wikihaskellorg/ Short summary: > 1) Account Creation Management I bel

[Haskell] AI4FM 2015: Call for Short Contributions

- AI4FM 2015 - the 6th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2015/ Edinburgh, 1st September, 2015 In association with AVoCS 2015 https://sites.google.com/site/avocs15 -