Please note that this newsitem has been archived, and may contain outdated information or links.
30 September 2020, Master of Logic defense, Frank Westers
Candidate: Frank Westers
Title: Dynamic Logics for Model Transformations
Date: Wednesday 30 September 2020
Time: 13:00
Location: Online (Closed Session)
Supervisor: Alexandru Baltag & Nick Bezhanishvili
Please note that this newsitem has been archived, and may contain outdated information or links.