34th CILC 2019: Trieste, Italy

Tutorials

Session 1: Analysis and Verification of Programs

Session 2a: Knowledge Representation and Reasoning Languages

Session 2b: Computational Logics and Formal Methods in AI

Ambassador Talk

Session 3: Tools and Applications

Session 4a: Multi-Agent Systems

Session 4b: Databases

Session 5: Answer Sets

CILC 2019 also featured presentations of the following papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics