Simon Friis Vindum's PhD defence of "Separation Logic for Concurrency and Persistency"
![](/fileadmin/_processed_/c/c/csm_Simon_Friis_Vindum_01a9c5a1a3.jpeg)
Oplysninger om arrangementet
Tidspunkt
Sted
Building 5510, room 104, Incuba Lille Auditorium, Department of Computer Science, Aarhus University, Åbogade 15, 8200 Aarhus N
Pris
Free DKK
On Friday, December 15 2023, Simon Friis Vindum will defend his PhD thesis: Separation Logic for Concurrency and Persistency