PROGRAM

Timeline

Wednesday 16th

13:30 – 14:00 Invitation and registration
14:00 – 14:45 Pavel Materna: 'TIL and PTS'
15:00 – 15:45 Ivo Pezlar: 'TIL and proof analysis'
16:00 – 16:45 Karel Šebela: 'Kant and the Problem of Conceptual Containment'
17:00 – 17:30 Coffee Break

Thursday 17th

8:30 – 8:45 Morning Awakening
9:00 – 9:45 Ludmila Dostálová: 'Aristotelian Logic: Extensional or Intensional?'
10:00 – 10:45 Bjørn Jespersen: 'Impossibility and hyperintensionality'
11:00 – 11:45 Daniela Glavaničová: 'Fictional characters as hyperintensions'

12:00 – 13:45 Lunch time

14:00 – 14:45 Aleš Horák, Marek Medveď: 'Question Answering'
15:00 – 15:45 Michal Peliš: 'Epistemic Logic of Questions'
16:00 – 16:45 Miloš Kosterec: 'Substitution contradiction, its resolution and Church-Rosser Theorem in TIL'
17:00 – 17:15 Coffee Break
18:00 – … Social Evening

Friday 18th - student’s session – not only logic

9:30 – 9:45 Morning awakening
10:00 – 10:30 Vojtěch Patschka
10:45 – 11:15 Adam Albert
…
11:30 Closing Ceremony :)