[finite-model-theory] UNILOG'2022: Ready to go? Early Bird Registration: Dec 15