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 -- |