Embedded Files
Fifteenth Conference on Interactive Theorem Proving
Tbilisi, Georgia, 9-14 September, 2024 (Dashbashi Canyon.)
Vienna Ball of Sciences on January 24, 2026, at Vienna City Hall!
Page updated
Google Sites
Report abuse
Fifteenth Conference on Interactive Theorem Proving
Tbilisi, Georgia, 9-14 September, 2024 (Dashbashi Canyon.)
Vienna Ball of Sciences on January 24, 2026, at Vienna City Hall!