9.0010.00

S. Schanuel, Objective number theory

10.0011.00

J. Funk, Branched covers in topos theory

11.0011.30

Coffee Break

11.3012.00

R. Cockett, On double glueing

12.0012.30

J. Baez, nCategorical Physics

12.3013.00

D. Scott, A modal logic for computability

13.0014.30

Lunch Break

14.3015.00

R. Brown, Aspects of rewriting

G. Schlesinger, Categorical duals of nonabelian lattice gauge theories

15.0015.30

T. Datuashvili, Kan extensions of internal functors. Algebraic approach

R. Picken, Categorical constructions related to TQFT

15.3016.00

R. Rosebrugh, Span (graph) and minimal realization

H. Miyoshi, Weak omegacategories as omegahypergraphs

16.0016.30

M.C. Pinto, Duality between homomorphisms and state mappings of concrete dynamic algebras

M. Mackaay, Finite groups, spherical 2categories, and 4manifold invariants

16.3017.00

Coffee Break

17.0017.30

M. Grandis, On the homotopy and homology of simplicial complexes

D. Holgate, On the noncompactness of realcompact spaces

17.3018.00

R. Kieboom, On bigroupoids in 2dimensional homotopical algebra

G. Castellini, Connectedness with respect to a closure operator, Part III

18.0018.30

J. Miranda, Internal categorical (co)groups in topological spaces

C. Pisani, Convergence in exponentiable spaces

18.3019.00

J. Remédios, Generalized homotopy groups in categories with a natural cylinder

T. Plewe, Iterated dissolution locales
