Advanced Topics in Program Verification (Seminar)

This seminar covers advanced topics of scientific working in the discipline of computer science. The emphasis in this seminar is on the presentations, both in the role of a speaker and a participant. Participating students will elaborate presentations on advanced topics in program verification.

Course type	Seminar (Master)
Instructors	Nico Hauff (contact person for organizational matters) Vincent Langenfeld Prof. Dr. Andreas Podelski Enrique Román Calvo
Kickoff	Monday, 13. October 2025, 11:00 - 11:30 s.t. building 052, room SR 02 017
Sessions	Monday, 27. October 2025, 14:00 - 16:00 c.t. building 052, room SR 02 017 Monday, 09. February 2026, 09:00 - 17:00 s.t. building 106, room SR 00 007 Tuesday, 10. February 2026, 09:00 - 17:00 s.t. building 106, room SR 00 007
Language of instruction	English
Course Catalog	Advanced Topics in Program Verification
Ilias Course	Students registered on HISinOne will be added to the course automatically.

News

2025-10-01: Website online.

Topics

The topics of the seminar will be introduced latest in the kickoff meeting.

Registration

In the kickoff meeting, we will elaborate on the goals, the construction, and the rules of the seminar.
If the seminar is fully booked, we will prefer admitting students who attended the kickoff meeting.

Slides

Kickoff slides: tbd