Prague Logic Seminar 2023