ICLP-DC 2018 – 14th Doctoral Consortium (DC) on Logic Programming https://logicprogramming.org/iclp2018/Proceedings/ICLP_DC.html Call for Applications The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students…
Category: Call for papers
CFP: CICLOPS 2018
CICLOPS 2017: Call for Papers and Talk Proposals 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems 18 July 2018 Oxford, UK https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ Co-located with ICLP’18 and FLoC. Important Dates Paper submission: 29 April 2018 Author Notification: 11 May…
LOPSTR 2018: Final Call for Papers
28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018. Deadline April 8. Communicated by Fred Mesnard
CFP: FMLAMAS 2018 at Stockholm
Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.
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