DEI Special Event

Reasoning & Solving

Description Logics

Systems & Robotics / Existential Rules

Invited talk by Mikolaj Bojanczyk

Bryant Discoveries Day (BDD) event

Poster Session

Theory + TDM

Propagation + Heuristics

Rewriting

Invited talk by Fabrizio Riguzzi: Probabilistic Logic Programming: Semantics, Inference and Learning

Belief Merging/Revision

Datalog & Existential Rules

Verification

Bryant Discoveries Day (BDD) event + Tool papers

ASP Optimization

Categorical Semantics

Logic Programming, Constraints & Machine Learning

Invited Talk

Complexity and Circuits

QBF + Awards / competitions

Planning

Deontic Logic

KR & Machine Learning

Argumentation

FSCD General Meeting

Scheduling & Planning

CSP, SAT and Boolean Algebra

Panel (Clark Barrett, Orna Grumberg, Kristin Yvonne Rozier, Natarajan Shankar)

Awards / Competitions

Panel: Past, Present and Future of Prolog

Award Session: Kleene award, LICS Test-of-Time award, Church award

Closing

Closing