News from the research group Knowledge-Based Systems of October 25, 2014

International Center for Computational Logic launches new web portal

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. At the preliminarz URL iccl.inf.tu-dresden.de, ICCL has now presented its new Web portal, which is due to replace the current site under http://www.computational-logic.org/ in the future. The comprehensive resource comprises several hundred pages with information on research and teaching, current job offers, topics for student theses, and contact details.

The portal itself is in fact an application of research results of the involved scientist: the underlying content management system Semantic MediaWiki, which today is a successful Open Source project, has been initiated by Markus Krötzsch. The template for the use of this technology in information management in research and teaching stems from the successful web portal of the institute AIFB of the Karlsruhe Institute of Technology.