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