[finite-model-theory] World Welcome Ceremony - 3rd World Logic Day: January 14, 2021