Seminars at DSE
- Summer: Verification in Systems
- Winter: Computer Systems Systems
- Winter: Verification in Systems
- Winter: Quantum Software Systems
- Winter: Formally Verified Systems Seminar
See the archive of seminars conducted in previous years.
TUM-DSE/seminars
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|