[finite-model-theory] LICS 2019 Final call for papers and workshops announcement