| 日程 | 発表者 | タイトル |
|---|---|---|
| 5/31(金) 18:00〜 ハイブリッド 対面は東大駒場15号館104 |
佐藤巌（小山工業高等専門学校） | 伊原ゼータ関数とその一般化 |
| 7/19(金) 18:00〜 ハイブリッド 対面は東大駒場15号館104 |
権英哲（東京大学） | 証明の長さと、量的なモデル理論 |
| 12/13(金) 18:00〜 ハイブリッド 対面は東大駒場 |
北野草太（名古屋大学） | Biplanar graphのodd coloringについて |
| 12/20(金) 18:00〜 ハイブリッド 対面は東大駒場 |
柏原賢二（東京大学） | Lean 4と閉じた集合族 |