Monday, July 15
18.00-20.00 | Registration + welcome drink at the Mathematics Common Room (third floor of the Department of Mathematics) |
Tuesday, July 16
8.00 | -- registration -- |
9.15 | -- opening -- |
9.30 | Mulvey: Quantal spaces |
10.30 | -- break -- |
11.00 | Kruml: Generalized simple and spatial quantales |
12.00 | -- lunch -- |
13.30 | McNaughton: Generalizing Max A |
14.30 | Coniglio: Representing C*-algebras in topoi of sheaves over quantales |
15.30 | -- break -- |
16.00 | Resende: Quantales that classify Penrose tilings |
Wednesday, July 17
9.00 | Janelidze: Shall quantales arrive to universal algebra? |
10.00 | Picado: Locales in a covariant way |
10.30 | -- break -- |
11.00 | Paseka: Morita equivalence in quantales |
12.00 | -- lunch -- |
13.30 | Stubbe: Quantaloid-enriched (semi)categories, distributors and functors |
14.30 | Schmidt: Quantale-enrichment and QU-spaces |
15.30 | -- break -- |
19.30 | -- conference dinner -- |
Thursday, July 18
9.00 | Vickers: Toposes as quotient spaces |
10.00 | Coecke: Quantales of physical inductions |
10.30 | -- break -- |
11.00 | Clementino: On lax algebras and quantales |
12.00 | -- lunch -- |
13.30 | Coecke: Towards multiplicative domains |
14.00 | Resende: Sup-lattice 2-forms and quantales |
14.30 | Mulvey: & now... |
-- end of conference -- |