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