11. 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

maintained by Schloss Dagstuhl LZI at University of Trier