[finite-model-theory] January 14, 2019 - 1st World Logic Day - Celebrated all over the World