title | collection | type | permalink | venue | date | location |
---|---|---|---|---|---|---|
Algorithms for Model Checking, Summer 2024 |
teaching |
Graduate seminar |
/teaching/2024-summer-model-checking |
Institute for Informatics, LMU Munich |
2024-04-18 |
Munich, Germany |
I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.