[finite-model-theory] January 14, 2020 - 2nd edition of the World Logic Day - Under the auspices of UNESCO