Winter Semester 2026 / 2027
Verification and Theorem Proving
Prof. Dr. Armin Biere and Team
This seminar is about tools for program verification and the use of SMT solvers and interactive theorem provers for that task. The focus is on learning and understanding the topic and being able to present it. The number of participants is limited to 20 and more information will be given in the first meeting on October 20 at 18:00 - 20:00 in room 00-026 (Geb. 51), i.e., the computer architecture seminar room next to TF Fachschaft. This will also be the regular room and time-slot for further meetings and the presentations at the end of the semester.