Upcoming Events
| Event | Location | Date | More Info |
|---|---|---|---|
| SECPPS Workshop | FBZ, Richard-Willstätter-Allee 2, 76131 Karlsruhe | 26-28 May 2026 | Link |
Convide Lecture Series
| Speaker | Title | Time | Location | More Info |
|---|---|---|---|---|
| Prof. Clemens Dubslaff (Einhoven) | A Variant-Rich View on Quantitative Verification | 28 Jan 2026, 4-5 pm | KIT, CS Building (50.34), Room -102 | Link |