8th CPP 2019: Cascais, Portugal

Invited Talks

Formalization of Mathematics and Computer Algebra

Proof Theory, Theory of Programming Languages

Rewriting, Automated Reasoning

Program Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics