15 dec
16 dage,
Fredag
15.
december
2023,
kl.
13:00
-
.
Building 5510, room 104, Incuba Lille Auditorium, Department of Computer Science, Aarhus University, Åbogade 15, 8200 Aarhus N
On Friday, December 15 2023, Simon Friis Vindum will defend his PhD thesis: Separation Logic for Concurrency and Persistency
Read more here.