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 |