Diana Costa, LASIGE integrated member, was invited to deliver a talk at the 21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026), an affiliated workshop of the 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026), which was held in Lisbon, 18 – 19 July, 2026, as part of FLoC.

The invited talk entitled “Not Your Average Session Types”, presenting a novel definition of type equivalence for higher-order polymorphic context-free session types, formulated as a weak bisimulation, focused on a more flexible and uniform treatment of recursion and divergence in session-based communication, based on joint work with LASIGE integrated members Andreia Mordido, Vasco T. Vasconcelos, and Diogo Poças (former LASIGE researcher).

LSFA is an International Symposium on Logical and Semantic Frameworks with Applications launched in 2006, bringing together theoreticians and practitioners. Logical and semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and deductive systems. These frameworks provide mathematical foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.