Please note that this newsitem has been archived, and may contain outdated information or links.
19 June 2017, Master of Logic defense, Natalia Philippova
Candidate: Natalia Philippova
Title: Quantifiers and verification strategies: connecting the dots (literally)
Date: Monday 19 June 2017
Time: 11:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Jakub Szymanik, Arnold Kochari
Please note that this newsitem has been archived, and may contain outdated information or links.