Welcome to LPNMR DC 2017...


  • The proceedings are now online
  • Dates of Doctoral Consortium decided: 4-6 July 2017
  • Participants Announced
  • Notification delayed until 3 May
  • Call for papers available: Download here
  • Application details available


The DC will take place during the fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) at the Hanasaari Conference Center, Espoo, Finland from July 3 - 6, 2017. It provides a forum for doctoral students working in all areas related to logic programming and non monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. The 14th International Conference 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, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. LPNMR and its programmatic expression, Answer Set Programming, have roots in the famous special issue of AIJ in 1980, devoted to Nonmonotonic Reasoning. There will be significant time for students to present their work, meet mentors from their own and closely related fields. The DC is aimed at students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):
  • Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions and computational complexity
  • Implementation of LPNMR systems, including new systems and algorithms
  • Applications of LPNMR
The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher.