THU, 09.07.2020, 17:00-18:00 UTC+2
• Logical Characterisation of Hybrid Conformance
• The Complexity of Bounded Context Switching with Dynamic Thread Creation
• The Complexity of Verifying Loop-free Programs as Differentially Private
• Timed games and deterministic separability
• The Topology of Local Computing in Networks
• Dynamic Complexity of Reachability: How Many Changes Can We Handle?