| Oct 17, 2026 | I will talk about inductive definitions of Noetherian rings at 数学基礎論若手の会2026, Sendai (Japan), 16-18 October 2026. Slides. |
| Sep 18, 2026 | I gave a talk on entailment relations in constructive algebra and a short talk on inductive definition of Noetherian rings at Autumn school “Proof and Computation” 2026, Fischbachau (Germany), 13-19 September 2026. |
| Sep 11, 2026 | I gave a short talk on inductive definitions of Noetherian rings at Proof Society 2026, Aussois (France), 07-11 September 2026. |
| Aug 23, 2026 | I talked about automorphisms of the universe at ユニバースオフ (Offline meeting on universes),, Tokyo (Japan), 23 August 2026. |
| Jun 05, 2026 | I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 第37回可換環論セミナー (Seminar on Commutative Ring Theory), Chiba (Japan), 02-05 June 2026. |
| Mar 19, 2026 | I talked about Jacobson rings and closed point preserving maps at Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026. |
| Jan 11, 2026 | I talked about injective sets in constructive mathematics at 可算集合オフ (Offline meeting on countable sets), Ookayama (Japan), 11 January 2026. |
| Dec 23, 2025 | I talked about free modules in constructive algebra at RIMS共同研究「証明論と計算論の新地平」, Kyoto (Japan), 22-25 December 2025. Slides. |
| 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 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), 08-12 September 2025. Abstract, Slides. |
| Mar 22, 2025 | I talked about finiteness and searchability in constructive mathematics at 有限集合オフ (Offline meeting on finite sets), Ebisu (Japan), 22 March 2025. |
| 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), 07-09 August 2024. Slides. |