=========================================================================                           CALL FOR SHORT PAPERS     The 37th International Conference on Logic Programming (ICLP 2021) =========================================================================

We are pleased to announce our distinguished invited speakers.

** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University

=========================================================================

Contributions are sought in all areas of logic programming, including but not restricted to:

** Foundations: Semantics, Formalisms, Nonmonotonic reasoning,    Knowledge representation.

** Languages issues: Concurrency, Objects, Coordination, Mobility,    Higher order, Types, Modes, Assertions, Modules, Meta-programming,    Logic-based domain-specific languages, Programming techniques.

** Programming support: Program analysis, Transformation, Validation,    Verification, Debugging, Profiling, Testing, Execution    visualization.

** Implementation: Compilation, Virtual machines, Memory management,    Parallel/distributed execution, Constraint handling rules, Tabling,    Foreign interfaces, User interfaces.

** Related Paradigms and Synergies: Inductive and coinductive logic    programming, Constraint logic programming, Answer set programming,    Interaction with SAT, SMT and CSP solvers, Theorem proving,    Argumentation, Probabilistic programming, Machine learning.

** Applications: Databases, Big data, Data integration and federation,    Software engineering, Natural language processing, Web and semantic    web, Agents, Artificial intelligence, Computational life sciences,    Cybersecurity, Robotics, Education.

Important Dates ***************

** Short Paper Submission: July 4, 2021 ** Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021

Submission Details ******************

Expected submissions must follow the instructions:

** Short papers (7 pages in EPTCS format (http://info.eptcs.org/),    including references) can describe published research.    The accepted short papers that describe original and previously    unpublished work will be published as technical communications,    along with the selected ICLP technical communications papers.    The accepted short papers that describe published research will be    made available at the conference webpage, with the permission of    the authors.

All submissions must be written in English. Accepted technical communications will be presented during the conference. Authors of accepted technical communications will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.

Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021

More details ************

https://iclp2021.dcc.fc.up.pt

Any additional question can be directed towards ICLP Chairs:

iclp2021@easychair.org

=========================================================================