Dear all,
We would like to collect contributions for the 28th edition of the
Haskell Communities & Activities Report
http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report
Submission
[apologies for any cross-posting]
Call for Papers
---
13th International Conference on
Logic Programming and Non-monotonic Reasoning
Applications are welcome from ANYWHERE for a Microsoft Research
sponsored PhD position in the Mathematically Structured Programming
group at the University of Strathclyde.
Project: Real World Data with Dependent Types:
Integrity and Interoperation
Strath
FINAL CALL FOR PAPERS
Second International Workshop on
Rewriting Techniques for Program Transformations and Evaluation
WPTE 2015
affiliated with RDP 2015
2 J
