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
On Saturday, June 1, 2025, during the Opole Science Picnic, Prof. Barbara Morawska, head of the Automation of the Problem of Unification in Description Logics project, actively promoted science among the young participants of the event.
The Opole Science Picnic, organized as part of the 21st Opole Science Festival, attracted hundreds of visitors – schoolchildren, students, families with children, and science enthusiasts. The stand run by Prof. Morawska was very popular, especially among young people interested in theoretical computer science and mathematical logic.
As part of her presentation, Prof. Morawska discussed issues related to descriptive logics and the automation of the unification process – key topics for the research project. Thanks to the accessible form and interactive elements, even complex concepts became understandable to younger participants.
More information about the event can be found at: Opole Science Picnic 2025
