LSFA 2022

The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) was held in Belo Horizonte, Brazil, on September 23 and 24, 2022. This annual event focuses on the study and application of logical and semantic frameworks, which 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 workshop covered a range of topics, including automated deduction, formal semantics of languages and systems, implementation of logical and semantic frameworks, lambda and combinatory calculi, logical aspects of computational complexity, logical frameworks, process calculi, proof theory, semantic frameworks, specification languages and meta-languages, and type theory. Sessions featured presentations on subjects such as nominal sets in Agda, formal proofs of strong normalization theorems, dynamic logic for reasoning about Reo circuits, and analyses of innermost runtime complexity through tuple interpretations.

In addition to the technical sessions, LSFA 2022 included invited talks by Cláudia Nalon and Ciro Russo, a tutorial on SMT by Haniel Barbosa, and a 'Logic Bar' session for informal discussions on logic topics. The event also provided opportunities for networking during coffee breaks, lunch breaks, and an evening dinner.

LSFA 2022 was particularly relevant for researchers, practitioners, and students interested in logical and semantic frameworks, formal methods, and their applications. Attendees had the opportunity to engage with leading experts, present their work, and participate in discussions on the latest developments in the field.