29 August - 11 September 2010, ICCL Summer School 2010: Cognitive Science, Computational Logic and Connectionism, Dresden, Germany

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/