On June 26, 2025, a scientific seminar devoted to descriptive logics and the UnifDL project – Automation of the Problem of Unification in Description Logics – was held at the Institute of Computer Science of the University of Opole. The seminar was organized as part of the research activities of the team implementing the project at the Institute of Computer Science of the University of Opole.
The lectures were given by members of the UnifDL team:
PhD Barbara Morawska, professor at the University of Opole – project manager,
PhD Sławomir Kost,
PhD student Dariusz Marzec,
and computer science student Michał Henne.
