• Home Page
• Photos
• Workshop
• Important dates
• Committees
• Invited speakers
• Contributed talks
• Registration
• Round table
• Presentations
• Participants
• More information

Invited speakers

• Stefano Aguzzoli (University of Milan, Milan):

  On Representations of BL-Algebras

• Matthias Baaz (Technical University of Vienna, Vienna).

  Gödel logics with witnessing interpretations

• Xavier Caicedo Ferrer (Universidad de los Andes, Bogotá).

  A characterization of first order rational Pavelka's logic

• Christian Fermüller (Technical University of Vienna, Vienna).

  On the interpretation of t-norm based fuzzy logics

• Lluís Godo (Spanish Research Council, Barcelona).

  T-norm based fuzzy theories for reasoning about uncertainty: a survey and recent trends

• Petr Hájek (Academy Sciences of the Czech Republic, Prague).

  Mathematical fuzzy predicate logic - the present stand of development

• Kazushige Terui (National Institute of Informatics, Tokyo).

  Algebraic proof theory for nonclassical logics

• Constantine Tsinakis (Vanderbilt University, Nashville).

  Lattice-ordered groups in Logic