[Haskell] AVoCS 2015: Final Call for Papers

2015-05-27 Thread YuHui Lin
== FINAL CALL FOR PAPERS The 15th International Workshop on Automated Verification of Critical Systems AVoCS 2015 1-4 September 2015, Edinburgh,

[Haskell] ICFP 2015 Student Research Competition: Call for Submissions

2015-05-27 Thread Andrew Kennedy
== CALL FOR SUBMISSIONS SRC@ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/