[finite-model-theory] Logic in All its Dimensions - LUA - 7th edition of the World Logic Day, January 14, 2025, 4pm CET