| Sep 10, 2025 | I will talk 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, Marseille (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. |
| 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. |
| Oct 13, 2024 | I talked about the Krull dimension of commutative rings at 数学基礎論若手の会 2024, Koriyama (Japan), 12-14 October 2024. Slides. |
| Aug 09, 2024 | I talked about commutativity theorems for rings at 第2回 若手による数理論理学研究集会, Yokohama (Japan), 7-9 August 2024. Slides. |