January 19	No meeting
January 26	James Cummings	Compactness for chromatic numbers of graphs Abstract
February 2	No meeting
February 9     Rescheduled	Peter Glenn	Whitehead groups and uniformization
February 16	Kohei Kishida	Topological semantics for first-order modal logic Abstract
February 23	Peter Glenn	Whitehead groups and uniformization
March 2	Wolfgang Windsteiger	Computer-supported proving in ZF set theory with the Theorema system Abstract
March 9	No meeting
March 16	No meeting
March 23	Dana Scott	Parametric sets and virtual classes Abstract
March 30	Nicola Gambino	Generalised species of structures Abstract
April 6	TBA
April 13	Thomas Hales	Motivic integration Abstract
April 20	No meeting
April 27	TBA
May 4	TBA