Tutorial

SAT

Proof Theory and Linear Logic

Invited talk by Manuel Hermenegildo: 50th anniversary of the birth of Prolog: Some reflections on Prolog's Evolution, Status, and Future

Argumentation

Belief Revision

Linear Logic and Proof Systems

25 years of SAT

Implementation & Transformations

MDD

Constraint and Conjecture Acquisition

Type Theory and Logical Frameworks

Functional Logic Programming, Datalog & Machine Learning

Invited Talk

Graphs, Behavioural Equivalences and Learning

Machine-Learning for SAT/SMT

Automated Reasoning

Strategic Reasoning

Tutorial + Benchmarking

Planning + DCOP

FSCD Invited Speaker

Best DC Paper (Alice Tarzariol): A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming

Systems & Robotics

Belief Revision/RDFS

FOL, SOL and Model Theory

SAT / PBS

10-Year Test-of-Time Award (Torsten Schaub, Max Ostrowski): From "ASP modulo CSP" to "ASP modulo X", or how clingcon paved the way for clingo[X] systems

Complexity Theory and Logic

Semantics

Piano concert

Business meeting

General Assembly of the ALP