Universiteit van Amsterdam


Institute for Logic, Language and Computation

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X