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.

27 September 2019, Master of Logic defense, Chase Ford

Candidate: Chase Ford
Title: Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees
Date: Friday 27 September 2019
Time: 12:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Yde Venema and Sam van Gool

Please note that this newsitem has been archived, and may contain outdated information or links.