LSFA 2023

The 18th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction FSCD 2023 (co-located with CADE 2023) to be held in Rome, Italy, from July 3 to July 6, 2023.

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 this series is 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.

Previous editions: 

• LSFA 2022 - Belo Horizonte, Brazil

• LSFA 2021 - Buenos Aires, Argentina (online), satellite event of FSCD 2021

• LSFA 2020 - Salvador, Brazil (online), collocated with the First Brazilian Workshop on Logic WBL

• LSFA 2019 - Natal, Brazil, satellite event of CADE 2019

• LSFA 2018 - Fortaleza, Brazil

• LSFA 2017 - Brasília, Brazil, satellite event of the collocated Tableaux+FroCoS+ITP

See https://lsfa-workshop.github.io/ for further information.