Category: Call for papers

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.…

Read more →

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…

Read more →

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…

Read more →

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…

Read more →

28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018. Deadline April 8. Communicated by Fred Mesnard

Read more →

Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.

Read more →

By Francesco Ricca
University of Calabria
Italy

Read more →

By Amy Felty,
University of Ottawa,
Canada

Read more →

By George Katsirelos
INRA, Toulouse
France

Read more →

By Marcello Balduccini
Saint Joseph’s University
USA

Read more →