[finite-model-theory] FoIKS 2024, 13th International Symposium on Foundations of