[finite-model-theory] 1st World Logic Day, 14 January 2019 - Report on the Celebrations