News and Events: MoL and PhD defenses

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

23 June 2011, Master of Logic defense, Martijn Baartse

Candidate: Martijn Baartse
Title: Finding the phase transition for Friedman's long finite sequences
Date: Thursday 23 June 2011
Time: 13:00
Location: Room A1.14, Science Park 904, Amsterdam
Supervisor: Andreas Weiermann and Dick de Jongh

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