BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2018/newsitem/9692/11- --15-September-2018-Poznań-Reasoning-Week-2018-Poz nań-Poland DTSTAMP:20180604T140450 SUMMARY:Poznań Reasoning Week 2018, Poznań, Poland DTSTART;VALUE=DATE:20180911 DTEND;VALUE=DATE:20180915 LOCATION:Poznań, Poland DESCRIPTION:Poznań Reasoning Week 2018, which is t he third edition of PRW, consists of three confere nces, aimed at bringing together experts whose res earch offers a broad range of perspectives on syst ematic analyses of reasoning processes and their f ormal modelling: - Games and Reasoning 2018 (11 s eptember) - Logic and Cognition 2018 (12-13 septe mber) - Refutation Symposium 2018 (14-15 septembe r) The aim of the Games and Reasoning conference is to gather researchers from various fields who u se games as tools in their research. The concept o f a game includes here serious games, scientific d iscovery games, gamification techniques in science , games with a purpose as well as the more general approaches using game theoretical framework. Log ic and Cognition is an initiative focusing on rese arch on the interplay of logic, cognitive science, psychology and computer science which aim at shed ding the light on actual reasoning processes. Ref utation systems are axiomatic systems applied to n on-valid formulas (or sequents). A refutation syst em consists of refutation axioms and refutation ru les. This approach is complementary to standard pr oof methods.  Although refutation systems are not widely known, we believe that the method has poten tial and can produce results that are both interes ting and useful. The goal of the Refutation Sympos ium is to explain key concepts and techniques, and present new results on refutation systems. We in vite proposals for contributed talks. Please submi t an extended abstract of max. 1.000 words, includ ing references, prepared for blind review. As a fi rst key-word, please indicate the event you want t o submit your work to (GaR, L&C or RS). X-ALT-DESC;FMTTYPE=text/html:
\n

Poznań Re asoning Week 2018, which is the third edition of P RW, consists of three conferences, aimed at bringi ng together experts whose research offers a broad range of perspectives on systematic analyses of re asoning processes and their formal modelling:
\ n - Games and Reasoning 2018 (11 september)
\n - Logic and Cognition 2018 (12-13 september)
\n - Refutation Symposium 2018 (14-15 september)< /p>\n\n

The aim of the Games and Reasoning con ference is to gather researchers from various fiel ds who use games as tools in their research. The c oncept of a game includes here serious games, scie ntific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framewo rk.

\n\n

Logic and Cognition is an initiati ve focusing on research on the interplay of logic, cognitive science, psychology and computer scienc e which aim at shedding the light on actual reason ing processes.

\n\n

Refutation systems are axiomatic systems applied to non-valid formulas (o r sequents). A refutation system consists of refut ation axioms and refutation rules. This approach i s complementary to standard proof methods.  A lthough refutation systems are not widely known, w e believe that the method has potential and can pr oduce results that are both interesting and useful . The goal of the Refutation Symposium is to expla in key concepts and techniques, and present new re sults on refutation systems.

\n
\n < p>We invite proposals for contributed talks. Pleas e 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).

\n
URL:https://poznanreasoningweek.wordpress.com/ CONTACT:natalia.zyluk at amu.edu.pl END:VEVENT END:VCALENDAR