Seminar on Automated Theorem Proving

Time
Thursdays, 11:00 – 12:00 (Fall 2024)
Place
HFG 7.07
In this seminar, we will learn about various techniques and results in automated theorem proving.

Schedule

DateSpeakerTitle
18/09/24—Introduction and Organization
25/09/24Christian MertenDecision procedures
03/10/24Johan CommelinRewriting systems
10/10/24Raphael Douglas GilesCongruence closure / equational reasoning
17/10/24N/ACancelled. Was: Tableaux methods
24/10/24Fernando ChuSAT/SMT solvers
31/10/24Pim OtteNormalization methods
07/11/24Christian MertenSledgehammer and aesop
14/11/24Jiang JiedongModern AI methods
21/11/24Fernando ChuDTT automation(?)