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.

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.