The 20th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2025) is a satellite event of the 18th Conference on Intelligent Computer Mathematics (CICM 2025) to be held in Brasília, the capital of Brazil, from October 6 to October 11, 2025.
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 2024 - Goiânia, Brazil
- LSFA 2023 - Rome, Italy, satellite event of FSCD 2023
- 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
- LSFA 2016 - Porto, Portugal, satellite event of FSCD 2016
- LSFA 2015 - Natal, Brazil, satellite event of NAT@Logic 2015
- LSFA 2014 - Brasília, Brazil
- LSFA 2013 - São Paulo, Brazil
- LSFA 2012 - Rio de Janeiro, Brazil
- LSFA 2011 - Belo Horizonte, Brazil
- LSFA 2010 - Natal, Brazil, satellite event of ICTAC 2010
- LSFA 2009 - Brasília, Brazil, satellite event of RDP 2009
- LSFA 2008 - Salvador, Brazil, satellite event of SBMF 2008
- LSFA 2007 - Ouro Preto, Brazil, satellite event of SBMF 2007
- LSFA 2006 - Natal, Brazil.
See https://lsfa-workshop.github.io/ for further information.