6 Dec
Friday
6
December
2024,
at
14:15
InCuba Lille Auditorium (Building: 5510 - Room: 104), Åbogade 15, 8200 Aarhus N
Title
Formal and Foundational Study of Programs and Programming Languages
Abstract
In this talk, I will introduce the formal and foundational…