Category: Call for papers

CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue

Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…

SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the…

CFP: WiL 2019: 3rd Women in Logic Workshop

Call for Talks and Papers           WiL 2019: 3rd Women in Logic Workshop                     Vancouver, Canada                       23 June 2019    https://sites.google.com/site/womeninlogic2019/home Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 24-27 June 2019 (https://lics.siglog.org/lics19/). We are holding the third Women…

CFP: Logic Programming and Non-monotonic Reasoning 2019

15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop AIMS AND SCOPE  LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning.…

Call for Papers: 12th International Rule Challenge 2018

Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html NOTE: Extended submission deadline: July 31, 2018 Topics The International Rule Challenge 2018 is one of the highlights of the RuleML+RR 2018 conference and seeks to provide competition among innovative rule-oriented…

CFP: ICLP-DC 2018 Doctoral Consortium

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…

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…