Topics
First-order Theorem Proving
Model Checking and Verification
Programming Languages Theory
Privacy
Proof Checking
Satisfiability Modulo Theories
Security
Verified Programming