13-26 September 2015, Summer School "Reasoning", Dresden, Germany

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.

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

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/Norbert_Manthey/SummerSchool2015