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.