Programme
The scientific programme begins on Thursday morning and ends on Saturday afternoon at 16:00.
All talks will be in Room 2.4 (Maths Department).
We are planning a visit to the Old Library and the Royal Palace at the end of Thursday afternoon session.
The workshop dinner will take place on Friday at the Restaurante Loggia (located in the National Museum Machado de Castro, close to the Mathematics Department), 30 Eur per person.
All participants are most welcome for a Colloquium session of our Maths Department, on the afternoon of Wednesday 26 (Room 2.4). There will be a one-hour talk by Prof. Jaroslav Nesetril (Charles University, Prague) at 18:00, preceded at 17:30 by coffee and cookies (served at the atrium next to the lecture room). There will be a desk for workshop registration.
Wednesday 26
| 17:30-18:00 | REGISTRATION - COFFEE BREAK |
| 18:00-19:00 | Jaroslav Nesetril (Charles University, Prague) DMUC Colloquium Talk: Abstract Algebraic Representation |
Thursday 27
Friday 28
| 09:00-10:00 | Richard N. Ball The pointfree Daniell Integral |
|---|---|
| 10:00-10:30 | Manuela Sobral Strict monadic topology: first separation axioms and reflections |
| 10:30-11:00 | COFFEE BREAK |
| 11:00-11:30 | Themba Dube On the maximal regular ideal of RL |
| 11:30-12:00 | Oghenetega Ighedo On the lattice of z-ideals of a commutative ring |
| 12:00-12:30 | Marcelo Fiore An algebraic combinatorial approach to the abstract syntax of opetopic structures |
| 12:30-14:00 | LUNCH |
| 14:00-14:30 | Pedro Resende A quantale model of cognition |
| 14:30-15:00 | David Holgate Boundedness in frames |
| 15:00-15:30 | Célia Borlido Difference hierarchies over lattices |
| 15:30-16:00 | Francisco Ávila The Cantor frame |
| 16:00-16:30 | COFFEE BREAK |
| 16:30-17:00 | Anna Laura Suarez Bitopological sublocales |
| 17:00-17:30 | Jose Brox Nonassociative products in nonassociative algebras with involution |
| 19:30 | WORKSHOP DINNER |
Saturday 29
| 09:00-10:00 | Dirk Hofmann Order theory, enriched |
|---|---|
| 10:00-10:30 | Walter Tholen Metagories |
| 10:30-11:00 | COFFEE BREAK |
| 11:00-11:30 | Graham Manuell Sobriety and congruence biframes |
| 11:30-12:00 | Imanol Mozo Carollo Parts of biframes and a categorical approach to BiFrm |
| 12:00-12:30 | Tristan Bice General locally compact locally Hausdorff Stone Duality |
| 12:30-14:00 | LUNCH |
| 14:00-14:30 | M. Andrew Moshier Frames and frame relations |
| 14:30-15:00 | Willian Ribeiro Weak exponentiability in topological categories |
| 15:00-15:30 | Dharmanand Baboolal The Vietoris uniformity for locales |
| 15:30-16:00 | Christopher Gilmour Aspects of realcompactness in pointfree topology |