28th TABLEAUX 2019: London, UK

Tableau Calculi

Sequent Calculi

Semantics and Combinatorial Proofs

Non-Wellfounded Proof Systems

Automated Theorem Provers

Logics for Program or System Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics