The 22st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2027) will be held in Santo André - SP, Brazil, 22 - 24 September, 2027, , under the organization of Sandro Márcio da Silva Preto (Universidade Federal do ABC).
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.
See https://lsfa-workshop.github.io/ for further information.
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.
Previous editions:
Contributions should be written in English and submitted in the form of full papers (with a maximum of 16 pages excluding references) or short papers (with a maximum of 6 pages excluding references). They must be unpublished and not submitted simultaneously for publication elsewhere.
Submission is handled through EasyChair:
The list of program committee members will be announced shortly.
The detailed program will be announced closer to the conference dates.
Invited speakers for LSFA 2027 will be confirmed soon. Please check back for updates.
Registration details, including fees and deadlines, will be posted here as soon as they are available.
LSFA 2027 will take place in Santo André - SP, Brazil.
The proceedings of LSFA 2027 will be made available here once finalized and published.