Friday, March 17, 2006

Seminars 12th April 2006

2:30pm Aurelio Carboni: Perhaps, the missing tabulation axiom.

Friday, March 10, 2006

Seminars 15th March 2006

2:30pm RFC Walters: An indexed algebra of processes.
3:30pm Aurelio Carboni: Tabulation for cartesian bicategories.

Wednesday, March 01, 2006

Seminars 8th March 2006

2:30pm Aurelio Carboni (University of Insubria, Como), Quasi-varieties of group actions.
3:30pm RFC Walters (University of Insubria, Como), History of the Frobenius equation.