As the date of our conference is nearing, we are pleased to announce the final version of the conference program. Also available is a Book of Abstracts in PDF form.
Program
The conference will take place in room G140 in the 2 Gondova building of the Faculty of Arts.
The program is also available as a PDF.
Thursday April 27
09:30 – 10:00 | Registration |
10:00 – 10:05 | Conference Opening |
10:05 – 11:05 | Miloš Arsenijević |
The Post-Cantorian Era: Two Inter-related Concepts of Points and Continua in Non-Archimedean Spaces | |
lunch | |
13:00 – 14:00 | Duško Prelević |
The Chalmers Trilemma Re-Examined | |
coffee break | |
14:15 – 15:15 | Vladan Djordjević |
Assumptions, Hypotheses, and Antecedents | |
coffee break | |
15:30 – 16:30 | Paweł Łupkowski |
IEL-based Formal Dialogue System for Tutorials | |
coffee break | |
16:45 – 17:45 | Mariusz Urbański, Natalia Żyluk |
Sets of situations, topics, and question relevance | |
coffee break | |
18:00 – 19:00 | Daniela Glavaničová |
Type-theoretic analysis | |
dinner |
Friday April 28
09:30 – 10:30 | Szymon Chlebowski, Andrzej Gajda |
Abductive Question-Answer System for minimal logic of formal inconsistency mbC* | |
coffee break | |
10:45 – 11:45 | Andrej Jandrić |
Aboutness, Content Extraction, and Ontological Commitments | |
lunch | |
14:00 – 15:00 | Vladimír Marko |
Arguments based on conditional promise | |
coffee break | |
15:15 – 16:15 | Miloš Kosterec |
On Inverse Analytic Methods |
Abstracts
More detailed information on the talks can be found in the Book of Abstracts.