[finite-model-theory] UNILOG'2021: 7th World Congress and School on Universal Logic