[ecoop-info] CFP - 37th International Conference on Logic Programming (extended deadlines)

Miguel Areias miguel-areias at dcc.fc.up.pt
Tue May 4 23:56:45 CEST 2021

                           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

** 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


Any additional question can be directed towards ICLP Chairs:

iclp2021 at easychair.org


More information about the ecoop-info mailing list