Tentative schedule

Date Speaker Talk
Sept. 19 No Seminar yet!
Sept. 26 Tim Rosebrock The independence number of the queens torus (master's thesis)
Oct. 3 Richard McKinley t.b.a.
Oct. 10 No Seminar!
Oct. 17 Richard McKinley t.b.a.
Oct. 24 Everybody talks
Oct. 31 No Seminar
Nov. 7 No Seminar
Nov. 14 Alexander P. Kreuzer Non-principal ultrafilters, program extraction and higher order reverse mathematics
Nov. 21 No Seminar (Münchenwiler)
Nov. 28 No Seminar
Dec. 5 Everybody talks
Dec. 12 Dandolo Flumini PhD Defense
Dec. 19 Thomas Rathgeb Eine Verallgemeinerung des Satzes von Rice