Tuesday 18
9.00-9.50	Peter Freyd Advanced Calculus
10.00-10.25	Robbie Gates A Synthesis of Extensivity and Distributivity
10.30-11.00	coffee break
11.00-11.25	Richard Wood, Robert Rosebrugh Distributive laws and factorization systems
11.30-11.55	Walter Tholen Injectives, exponentials, and model categories
12.00-12.25	Yves Diers Classification of concrete geometrical categories
12.30-12.55	Poster session
13.00-14.30	lunch break
15.00-15.50	Zóltan Ésik Equational Properties of Initial Fixed Points
16.00-16.25	Jirí Adamek On final coalgebras of continuous functors
16.30-17.00	coffee break
17.00-17.25	Anne Heyworth Grobner basis techniques for computing actions of K-categories
17.30-17.55	Richard Squire Orbits in a topos
18.00-18.30	Robin Cockett Restriction categories, partial maps, and datatypes