NewsKolloquium Programmiersysteme und Software Engineering
Dienstag, 03.02.2026, 15:30 Uhr, Raum 11302.02.152, Martensstr. 3Enforcing the GDPR Mittwoch, 18.02.2026, 15:30 Uhr, Raum 11301.00.031, Martensstr. 1The Isabelle Refinement Framework:Engineering Provably Correct and Efficient Software Donnerstag, 19.02.2026, 10:00 Uhr, Raum 11301.00.031, Martensstr. 1Towards Safe and Resilient Large-scale Concurrentand Distributed Programming Donnerstag, 19.02.2026, 13:00 Uhr, Raum 11301.00.031, Martensstr. 1Specialized High-Performance Software forSpecialized High-Performance Hardware Donnerstag, […]Dienstag, 03.02.2026, 15:30 Uhr, Raum 11302.02.152, Martensstr. 3Enforcing the GDPR Mittwoch, 18.02.2026, 15:30 Uhr, Raum 11301.00.031, Martensstr. 1The Isabelle Refinement Framework:Engineering Provably Correct and Efficient Software Donnerstag, 19.02.2026, 10:00 Uhr, Raum 11301.00.031, Martensstr. 1Towards Safe and Resilient Large-scale Concurrentand Distributed Programming Donnerstag, 19.02.2026, 13:00 Uhr, Raum 11301.00.031, Martensstr. 1Specialized High-Performance Software forSpecialized High-Performance Hardware Donnerstag, […]