[Haskell] SEIT-2020 CfPs (FINAL Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)

Call for Papers The 10th International Conference on Sustainable Energy Information Technology (SEIT-20) http://cs-conferences.acadiau.ca/seit-20/ IMPORTANT DATES - Paper Submission Due:April 20, 2020 (FINAL) - Acceptance Notification:

[Haskell] Certified Programs and Proofs (CPP) 2021: First Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2021 (https:/