[finite-model-theory] 5th edition of the World Logic Day - January 14, 2023