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.)

7th of December 2023, Conference on Techniques from Logic in Mathematics, TU Wien, Vienna, Austria

18-22, September 2023, 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia 

7-15, September 2023, 17th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel -Society, Tbilisi, Georgia  (Organizer)11-15, September, Logic Algebra and Truth Degree ( LATD 2023), 2023 Tbilisi, Georgia