[finite-model-theory] WORDS 2019, 2nd call for papers