TACL 2026 - Topology, Algebra, and Categories in Logic

  27 - 31 July 2026

  Kraków, Poland

ISMVL 2026, Sendai, Japan

May, 2026 with Prof. Hiroakira Ono at the gate of Shirayama-Hime Shrine and in Shijima, kanazawa.

Fifteenth Conference on Interactive Theorem Proving

Tbilisi, Georgia, 9-14 September, 2024 (Dashbashi Canyon.)