| 11.30 - 12.30 | Baire sets versus the Boolean reflection of sigma-frames | |
| Bernhard Banaschewski (McMaster Univ., Canada) | ||
| 12.30 - 14.00 | Lunch | |
| 14.00 - 14.45 | Stably Gelfand quantales | |
| Pedro Resende (IST, Lisbon) | ||
| 14.45 - 15.15 | Descent in categories of models of a binary relational implication | |
| Ana Helena Roque (Univ. Aveiro) | ||
| 15.15 - 15.45 | On atomless Boolean algebras | |
| Nizar Marcus (Univ. of the Western Cape, South Africa) | ||
| 15.45 - 16.30 | On extended real-valued functions in pointfree topology | |
| Javier Gutiérrez-García (Univ. of the Basque Country, Bilbao, Spain) | ||
| 16.30 - 17.00 | Coffee Break | |
| 17.00 - 17.45 | Salbany's completion monad in lax proalgebras | |
| Maria Manuel Clementino (CMUC/Univ. Coimbra) | ||
| 17.45 - 18.45 | An unnatural duality | |
| Dirk Hofmann (Univ. Aveiro) | ||
| Room 2.4, Mathematics Department, University of Coimbra |
| Support: Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |