Banner Logo of Linz2017 Site

Program

Tue Wed Thu Fri Download program

Tuesday, February 7, 2017
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
Wednesday, February 8, 2017
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
Thursday, February 9, 2017
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
Friday, February 10, 2017
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