The 20th International Symposium 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.
LSFA is an International Symposium on Logical and Semantic Frameworks with Applications launched in 2006. Logical and semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and deductive systems. These frameworks provide mathematical foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing and using such methods and results from the practical side.
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.