Simon Friis Vindum's PhD defence of "Separation Logic for Concurrency and Persistency"
Info about event
Time
Location
Building 5510, room 104, Incuba Lille Auditorium, Department of Computer Science, Aarhus University, Åbogade 15, 8200 Aarhus N
Price
Free DKK
On Friday, December 15 2023, Simon Friis Vindum will defend his PhD thesis: Separation Logic for Concurrency and Persistency