Please note that this newsitem has been archived, and may contain outdated information or links.
31 August 2012, Master of Logic defense, Fabio Zanasi
Candidate: Fabio Zanasi
Title: Expressiveness of Monadic Second Order Logic on Infinite Trees of Arbitrary Branching Degree
Date: Friday 31 August 2012
Time: 11:00-12:30
Location: Room B0.203, Science Park 904, Amsterdam
Supervisor: Alessandro Facchini and Yde Venema
Please note that this newsitem has been archived, and may contain outdated information or links.