O 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) foi realizado em Goiânia, capital do estado de Goiás, no Brasil, de 18 a 20 de setembro de 2024. Frameworks lógicos e semânticos são linguagens formais usadas para representar lógicas, linguagens e sistemas. Esses frameworks fornecem fundamentos para a especificação formal de sistemas e linguagens de programação, apoiando o desenvolvimento de ferramentas e o raciocínio. O objetivo do workshop era reunir teóricos e profissionais para promover novas técnicas e resultados, do ponto de vista teórico, e dar feedback sobre a implementação e utilização de tais técnicas e resultados, do ponto de vista prático. A LSFA inclui áreas como a teoria da prova e dos tipos, a dedução equacional e os sistemas de reescrita, o raciocínio automático e a teoria da concorrência.

Juliana Cunha da Universidade de Aveiro esteve presente com a apresentação: “Paraconsistent Relations as a Variant of Kleene Algebras.”  Esta ação realizou-se no âmbito da WP 1 - Proj. #3 "Bombas de Calor e Equipamentos de combustão com H2 - Data Analytics".