The summer school “Reasoning” is a platform for knowledge transfer within a very rapid increasing research community in the field of “Computational Logic”. We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art. All lecturers are leading researchers in their field and have been awarded prizes.

A limited number of grants for students and university employees will be available, which includes a waiver for the participation fee.

For the participants of the summer school, the participation at the 38th German AI conference, also held at TU Dresden, is free of charge.

If you want to register for the ICCL Summer School 2015, please be informed about our social program and the summer school ticket beforehand, as questions about it will be asked in the registration. Then, please fill the online register form

with best regards, the organizers of the summer school