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

From International Center for Computational Logic

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

Summer School
In September 2017 we organize a summer school at TU Dresden, Germany.

The topic of this year's summer school is Bridging the Gap between Human and Automated Reasoning.

As in the past summer schools at TU Dresden in 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2010, 2013 and 2015 people from distinct, but communicating communities will gather in an informal and friendly atmosphere. This two-week event is aimed at graduate students, researchers and practitioners.