Author: Editors

CFP: CPP 2018

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 Angeles, USA Certified Programs and Proofs (CPP) is an international…

Reasoning Web Summer School

********************************************** CALL FOR APPLICATIONS The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ********************************************** co-located with: RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ DecisionCAMP 2017, London, U.K., July…

Book Announcement: Martin Davis on Computability, Computational Logic, and Mathematical Foundations

ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…

CFP: International Conference on Logic Programming

Call for Papers 33rd International Conference on Logic Programming (co-located with CP and SAT and following IJCAI) Melbourne, Australia August 28 – September 1, 2017 http://iclp17.a4lp.org Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the premier…