The s ummer school will focus on the relationship betwee n\n modern formal logic (including its use fo r automated reasoning\n and computation) and, on the other hand, the rationality and\n com mon sense underlying human reasoning. Traditionall y, a huge\n gap is perceived between the symb olic representation of\n knowledge used in mo dern logic and the sub-symbolic\n representat ion considered dominant in human\n reasoning. Psychological experiments of the past even sugges ted\n that people often don't reason logicall y and, in general, that\n logic seems to play only a minor role in human\n reasoning. Howe ver, recently, new ways of explaining human\n reasoning seem to revive its relatedness to logic . Connectionist\n models even show a closer r elation between formal reasoning and\n brain activities. For these reasons this summer school a ttempts\n to bring together researchers from various sides for an exchange\n of views.\n
\n \n \nIf you want to at tend the summer school, we'd prefer that you regis ter by April 1, 2010.\n For more informati on, see\n http://w ww.computational-logic.org/iccl-ss-2010/\n
\n\n The Pr ogramme Committee cordially invites all researcher s\n to submit their\n papers for pre sentation.\n Submission deadline is .\n
\n