Logic List Mailing Archive

"Lattice-valued logic and its Applications"

9-13 Feb 2010
Linz, Austria

This is a call for abstracts of presentations for the

31st Linz Seminar on Fuzzy Set Theory

"Lattice-Valued Logic and its Applications"

February 9-13, 2010
Bildungszentrum St. Magdalena, Linz (Austria)

Since their inception in 1979 the Linz Seminars on Fuzzy Sets have
emphasized the development of mathematical aspects of fuzzy sets by
bringing together researchers in fuzzy sets and established
mathematicians whose work outside the fuzzy setting can provide
direction for further research. The seminar is deliberately kept small
and intimate so that informal critical discussion remains central.
There are no parallel sessions, and during the week there are several
round tables to discuss open problems and promising directions for
further work.

LINZ 2010 will be the 31st seminar carrying on this tradition and is
devoted to the theme ?Lattice-valued logic and its applications?. The
goal of the seminar is to present and discuss recent advances of
mathematical fuzzy logic (understood in the broader framework of
lattice-valued logics) and to concentrate on its applications in
various areas of computer science, linguistics, and philosophy.
Accordingly, the topics of the Seminar will include but not be limited
to:

Lattice-based logic

     Predicate, higher order, and modal fuzzy logics
     Semantic, proof theoretical, and model theoretical approaches
     Complexity considerations

Applications of that logic to

     Knowledge representation
     Reasoning with imperfect information
     Hedges and intensifiers
     Theories of vagueness
     Artificial intelligence

The "Linz" tradition has these key features: the number of
participants of the Linz Seminars is usually bounded above by 40 with
broad international representation and a mix of pure and applied
interests; there are no parallel sessions so that all participants
focus on each presentation and fully engage each topic; and there is
ample time for discussion of each presentation, with follow-up round
tables for discussion of open problems and issues raised in the talks.

Petr Cintula  and Lawrence N. Stout will act as Chairpersons of the
Program Committee, the following invited speakers have already
confirmed their participation:

     Radim Belohlavek (Palack University, Olomouc, Czech Republic)

.     Francesc Esteva

     Christian Fermller (Vienna University of Technology, Vienna,
Austria)

     Nikolaos Galatos  (University of Denver, CO, USA)

     Joseph Y. Halpern (Cornell University, Ithaca, NY, USA)

     George Metcalfe (University of Bern, Switzerland)

Please send your extended abstract (1?4 pages)
by November 30, 2009 to linz2010@flll.jku.at

Further Information: http://www.flll.jku.at/div/research/linz2010/index.htm
l
                      P. Cintula, L.N. Stout & E.P. Klement