Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.
Category: Call for papers
CFP: RuleML+RR 2018: International Joint Conference on Rules and Reasoning
By Francesco Ricca
University of Calabria
Italy
CFP: WiL 2018: Second Women in Logic Workshop
By Amy Felty,
University of Ottawa,
Canada
CFP: Twenty-Fourth Conference on Principles and Practice of Constraint Programming
By George Katsirelos
INRA, Toulouse
France
CFP: KR 2018
By Marcello Balduccini
Saint Joseph’s University
USA
Workshop Proposals: KR 2018 Workshops and Tutorials
By Marcello Balduccini,
Saint Joseph’s University
USA
KR 2018: Call for Tutorial and Workshop Proposals
By Marcello Balduccini,
Saint Joseph’s University
USA
CFP: 16th International Conference on Principles of Knowledge Representation and Reasoning
PRELIMINARY CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 reasoning.eas.asu.edu/kr2018/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR], KR 2018 IMPORTANT DATES (Tentative)…
CFP: Foundations of Information and Knowledge Systems (FoIKS)
By Stefan Woltran,
Technical University of Vienna, Austria
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…