[Haskell] Second Call for Papers: PACMPL issue ICFP 2019

2019-01-09 Thread Sam Tobin-Hochstadt via Haskell
PACMPL Volume 3, Issue ICFP 2019 Call for Papers accepted papers to be invited for presentation at The 24th ACM SIGPLAN International Conference on Functional Programming Berlin, Germany

[Haskell] Call for papers, MPC 2019, Portugal

2019-01-09 Thread Graham Hutton
Dear all, The next Mathematics of Program Construction (MPC) conference will be held in Portugal in October 2019, co-located with the Symposium on Formal Methods (FM). Paper submission is 3rd May 2019. Please share, and submit your best papers! Best wishes, Graham Hutton Program Chair, MPC