Dienstag, 03.02.2026, 15:30 Uhr, Raum 11302.02.152, Martensstr. 3
Enforcing the GDPR
Mittwoch, 18.02.2026, 15:30 Uhr, Raum 11301.00.031, Martensstr. 1
The Isabelle Refinement Framework:
Engineering Provably Correct and Efficient Software
Donnerstag, 19.02.2026, 10:00 Uhr, Raum 11301.00.031, Martensstr. 1
Towards Safe and Resilient Large-scale Concurrent
and Distributed Programming
Donnerstag, 19.02.2026, 13:00 Uhr, Raum 11301.00.031, Martensstr. 1
Specialized High-Performance Software for
Specialized High-Performance Hardware
Donnerstag, 19.02.2026, 15:30 Uhr, Raum 11301.00.031, Martensstr. 1
Probabilistic Verification – A Risky Business!
Freitag, 20.02.2026, 9:00 Uhr, Raum 11301.00.031, Martensstr. 1
Taming the Evolution of Complex (Configurable)
Software Systems
Freitag, 20.02.2026, 11:30 Uhr, Raum 11301.00.031, Martensstr. 1
Verifiably Secure Programming Systems for Modern
Distributed Environments