[finite-model-theory] ESSLLI 2023 - Registration is now open!