About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Summer Schools Organized at the ICCL in Dresden

 

ICCL Summer School 2015: Reasoning (ICCL-SS-2015)
TU Dresden, Septmber 13 - September 26, 2015

ICCL Summer School 2013: Semantic Web - Ontology Languages and Their Use (ICCL-SS-2013)
TU Dresden, August 18 - August 31, 2013

ICCL Summer School 2010: Cognitive Science, Computational Logic and Connectionism (ICCL-SS-2010)
TU Dresden, August 29 - September 10, 2010

ICCL Summer School 2008: Computational Logic and Cognitive Science (ICCL-SS-2008)
TU Dresden, August 24 - September 6, 2008

REWERSE School 2007: Reasoning Web (SS-RW-2007)
TU Dresden, September 3 - 7, 2007

ICCL Summer School 2006: Knowledge Structures (ICCL-SS-2006)
TU Dresden, June 24 - July 8, 2006

ICCL Summer School 2005: Logic-based Knowledge Representation (ICCL-SS-2005)
TU Dresden, July 2 - 17, 2005July 2 - 17, 2005

ICCL Summer School 2004: Proof Theory and Automated Theorem Proving (ICCL-SS-2004)
TU Dresden, June 14 - 25, 2004

Summer School and Workshop on Proof Theory, Computation and Complexity (WPT-2003)
TU Dresden, June 23 - July 4, 2003


Further Summer Schools Organized by Members of the ICCL

 

3rd Vietnamese Summer School 2014 on Computational Logic and its Applications
Hue University of Education, Hue, Vietnam, August 17 - August 30, 2014

4th Indonesian Summer School 2012 on Computational Logic
Udayana University, Bali, Indonesia, September 2 - 15, 2012

3rd Indonesian Summer School 2010 on Computational Logic
UII Yogyakarta, Indonesia, October 4 - 15, 2010

2nd Indonesian Summer School 2008 on Computational Logic and Its Applications
UI Jakarta, Indonesia, August 4 - 15, 2008

EA Summer School 2007 on Computational Logic and Logic Foundations of Computer Science (EA-SS-2007)
HUT, Vietnam, July 31 - August 7, 2007

EA Summer School 2006 on Logic Foundations of Intelligent Systems (EA-SS-2006)
UI Jakarta, Indonesia, July 31 - August 7, 2006

EA Summer School 2005 on Computational Logic and Logic Foundations of Computer Science (EA-SS-2005)
HUT, Vietnam, August 22 - September 1, 2005