News

28 March 2025

I visted the Theory Group in Birmimgham , where I gave a talk on step by step constructions of Heyting algebras.

6 April 2025

I visted the Logic, Algebra and Categories Group in Milan , where I gave a talk on Pitts problem and higher order uniform interpolation.

21-25 July 2025

LATD 2025 - Sienna, Italy.

8-12 September 2025

TBILLC 2025 - Kutaisi, Georgia.

29 June - 3 July 2026

AIML 2026 - Amsterdam, Netherlands.

27-31 July 2026

TACL 2026 - Krakow, Poland.