[finite-model-theory] NLCS 2019, Gothenburg, as part of IWCS2019