18 - 24 September 2020, 36th International Conference on Logic Programming (ICLP 2020), Virtual
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming.
Contributions are solicited in all areas of logic programming, including but not restricted to Foundations, Declarative Programming, Related Paradigms and Synergies, Implementation and Applications. Besides the main track, ICLP 2020 will host an Applications Track, a Sister Conferences and Journal Presentation Track, a Special Session on Women in Logic Programming, and a Research Challenges in Logic Programming Track. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. A school on logic programming will be held before the conference.
Three kinds of regular papers will be accepted: technical papers for technically sound, innovative ideas that can advance the state of logic programming, application papers that impact interesting application domains, and system and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.