[finite-model-theory] 1st World Logic Day: January 14, 2019