[finite-model-theory] EATCS-IPEC Nerode Prize 2022 - CFN