Mon, 21 | ||||
---|---|---|---|---|
9.00 - 9.30 | HS | Opening | ||
9.30 - 10.10 | Banaschewski : Variants of Compactness in Pointfree Topology | |||
10.10 - 10.30 | Registration | |||
10.30 - 10.55 | HS | Coffee Break | ||
10.55 - 11.35 | HS | Lowen : Approach spaces: a survey of categorical aspects | ||
11.40 - 12.00 | Hong : Strict Extensions in Pointfree Topology | |||
12.00 - 14.00 | Lunch Break | |||
14.00 - 14.20 | HS | Pultr : Monadic Representation of Scott Information Systems | ||
14.25 - 14.45 | Richter : On a Characterization of Haus | |||
14.50 - 15.10 | Zhang : Sobriety in Fuzzy Topology | |||
15.10 - 15.40 | MZH, 7th | Coffee Break | ||
15.40 - 16.00 | MZH 7260 | Schauerte : Biframe convergence | MZH 7230 | Nauwelaerts : Some cartesian closed topological hulls in approach theory |
16.05 - 16.25 | Tozzi : Reconstruction of Topology from Lattice Data | Sioen : (Symmetric) Monoidal Closed Structures in Approach Theory | ||
16.30 - 16.50 | Gilmour : Oz revisited | Verwulgen : Approach vector spaces | ||
16.55 - 17.15 | Börger : Free vector lattices | Mynard : Coreflectively modified duality in convergences and convergence approach spaces |