***apologies for cross posting; please distribute widely***
Poznań Reasoning Week 2018
https://poznanreasoningweek.wordpress.com/
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. PRW 2018 is co-organised by the Institute of Psychology, Adam Mickiewicz University, Poznań, Poland, and Institute of Philosophy, University of Zielona Góra, Poland.
In 2018 we address:
SUBMISSION GUIDELINES
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). Please use the standard article LaTeX class for abstracts with plain bibliography style, or draft in 12 point font, 1.5 line spacing, with 3 cm margins, using your preferred text editor. (Please note that accepted abstracts should eventually be submitted in LaTeX, for which help will be available.) Please submit via EasyChair: https://easychair.org/conferences/?conf=prw2018.
LIST OF TOPICS
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. We are interested in submissions addressing:
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. In particular, we invite submissions on:
Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. We say that a formula A is refutable iff A is derivable from refutation axioms by refutation rules (or, dually, A multiple-conclusion entails some refutation axioms). The concept was introduced by Łukasiewcz, but the idea of refutation was already known to Aristotle. 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 this conference is to explain key concepts and techniques, and present new results on refutation systems. But we also expect exchanging ideas and posing interesting questions. We are interested in the following aspects of refutation systems:
INVITED SPEAKERS
PUBLICATION
Authors of the accepted abstracts will be invited to submit their original research for publication in a special volume in the Studies in Logic series by College Publications. Papers must be in the order of 6.000 to 8.000 words (including references), and must address one or more of the conference themes, whether from an empirical or a more conceptual perspective.
FINANCIAL SUPPORT
Participation in the PRW 2018 events is free, however we ask you to register.
Participants from countries with underfunded academic institutions are invited to apply for a financial support (travelling costs refund, accommodation support). All correspondence concerning the financial support should be directed to [log in to unmask].
CONTACT
All questions concerning submissions should be emailed to [log in to unmask].
To unsubscribe from the AILACTD-L list, click the following link:
&*TICKET_URL(AILACTD-L,SIGNOFF);