========================================================================= 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 ************
Any additional question can be directed towards ICLP Chairs:
iclp2021@easychair.org
=========================================================================