Tentative programme

Saturday, February 6

14,00 Opening
14,20–15,30 Talks
Albert Visser,
Dick de Jongh,
Rineke Verbrugge
Intermediate logics and the de Jongh property
Anatolij Dvurečenskij,
Beloslav Riečan
On states on BL-algebras and related structures
Chris Fermüller Fuzzy logic and vagueness: Can philosophers learn from Petr Hájek?
15,30–16,00 Coffee break
16,00–17,30 Talks
Ivan M.Havel Seeing numbers
Petr Vopĕnka Round table: Problem of actualizability of natural numbers
19,00 Banquet

Sunday, February 7

14,00–15,30 Talks
Jan Woleński Vagueness and ambiguity
Matthias Baaz Beauty as a tool and as an aim in logic: the artist Petr Hájek
Peter Vojtáš Hájek's comparative notion of truth in preference modeling
15,30–15,50 Coffee break
15,50–16,50 Talks
Radim Jiroušek The splendors and miseries of high dimensions
Ivan Kramosil From relative frequencies to lattice-valued possibilistic measures
Jana Zvárová Managing uncertainty in medicine
16,50–17,10 Coffee break
17,10–18,20 Talks
Jan Rauch The GUHA method and observational calculi—tools for data mining
Dan Pokorný Where are hypotheses being born?
Martin Holeňa Fuzzification of some statistical principles of GUHA
19,00 Concert

Monday, February 8

 9,00–10,20 Talks
Francesc Esteva,
Lluís Godo
Some notes about a long and fruitful relationship
Vilém Novák How I managed to convince P. Hájek about usefulness of fuzzy logic
Mirko Navara What is primary: negation or implication?
10,20–10,40 Coffee break
10,40–12,15 Talks
Siegfried Gottwald Shaping the logic of fuzzy set theory
Franco Montagna Petr Hájek's contribution to propositional and first-order BL-logics
Daniele Mundici From BL to MV
12,15–12,30 Closing