News

29-30 October 2026

Amsterdam -- On the 29th of October I will organize a workshop on the topics of duality theory, algebraic logic and definability problems. On the 30th I will defend my PhD thesis.

25-28 August 2026

Prague -- Workshop on interpolation and amalgamation.

27-31 July 2026

TACL 2026 - Krakow, Poland: I will be presenting joint work with Marco Abbadini and Igor Arrieta on the Heyting-to-topos problem . Matteo de Berardinis will be presenting an extended summary of our current research on descent and equivalence relations for non-classical logics. Simon Lemal will be presenting joint work (together with Nick Bezhanishvili) on superamalgamation for modal lattices . Together with Qian Chen , we will present our classification of superamalgamation for bi-Gödel algebras.

29 June - 3 July 2026

AIML 2026 - Amsterdam, Netherlands: Matteo De Berardinis will be presenting our joint work on coequivalence relations and descent in modal logic, especially on S5. I will be presenting work on uniform local tabularity , and joint work with Simon Lemal and Nick Bezhanishvili Nick Bezhanishvili on the failure of Craig interpolation for Fischer-Servi logic.

11-12 April 2026

CMCS 2026 - Turin, Italy: Sarah Dukic presented our joint work on coalgebraic semantics for Fischer-Servi logic.

8-12 September 2025

TBILLC 2025 - Kutaisi, Georgia: I presented work on regular Heyting algebras ; Sarah Dukic presented joint work (together with Nick Bezhanishvili) on coalgebraic semantics for Fischer-Servi logic.

21-25 July 2025

LATD 2025 - Sienna, Italy.

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.

28 March 2025

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