Aarhus University Seal

Simon Friis Vindum's PhD defence of "Separation Logic for Concurrency and Persistency"

Info about event


Friday 15 December 2023, at 13:00 - at


Building 5510, room 104, Incuba Lille Auditorium, Department of Computer Science, Aarhus University, Åbogade 15, 8200 Aarhus N


Free DKK

On Friday, December 15 2023, Simon Friis Vindum will defend his PhD thesis: Separation Logic for Concurrency and Persistency

Read more here.