January 23 
Yimu Yin

On logical characterization of henselianness

January 30 
No meeting 
February 6 
Peter Lumsdaine

Categorical logic

February 13 
Peter Lumsdaine

Categorical logic

February 20 
Natasha Dobrinen (Vienna)

Costationarity of the ground model

February 27 
Bojana Pejic (Pitt)

Uniqueness of Polish group topologies

March 6 
No meeting 
March 13 
Spring break 
March 20 
Fritz Obermeyer

Definable (typesas)closures in concurrent lambdacalculus

March 27 
Fritz Obermeyer

Definable (typesas)closures in concurrent lambdacalculus

April 3 
Henrik Forssell 
Firstorder logical duality 
April 10 
Arthur Paul Pedersen 
Completeness for continuous firstorder logic

April 17 
Andrej Bauer (Ljubljana) 
Synthetic computability 
April 24 
Nicola Gambino (Montreal)

Identity types and higherdimensional categories

May 1 
Peter Lumsdaine

TBA 