18 - 29 September 2017, ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning'

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.