PCV seminar series

The seminar series Proof, Complexity, Verification (PCV) is a forum for presenting new results and ongoing work in Computer Science. It focuses on logic related themes, in particular Proof Theory, Complexity Theory and Program Verification.

The seminars comprises talks by external and internal speakers.