News of January 14, 2021

Happy World Logic Day 2021!

Formal logic is to computer science what calculus is to engineering. It has become a prominent and useful tool in the development and scientific investigation of many important topics, such as artificial intelligence, data management, and dependable systems. At ICCL, logic is central to research in many areas, such as Knowledge Representation and Reasoning, Semantic Technologies, and Abstract Argumentation.

Recognizing the importance of logic for research and society as a whole, UNESCO in association with the ICPHS have established the World Logic Day, which is observed each year on January 14th. The event aims to promote awareness of this important area at the intersection of mathematics, philosophy, engineering, and computer science.

A pioneering step towards this goal was the establishment of TU Dresden's international MSc programme in Computational Logic in 1997. For more than two decades, the programme has offered broad range of courses that highlighted the role of logic in computer science. Since 2020, the newly launched Logical Modeling offers these topics under the roof of the interdisciplinary MSc programme Computational Modeling and Simulation, integrating logical methods and thinking with further areas of research and application.

ICCL wishes all students, researchers, and practitioners of logic a happy World Logic Day 2021!