[finite-model-theory] ICGI 2020 - First call for papers