Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.