Please note that this newsitem has been archived, and may contain outdated information or links.
14 April 2023, Master of Logic Defense, Patrik Sestic
Candidate: Patrik Sestic
Title: Unique Characterisability of Linear Temporal Logic
Date: Friday 14 April 2023
Time: 15:00
Location: Room L1.17, Lab42, Science Park 900, Amsterdam
Supervisor: Balder ten Cate
Mentor: Dick de Jongh
Please note that this newsitem has been archived, and may contain outdated information or links.