| 09:00 am |
Opening |
| 09:15 am |
M. Gehrke: Recognition, logic and codensity monads |
| 10:30 am |
Coffee Break |
| 11:00 am |
M. Erné, J. Picado: Tensor products and relation quantales |
| 11:45 am |
D. Hofmann, I. Stubbe: Topology from enrichment: the curious case of partial metrics |
| 12:30 pm |
Lunch |
| 02:00 pm |
W. Li, D. Zhang: Continuous metric spaces and injective approach spaces |
| 02:45 pm |
M. Stehlík: Statistical metrics for statistical learning |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
P. Eklund, U. Höhle, J. Kortelainen: Applications of modules on unital quantales |
| 04:45 pm |
Round Table |
|
| 09:15 am |
D. Hofmann: Enriched perspectives on duality theory |
| 10:30 am |
Coffee Break |
| 11:00 am |
H. Lai, L. Shen: Fixed points of adjoint Q-functors and their applications
|
| 11:30 am |
H. Lai, L. Shen: Regularity vs. constructive complete (co)distributivity |
| 12:00 pm |
J. Paseka, R. Šlesinger: A representation theorem for Q-sup-algebras |
| 12:30 pm |
Lunch |
| 02:00 pm |
J. Gutiérrez García, U. Höhle: What are dual Q-preordered sets? |
| 02:45 pm |
P. Eklund, J. Gutiérrez García, U. Höhle, Jari Kortelainen: Non-commutativity and many-valuedness: The topological representation of the spectrum of C*-algebras |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
J. Gutiérrez García, U. Höhle, T. Kubiak: Tensor products of complete lattices in many-valued topology |
| 04:45 pm |
Round Table |
|
| 09:15 am |
D. Zhang: The role of fuzzy logic in fuzzy order and fuzzy topology |
| 10:30 am |
Coffee Break |
| 11:00 am |
J. T. Denniston, A. Melton, S. E. Rodabaugh: Enriched topology and asymmetry |
| 11:45 am |
M. Winter: Type-n arrow categories |
| 12:30 pm |
Lunch |
| 02:00 pm |
Excursion |
|
| 09:15 am |
P. Resende: Groupoid quantales |
| 10:30 am |
Coffee Break |
| 11:00 am |
J. P. Quijano: Sheaves on coverable groupoids |
| 11:30 am |
A. Šostak: LM-valued equalities, LM-rough approximation operators and LM-fuzzy ditopologies |
| 12:00 pm |
T. Flaminio, L. Godo, S. Ugolini: States of free product algebras and their integral representation |
| 12:30 pm |
Lunch |
| 02:00 pm |
Y. Yue, J. Fang: Characterizations of topological quantaloid-enriched convergence spaces |
| 02:30 pm |
J. Fang, Y. Yue: T-Q-filters and their applications |
| 03:00 pm |
Coffee Break |
| 03:30 pm |
M. Demirci: Applications of fundamental categorical duality theorem to L-fuzzy sets and separated M-valued sets |
| 04:00 pm |
W. Lowen, J. Ramos González, B. Shoikhet: On the tensor product of Grothendieck k-linear categories |
| 04:30 pm |
Closing |
