  Since the first conference held in Marseille in 1982, ICLP has been the
premier international event for presenting research in logic programming.
Contributions are sought in all areas of logic programming, including but not
restricted to:
  Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge
representation.
  Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types,
Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific
languages, Programming Techniques.
  Declarative programming: Declarative program development, Analysis, Type and
mode inference, Partial evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Execution
visualization
  Implementation: Virtual machines, Compilation, Memory management,
Parallel/distributed execution, Constraint handling rules, Tabling, Foreign
interfaces, User interfaces.
  Related Paradigms and Synergies: Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Answer Set 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.
  Applications: Databases, Big Data, Data integration and federation, Software
engineering, Natural language processing, Web and Semantic Web, Agents,
Artificial intelligence, Computational life sciences, Education, Cybersecurity,
and Robotics.
