Rodrigo Nicolau Almeida

11-12 April 2026

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

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.

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.

25-28 August 2026

Prague -- Workshop on interpolation and amalgamation.

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.