Please note that this newsitem has been archived, and may contain outdated information or links.
(Updated) 15 October 2026, Master of Logic defense, Estel Koole
Candidate: Estel Koole
Title: Extending Interpolation to PDL with Frame Conditions
Date: Thursday 15 October 2026
Time: 13:00
Location: F1.15, Science Park 107, Amsterdam
Supervisor: Yde Venema
Please note that this newsitem has been archived, and may contain outdated information or links.