Home

  Program

  Committees

  Dates

  Instructions for Authors

  Registration

  Location

  Travel Information

  Sponsors

  Contact

  Archive

 
 
 
 

 

Program

Tuesday, February 3, 2009

09:00 am

Opening

09:15 am

D. Mundici: Probability in many-valued logics

10:30 am

Coffee break

11:00 am

C.G. Fermüller:
Dialogue games and the proof theory of fuzzy logics — a review and outlook

11:30 am

P. Hájek: An observation on (un)decidable theories in fuzzy logic

12:00 pm

V. Novák: Fuzzy logic in broader sense: its current state and future

12:30 pm Lunch

02:00 pm

D. Dubois, H. Prade:
Fuzziness, uncertainty and bipolarity: a critical review

03:00 pm

A. Avron, B. Konikowska: Non-deterministic fuzzy semantics

03:30 pm

D. Sánchez, M. Delgado, M.A. Vila: A discussion about representation models for imprecise quantities and probabilities

04:00 pm Coffee break

04:30 pm

C. Sossai: On the link between chance and truth

05:00 pm

Round table: Many-valued logic and mathematical fuzzy logics

Wednesday, February 4, 2009

09:00 am

D. Westerståhl: Generalized quantifiers in logic and language

10:00 am

E. Pap, R. Mesiar, M. Grabisch, J.-L. Marichal: Infinitary aggregation

10:30 am

Coffee break

11:00 am

R. Mesiar, E. Pap, M. Grabisch, J.-L. Marichal:
Contribution on some construction methods for aggregation functions

11:30 am

J.-L. Marichal, M. Grabisch, R. Mesiar, E. Pap:
Behavioral analysis of aggregation functions

12:00 pm

M. Grabisch, J.-L. Marichal, R. Mesiar, E. Pap:
Aggregation on bipolar scales

12:30 pm Lunch

02:00 pm

E. Hüllermeier: Fuzzy logic in machine learning

03:00 pm

G. Rossi: Additive and non-additive discrete aggregation of preferences

03:30 pm

A. Kolesárová, R. Mesiar:
Lipschitzian De Morgan triplets with strong negations

04:00 pm

Coffee break

04:30 pm

M. Couceiro, J.-L. Marichal:
Characterizations of discrete Sugeno integrals as lattice polynomial functions

05:00 pm

Round table: Non-classical measures and integrals

Thursday, February 5, 2009

09:00 am

P. Cintula: Fuzzy Class Theory: a state of the art

10:00 am

T. Vetterlein: The partial-algebra method for the representation
of algebras related to fuzzy logics

10:30 am

Coffee break

11:00 am

I. Perfilieva: Towards a theory of a fuzzy rule base interpolation

11:30 am

J. Harding, C. Walker, E. Walker:
The variety generated by the truth value algebra of type-2 fuzzy sets

12:00 pm

P. Eklund, J. Kortelainen, L.N. Stout: Introducing fuzzines in monads: cases of the powerobject monad and the term monad

12:30 pm

Lunch

02:00 pm

Visit of Ars Electronica Center, Lentos "Best of Austria"

07:00 pm

Seminar Dinner (Bildungszentrum St. Magdalena)

Friday, February 6, 2009

09:00 am

J. Fodor: Fuzzy relations and preference modelling

10:00 am

S. Jenei: An overview on the algebraic aspects of the residuated monoids
on
[0,1] with outlooks

10:30 am

Coffee break

11:00 am

F. Esteva, L. Godo, C. Noguera:
On generalized continuous and left-continuous t-norms over chains: a survey

11:30 am

S. Yilmaz, B. De Baets:
Constructing t-norms from a given behaviour on join-irreducible elements

12:00 pm

Yun Shi, B. Van Gasse, Da Ruan, E.E. Kerre:
Axioms for fuzzy implications: dependence and independence

12:30 pm

Lunch

02:00 pm

M. Navara, M. Petrík, P. Sarkoci:
Convex combinations of triangular norms

02:30 pm

M. Navara: Tribes revisited

03:00 pm

S. Weber: Measure-free conditioning and extensions of additive measures on finite MV-algebras

04:00 pm

Coffee break

04:30 pm

J.T. Denniston, A. Melton, S.E. Rodabaugh:
Lattice-valued topological systems

05:00 pm

T. Kubiak, A. Šostak:
Foundations of the theory of (L,M)-fuzzy topological spaces

05:30 pm

C. Guido: Attachment between fuzzy points and fuzzy sets

Saturday, February 7, 2009

09:00 am

S. Solovjovs: Embedding topology into algebra

09:30 am

M. Demirci: Subset systems in lattice-valued mathematics

10:00 am

M. Stehlík: Aggregation in topological spaces

10:30 am

Coffee break

11:00 am

Round table: State of the art — open problems in many-valued mathematics related to logic, topology and algebra

12:30 pm

Closing

12:45 pm

Lunch