This page shows all presentations from this conference published in EasyChair Smart Slide.
Getting Tenure in Automated Deduction
Christoph Weidenbach