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.
See the archive of seminars conducted in previous years.