[hpc-announce] CFP - 37th International Conference on Logic Programming (extended deadlines)

[Miguel Areias]

=========================================================================
                           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 at easychair.org

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