11 - 15 September 2018, Poznań Reasoning Week 2018, Poznań, Poland
Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)
The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.
Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.
Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods. Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.
We invite proposals for contributed talks. Please submit an extended abstract of max. 1.000 words, including references, prepared for blind review. As a first key-word, please indicate the event you want to submit your work to (GaR, L&C or RS).