Tuesday,
February 12, 2008 
09:00 am 
Opening 
09:15 am 
U. Höhle, T. Kubiak:
Topologies on quantale sets and topological representations of spectra of C*algebras

10:00 am 
J. Gutiérrez García, T. Kubiak, J. Picado:
Localic realvalued functions: a general setting

10:45 am 
Coffee break 
11:15 am 
J. Harding, C. Walker, E. Walker:
On some topological properties of the subalgebra of normal convex functions
of the algebra of truth values of type2 fuzzy sets

12:00 pm 
S.E. Rodabaugh:
Functorial generation of nonstratified, antistratified, and normalized spaces

12:45 pm 
Lunch 
02:30 pm 
N.N. Morsi:
Categories of fuzzy topological spaces with localization at points

03:30 pm 
Coffee break 
04:00 pm 
M. Demirci:
Pointed semiquantales and generalized latticevalued
quasi topological spaces

04:30 pm 
S. Solovjovs:
From quantale algebroids to topological spaces

05:00 pm 
P. Kukkurainen:
Semilinear space and a compact T_{1}space SpecA

05:30 pm 
P. Eklund, J. Kortelainen:
What is fuzzification about?

07:00 pm 
Meeting of the PCMembers at Trattoria Einstein 

Wednesday,
February 13, 2008 
09:00 am 
J. Fang, Y. Yue:
Lfuzzy closure systems

09:30 am 
J. Gutiérrez García, I. MardonesPérez, J. Picado, M.A. de Prada Vicente:
Uniformtype structures on latticevalued spaces and frames

10:00 am 
U. Höhle, T. Kubiak:
Lower separation axioms for many valued topological spaces

10:30 am 
Coffee break 
11:00 am 
M. Gehrke:
Topological duality methods for lattice ordered algebras

12:00 pm 
L. Běhounek, T. Kroupa:
Continuous relations over topological spaces in Fuzzy Class Theory

12:30 pm 
Lunch 
02:30 pm 
Round Table:
Topology

03:30 pm 
Coffee break 
04:00 pm 
J. Järvinen, M. Kondo, J. Mattila:
Manyvalued logic for modifiers of fuzzy sets

04:30 pm 
M. Ćirić, J. Ignjatović:
Algebraic theory of latticevalued fuzzy languages and automata

05:00 pm 
P. Toto, M.E. Maietti, G. Sambin:
Towards the development of The Basic Picture on sets evaluated over an overlap algebra


Thursday,
February 14, 2008 
09:00 am 
S.J. Vickers:
Fuzzy sets and geometric logic

10:00 am 
D. Iourinski:
A DempsterShafer theory inspired logic

10:30 am 
Coffee break 
11:00 am 
V. Novák:
Revised axioms of EQalgebras

11:30 am 
I. Perfilieva:
Semilinear spaces, systems of linearlike equations, fixed
points of contraction and dilatation operators

12:00 pm 
Lunch 
01:30 pm 
Beginning of the Social Program: Excursion to Bad Ischl
and Traunkirchen 

Friday,
February 15, 2008 
09:00 am 
R.P. Gylys:
Conditional probabilities on MValgebras

10:00 am 
C. Walker, E. Walker:
Automorphisms of subalgebras of the algebra of truth values of type2 fuzzy sets 
10:30 am 
Coffee break 
11:00 am 
L. Běhounek, U. Bodenhofer, P. Cintula, S. SamingerPlatz:
Graded dominance

11:45 am 
S. SamingerPlatz, E.P. Klement, R. Mesiar:
Bounded lattices, complete sublattices, and extensions of tnorms

12:30 pm 
Lunch 
02:30 pm 
D. Zhang:
Implication structures, fuzzy subsets, and enriched categories

03:30 pm 
Coffee break 
04:00 pm 
L.N. Stout:
When does a category built on a lattice with a monoidal structure have
a monoidal structure?

04:30 pm 
C. Guido:
Latticevalued categories

05:00 pm 
Round Table:
Algebra, Categories, Logic, Order


Saturday,
February 16, 2008 
09:00 am 
A. Melton:
Correspondences

09:30 am 
E. Orłowska, I. Rewitzky:
Discrete duality and its application to bounded lattices with operators

10:00 am 
R. Horčík:
Interval analysis done in Fuzzy Class Theory

10:30 am 
Coffee break 
11:00 am 
S. Weber:
A complete characterization of all weakly additive measures and of all
valuations on the canonical extension of any finite chain equipped
with its unique MValgebra structure

11:30 am 
Round Table:
Ordered and general structures

12:30 pm 
Closing 
12:45 pm 
Lunch 
