Here is the list of my talks. Unless there is a restriction, the reader can get the slides or notes used for the talks.
Note that the talks are separated into two groups: international ones and domestic ones.
International Talks
Prague Logic Seminar 2025 @ Institute of Mathematics
Logic and Computation Seminar 2025 @Pennsylvania
FoPM Symposium 2025 @The University of Tokyo
Proof Society 2024@Birmingham
Logic Colloquium 2024 @Gothenburg
Logic Seminar 2023 @The Univeristy of Passau
Computational Logic Seminar 2023 @TU Wien
Logic Colloquium 2023 @Milan
Spring School of Combinatorics 2023 @Jáchymov
Prague Logic Seminar 2023 @ Institute of Mathematics
Domestic Talks
COMAゼミ2024@The University of Tokyo