  Since the first conference held in Marseille in 1982, ICLP has been the
premier international event for presenting research in logic programming.
Contributions are solicited in all areas of logic programming and related
areas, including but not restricted to:
  - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic
Reasoning, Knowledge Representation.
  - Declarative Programming: Inference engines, Analysis, Type and mode
inference, Partial evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Logic-based
domain-specific languages, constraint handling rules.
  - Related Paradigms and Synergies: Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP
solvers, Logic programming techniques for type inference and theorem proving,
Argumentation, Probabilistic Logic Programming, Relations to object-oriented
and Functional programming, Description logics, Neural-Symbolic Machine
Learning, Hybrid Deep Learning and Symbolic Reasoning.
  - Implementation: Concurrency and distribution, Objects, Coordination,
Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules,
Constraint handling rules, Meta-programming, Foreign interfaces, User
interfaces.
  - Applications: Databases, Big Data, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Education, Computational life
sciences, Education, Cybersecurity, and Robotics.

Logic in Computer Science;Artificial Intelligence;Programming Languages