About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
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
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