The seminar will continue on a reduced schedule in Fall 2009. Please contact James Cummings if you would like to speak or to suggest a speaker.
The seminar will usually meet 12:00-13:20 on Tuesday in Doherty Hall 4303. This can be a tricky room to find. Probably the best way is to start in the 2300 corridor of Doherty Hall, proceed up the stairs to the fourth floor and then bear left.
PLEASE NOTE: CERTAIN MEETINGS WILL TAKE PLACE AT NON-STANDARD TIMES AND PLACES.
| August 25 |
Coalgebras and their logics
|
Krzysztof Kapulkin
|
Abstract
|
| September 15 |
PCF theory I
|
Spencer Unger
|
Abstract
|
| September 22 |
PCF theory II
|
Spencer Unger
|
Abstract
|
| September 29 |
PCF theory III
|
Spencer Unger
|
Abstract
|
| October 6 |
Model theory in L_{omega_1, omega}
|
Will Boney
|
Abstract
|
| October 13 |
Model theory in L_{omega_1, omega} II
|
Will Boney
|
Abstract
|
| October 20 |
Model theory in L_{omega_1, omega} III
|
Will Boney
|
Abstract
|
| November 3 |
Fixed-point theorems, constructively
|
Peter Lumsdaine
|
Abstract
|
| November 10 |
Randomness I
|
Ed Dean
|
Abstract
|
| November 13 |
A geometric model for databases
|
David Spivak
|
Abstract
(NOTE UNUSUAL TIME AND PLACE) |
| November 17 |
Randomness II
|
Jason Rute
|
Abstract
|
| December 1 |
Randomness III
|
Ed Dean
|
Abstract
|