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.