Universiteit van Amsterdam


Institute for Logic, Language and Computation

3 - 6 July 2017, 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland

Date: 3 - 6 July 2017
Location: Espoo, Finland
Deadline: Friday 27 January 2017

LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.

This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.

Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on conference topics. Deadline for paper registration: January 27th, 2017.

Additionally, those interested in organizing a workshop at LPNMR 2017 are invited to submit a workshop proposal. Deadline for proposals: December 20, 2016.

For more information, see http://lpnmr2017.aalto.fi or contact .