24 June - 8 July 2006, ICCL Summer School 2006: Knowledge Structures, TU Dresden, Germany

It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.