[hpc-announce] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021)
miguel-areias at dcc.fc.up.pt
Wed May 26 13:49:34 CDT 2021
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,
** 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.
** Short Paper Submission: July 4, 2021
** Notification: July 30, 2021
** Camera-ready copy due: August 10, 2021
** Conference: September 20--27, 2021
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
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
Any additional question can be directed towards ICLP Chairs:
iclp2021 at easychair.org
More information about the hpc-announce