Embedded Files
May, 2026 with Prof. Hiroakira Ono at the gate of Shirayama-Hime Shrine and in Shijima, kanazawa.
Vienna Ball of Sciences on January 24, 2026, at Vienna City Hall!
Fifteenth Conference on Interactive Theorem Proving
Tbilisi, Georgia, 9-14 September, 2024 (Dashbashi Canyon.)
Page updated
Google Sites
Report abuse