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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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

Sommerschule
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.