The Coq mailing list

[Miguel Areias <miguel-areias AT dcc.fc.up.pt>]

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

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