The 11th ICCL summer
school is taking place at the TU Dresden from Sep 18 until Sep
29, 2017. This years topic is 'Bridging the Gap between Human
and Automated Reasoning'. The lecturers, the courses, the social
program, and many more details can be found under
The summer school is
supported by the DAAD and, hence, we will have a number of
international attendees. It is too late to apply for grants, but
otherwise the registration is still open.
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany