Apologies for double-posting.
DEADLINE FOR ABSTRACT EXTENDED TO April 26 ***
PAPER SUBMISSION DEADLINE May 2 ***
ICLP 2017 Call for Papers
-
The 33rd International Conference on Logic Programming (ICLP 2017)
will
*** Apologies for multiple copies, please redistribute ***
*** DEADLINE EXTENSION ***
FINAL CALL FOR PAPERS
FroCoS 2017
11th International Symposium on Frontiers of Combining Systems
*** Apologies for multiple copies, please redistribute ***
--- Call For Papers ---
SMT 2017
15th International Workshop on Satisfiability Modulo Theories
July 22 - 23, 2017, Heidelberg, Germany
Affiliated with CAV 2017
==
CALL FOR PAPERS
The 7th ACM SIGPLAN International Conference
on Certified Programs and Proofs (CPP 2018)
co-located with POPL 2018
in cooperation with ACM SIGLOG
http://popl18.sigplan.org/track/CPP-2018
8-9 January, 2018, Los