Schedule was just posted:
Thursday, May 28, 2009
3:00p.m. Gage residence rooms available for check-in
6:00p.m. Welcome Reception - Ruth Blair AB - Gage Residence
Friday, May 29, 2009
Tutorial Sessions - WMAX 240 - 1933 West Mall
9:00-10:30a.m. Ernie Manes - Equationally definable full subcategories of spaces.
11:00-12:30p.m. Vaughan Pratt - Axiomatizing affine and Euclidean space.
2:30-4:00p.m. Pieter Hofstra - Types, groupoids and homotopy.
4:30-5:30p.m. Dorette Pronk - The left and right adjoints of Span.
Saturday, May 30, 2009
Research talks - WMAX 240 - 1933 West Mall
9:00-9:50a.m. Mehrnoosh Sadrzadeh - What is the vector space content of
what we say? A compact categorical approach to distributed meaning.
9:50-10:30a.m. Robert Seely - The basics of Cartesian differential restriction
11:00-12:00 Michael Johnson - Monadicity, descent, and classical database view
12:00-12:30p.m. Art Stone - What might Counter-bi-algebras be?
2:00-2:40p.m. Robin Cockett - Cartesian differential restriction categories.
2:40-3:05p.m. Brian Redmond - TBA
3:05-3:40p.m. Shusaku Tsumoto - Medical data mining.
4:10-4:35p.m. Brett Giles - Reversible computation and Frobenius algebras.
4:35-5:00p.m. Aaron Hunter - Algebraic considerations on the dynamics of belief.
6:00p.m. Banquet - Cedar Room in the Ponderosa Building
Sunday, May 31, 2005
Sunday talks will be in WMAX 240 - 1933 West Mall
9:00- 9:50a.m. Bob Rosebrugh - EASIK: Database design and manipulation
9:50-10:20a.m. Sean Nichols - On strong reduction in combinatory logic.
11:00-12:00 Vaughan Pratt - Euclid's postulates at all dimensions.