Simon Friis Vindum's PhD defence of "Separation Logic for Concurrency and Persistency"
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