Right now at #ICFCA2023 we have Alessandra Palmigiano talking about "Logical foundations of categorization theory" -- https://www.kde.cs.uni-kassel.de/icfca2023/keynote-speakers.html#alessandra-palmigiano
This server is meant to be a haven for people who research and apply both computer science as well as mathematics, in particular algebra, and their fans ;)