Logic Colloquium 2024 @ Gothenburg