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

Fully virtual event hosted by the          Department of Computer Science of the University of Porto

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

New: Extended deadlines (regular papers)

** Abstract registration: May 12, 2021 ** Paper submission: May 18, 2021

New: 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.

Tracks and Affiliated Events ****************************

Besides the main track, ICLP 2021 will host additional tracks:

** Applications Track ** Recently Published Research Track

and affiliated events:

** MentorLP - Mentoring Workshop on Logic Programming ** Fall School on Logic and Constraint Programming ** Doctoral Consortium ** Tutorials and co-located Workshops

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

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

Any additional question can be directed towards ICLP Chairs:

iclp2021@easychair.org

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