The 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. The aim of workshop was bringing together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. LSFA includes areas such as proof and type theory, equational deduction and rewriting systems, automated reasoning and concurrency theory.

Juliana Cunha from the University of Aveiro was present with the presentation: ‘Paraconsistent Relations as a Variant of Kleene Algebras.’  This action took place as part of WP 1 - Project #3 ‘Heat Pumps and Combustion Equipment with H2 - Data Analytics’.