About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Summer Schools Organized at the ICCL in Dresden
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
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