| Mar 20, 2026 | I will attend Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026. |
| Dec 24, 2025 | I will talk about constructive algebra at RIMS共同研究「証明論と計算論の新地平」, Kyoto (Japan), 22-25 December 2025. |
| Oct 17, 2025 | I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 数学基礎論若手の会 2025, Maebashi (Japan), 16-18 October 2025. Slides (short version of the slides used at CIRM 3377). |
| Sep 20, 2025 | I participated in Autumn school “Proof and Computation”, Herrsching (Germany), 14-20 September 2025. |
| Sep 11, 2025 | I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at CIRM Conference 3377: Synthetic mathematics, logic-affine computation and efficient proof systems, Luminy (France), 8-12 September 2025. Abstract, Slides. |
| Feb 20, 2025 | I talked about the quantitative general Nullstellensatz at Logic Winter School III, Wako (Japan), 17-21 February 2025. Slides. |
| Feb 18, 2025 | I attended FoPM 2nd International Symposium, Hongo (Japan), 17-19 February 2025. My poster. |
| Dec 19, 2024 | I talked about the general Nullstellensatz for Jacobson rings at Computer Algebra – Foundations and Applications, Kyoto (Japan), 18-20 December 2024. Slides. |
| Nov 24, 2024 | I attended Categories in Tokyo 第1回集会, Hitotsubashi (Japan), 23-24 November 2024. |
| Oct 13, 2024 | I talked about the Krull dimension of commutative rings at 数学基礎論若手の会 2024, Koriyama (Japan), 12-14 October 2024. Slides. |
| Sep 20, 2024 | I participated in Logic Summer School 2024, Sendai (Japan), 17-20 September 2024. |
| Aug 09, 2024 | I talked about commutativity theorems for rings at 第2回 若手による数理論理学研究集会, Yokohama (Japan), 7-9 August 2024. Slides. |
| May 15, 2024 | I attended Categories in Tokyo 第0回集会, Komaba (Japan), 15th May 2024. |
| Mar 15, 2024 | I attended Computer Science and Category Theory (CSCAT) 2024, Chiba (Japan), 14-15 March 2024. |