[finite-model-theory] 3rd World Logic Prizes Contest, Cusco, Peru - 8th UNILOG - Dec 2025