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) |
| Kickoff |
Monday, 13. October 2025, 11:00 - 11:30 s.t. |
| Sessions |
Monday, 27. October 2025, 14:00 - 16:00 c.t. Monday, 09. February 2026, 09:00 - 17:00 s.t. Tuesday, 10. February 2026, 09:00 - 17:00 s.t. |
| Language of instruction | English |
| Course Catalog | Advanced Topics in Program Verification |
| Ilias Course | Students registered on HISinOne will be added to the course automatically. |
The topics of the seminar will be introduced latest in the kickoff meeting.