Reasoning and Analytic Methods: Program & Abstracts

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.