[finite-model-theory] 7th edition of the World Logic Day