11th FroCos 2017: Brasília, Brazil

Invited Talks

Description and Temporal Logics

Rewriting

SAT, SMT and Automated Theorem Proving

Decision Procedures, Decidability and Verification

Properties and Combinations of Logic

a service of Schloss Dagstuhl - Leibniz Center for Informatics