Prague Logic Seminar 2025 @ Institute of Mathematics