Talks and Poster Presentations (without Proceedings-Entry):
C. Fermüller:
"Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning";
Keynote Lecture: Models of Bounded Reasoning in Individuals and Groups,
Leiden, Netherlands;
2018-07-02
- 2018-07-05.