| Mar 20, 2026 | I will attend Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15th to 20th March 2026. |
| Feb 20, 2025 | I talked about the quantitative general Nullstellensatz at Logic Winter School III, Wako (Japan), 17th to 21st February 2025. Slides. |
| Feb 18, 2025 | I attended FoPM 2nd International Symposium, Hongo (Japan), 17th to 19th February 2025. My poster. |
| Dec 19, 2024 | I talked about the general Nullstellensatz for Jacobson rings at Computer Algebra – Foundations and Applications, Kyoto (Japan), 18th to 20th December 2024. Slides. |
| Nov 24, 2024 | I attended Categories in Tokyo 第1回集会, Chiyoda (Japan), 23rd and 24th November 2024. |
| Oct 13, 2024 | I talked about the Krull dimension of commutative rings at 数学基礎論若手の会 2024, Koriyama (Japan), 12th to 14th October 2024. Slides. |
| Sep 20, 2024 | I participated in Logic Summer School 2024, Sendai (Japan), 17th to 20th September 2024. |
| Aug 09, 2024 | I talked about commutativity theorems for rings at 第2回 若手による数理論理学研究集会, Yokohama (Japan), 7th to 9th 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), 14th and 15th March 2024. |