[finite-model-theory] EATCS-IPEC Nerode Award - CfN