[finite-model-theory] Ici-Rio 2024 - UNILOG'2025, Cusco