Prague Logic Seminar 2023 @ Institute of Mathematics