|
zpravodaj ČSKI - červen 2008 [ pdf ] |
datum: 4.6.2008 v 9:00 název: Posibilistické distribuce nad neúplným svazem přednášející: Ivan Kramosil (UI) místo konání: UI, 2.patro, místnost č.318 datum: 11.6.2008 v 9:00 název: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First Order Fragments přednášející: Dmitry Tishkovsky (University of Manchester) místo konání: UI, 2.patro, místnost č.318 datum: 11.6.2008 v 10:00 název: On some implication-free fragments of substructural logics přednášející: Angel Garcia-Gerdana (IIIA, Barcelona, Spain) místo konání: UI, 2.patro, místnost č.318 datum: 11.6.2008 v 10:00 název: On many-valued modal logics over finite residuated lattices přednášející: Felix Bou (IIIA, Barcelona, Spain) místo konání: UI, 2.patro, místnost č.318 datum: 25.6.2008 v 9:00 název: Složitost logik rozšiřujících Lukasiewiczovy logiky (II. část) přednášející: Petr Cintula (UI),
Petr Hájek (UI) místo konání: UI, 2.patro, místnost č.318 |