6 Nov
12 days,
Friday
6
November
2026,
at
13:00
-
Building 5342 (Ada), room 333, Department of Computer Science, Aarhus University, Åbogade 34, 8200, Århus
On Friday 6, November 2026, Egor Namakonov will defend his PhD Modular Verification of Liveness Properties in Higher-order Concurrent Languages