About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Summer Schools Organized at the ICCL in Dresden
ICCL Summer School
2010: Cognitive Science, Computational Logic and Connectionism
(ICCL-SS-2010)
TU Dresden, August/September 2010
ICCL Summer School
2008: Computational Logic and Cognitive Science (ICCL-SS-2008)
TU Dresden, August/September 2008
REWERSE School
2007: Reasoning Web (SS-RW-2007)
TU Dresden, September 2007
ICCL Summer School
2006: Knowledge Structures (ICCL-SS-2006)
TU Dresden, June/July 2006
ICCL Summer School
2005: Logic-based Knowledge Representation (ICCL-SS-2005)
TU Dresden, July 2005
ICCL Summer School
2004: Proof Theory and Automated Theorem Proving
(ICCL-SS-2004)
TU Dresden, June 2004
Summer School and
Workshop on Proof Theory, Computation and Complexity (WPT-2003)
TU Dresden, June/July 2003
Further Summer Schools Organized by Members of the ICCL
3rd Indonesian Summer School 2010 on Computational
Logic
UII Yogyakarta, October 2010
Summer School 2008 on Computational Logic and Its
Applications
UI Jakarta, August 2008
EA Summer School 2007 on Computational Logic and Logic
Foundations of Computer Science (EA-SS-2007)
HUT Vietnam, July/August 2007
EA Summer
School 2006 on Logic Foundations of Intelligent Systems
(EA-SS-2006)
UI Jakarta, June/July 2006
EA Summer School 2005 on Computational Logic and Logic
Foundations of Computer Science (EA-SS-2005)
HUT Vietnam, August 2005