11th ICCL summer school

11th ICCL summer school

Ute Schmid tomonidan -
Number of replies: 0

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. 


Prof. Dr. Steffen Hölldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany