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

Summer Schools Organized at the ICCL in Dresden

 

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

 

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