|
Sunday 8 |
Monday 9 |
Tuesday 10 |
Wednesday 11 |
Thursday 12 |
Friday 13 |
8:30 |
Registration | |||||
9:00 |
OPENING | Paré | Banaschewski | Rosicky |
Lawvere |
|
9:30 |
Márki | Bourke | Colebunders | Porst | Menni | |
10:00 | Clementino | Zawadowski | Pultr | Rodelo | Lucyshyn-Wright | |
10:30 | Coffee Break | |||||
11:00 | Bourn | Adámek | Walters | Lowen | Van der Linden | |
11:30 |
Gray | Seal | Pisani | Kunzi | Montoli | |
12:00 |
Ursini | Hofmann | López Franco | Gilmour | Z.Janelidze | |
12:30 |
Lunch | |||||
14:00 |
Solovjovs | Brummer | Excursion | I. Xarez | Cigoli | |
14:30 | Alarcón Heredia | Reis | Martins-Ferreira | Metere | ||
15:00 | Yudin | Frith | J. Xarez | Duckerts-Antoine | ||
15:30 | Soneira Calvo | Schauerte | Janelidze-Gray | Everaert | ||
16:00 | Coffee Break | Coffee Break | ||||
16:30 |
Visit to the Old Campus |
Mozo Carollo | George Janelidze | |||
17:00 |
Razafindrakoto | |||||
17:30 |
Registration / Welcome Reception |
Mini-Symposium on Monoidal Topology |
||||
18:00 |
Tholen | |||||
19:00 | Visit to the Cryptoportico | |||||
19:30 | CONFERENCE DINNER |
Lecture Rooms: The talks will be in Room Pedro Nunes (entrance level of the Mathematics Department) with one exception: the talk by Walter Tholen, titled "A personal glance at George's Category Theory", will be presented at the Museum Machado de Castro.
Sunday, 17:30-19:30, Registration / Welcome Reception: at the Cafetaria do Museu (Cafeteria of the Science Museum), 5m walking distance from the Math Department; see the location in the map below.
Monday, after the afternoon Coffee Break: guided tour to the historical site of the University Paço das Escolas (Joanine Library, Saint Michael's Chapel, Sala Grande dos Actos, University Tower).
Wednesday, 14:30-19:00: Excursion to the Mata do Bussaco (30Km North of Coimbra).
Thursday, 19:30, Conference Dinner: at the Museu Machado de Castro. Before the dinner there will be a guided tour to the Roman Cryptoportico in the basements of the museum. This is the cryptoportico erected by the Roman administration in the middle of the 1st century, to support the building that became the political, administrative and religious centre of Aeminium Roman Coimbra.
See larger map