Home

  Program

  Committees

  Dates

  Instructions for Authors

  Registration

  Location

  Travel Information

  Sponsors

  Contact

  Archive

 
 
 
 

 

Program

Tuesday, February 14, 2012

09:00 am

Opening

09:15 am

I. STUBBE: Quantaloid-enriched categories for multi-valued logic and other purposes

10:30 am

Coffee Break

11:00 am

J. HARDING, C. WALKER, E. WALKER: Categories of fuzzy sets and relations

12:00 pm Lunch

02:00 pm

H. HEYMANS: Sheaves on involutive quantales: Grothendieck quantales

03:30 pm

Coffee Break

04:00 pm

N. GALATOS, J. GIL-FÉREZ: Closure operators on modules over quantaloids: Applications to algebraic logic

05:00 pm

ROUND TABLE: Enriched category theory and non-classical logics

Wednesday, February 15, 2012

09:00 am

D. ZHANG: Quantale-valued preorders as enriched categories

10:30 am

Coffee Break

11:00 am

H. LAI, D. ZHANG: Globalization of Cauchy complete preordered sets valued in a divisible quantale

11:45 am

Y. YUE: Convergence and compactness in fuzzy metric spaces

12:30 pm Lunch

02:00 pm

U. HÖHLE: Topology based on premultiplicative quantaloids: A common base for many-valued and non-commutative topology

03:30 pm

Coffee Break

04:00 pm

J. T. DENNISTON, A. MELTON, S. E. RODABAUGH: Enriched topological systems and variable-basis enriched functors

05:00 pm

ROUND TABLE: Enriched category theory and many-valued topology

Thursday, February 16, 2012

09:00 am

S. MATTHEWS, M. BUKATIN, R. KOPPERMAN: Discrete partial metric spaces

10:30 am

Coffee Break

11:00 am

M. BUKATIN, R. KOPPERMAN, S. MATTHEWS: On the nature of correspondence between partial metrics and fuzzy equalities

11:45 am

M. STEHLÍK: Category theory in statistical learning?

12:30 pm

Lunch

02:00 pm Excursion: "On the traces of Johannes Kepler in Linz"

07:00 pm

Conference Dinner (Bildungszentrum St. Magdalena)

Friday, February 17, 2012

09:00 am

P. EKLUND, M. A. GALÁN, R. HELGESSON, J. KORTELAINEN:
Ontology < logic or ontology = logic?

09:45 am

F.-G. SHI, B. PANG: Categories isomorphic to L-fuzzy closure system spaces

10:30 am

Coffee Break

11:00 am

A. ŠOSTAK: Variable range categories of approximate systems

11:30 am

M. DEMIRCI: A Stone-type adjunction for fixed-basis fuzzy topological spaces in abstract categories and its applications

12:30 pm

Lunch

02:30 pm

E. P. KLEMENT, A. KOLESÁROVA, R. MESIAR, A. STUPÑANOVA: Level dependent capacities and integrals

03:30 pm

Coffee Break

04:00 pm

S. JENEI, F. MONTAGNA: Two new classification theorems on residuated monoids

05:00 pm

ROUND TABLE: Enriched category theory and fuzzy sets

Saturday, February 18, 2012

09:00 am

C. WALKER, E. WALKER: Type-2 operations on finite chains

10:00 am

Coffee Break

10:30 am

T. VETTERLEIN: On the characterization of regular left-continuous t-norms

11:30 am

Closing

12:00 pm

Lunch