We are pleased to report that Professor Barbara Morawska, leader of the research project “Automation of the Problem of Unification in Description Logics,” took part in the Opole Science Festival—an event organized by the University of Opole.
As part of the festival, Professor Morawska actively contributed to science outreach by introducing young participants to fundamental concepts of logic and reasoning. Through her engaging presentations, she sparked curiosity and encouraged logical thinking among children. She showed that logic is not only a core area of mathematics and computer science but also a powerful tool for developing problem-solving skills.
In addition, Professor Morawska presented and promoted her ongoing research project, “Automation of the Problem of Unification in Description Logics,” emphasizing its importance for modern knowledge representation and automated reasoning.
For more information about the festival, visit: https://festiwal.uni.opole.pl
