[Om-announce] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021)

[Miguel Areias]

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

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