Q/A Slot D4 — ICALP-B

ICALP 2020

Q/A Slot D4 — ICALP-B

Sep 23, 2020
|
22 views
Details
THU, 09.07.2020, 17:00-18:00 UTC+2 Papers: • 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?

Comments
loading...