2026 International Symposium on Logical and Semantic Frameworks with Applications

The 21st International Symposium on Logical and Semantic Frameworks with Applications (LSFA 2026) was held in Lisbon, Portugal, on July 18-19, 2026. Organized as an affiliated workshop of the 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026), LSFA 2026 aimed to bridge the gap between theoretical advancements and practical applications in logical and semantic frameworks. The symposium provided a platform for researchers and practitioners to discuss and integrate methods from foundational areas like lambda calculus and type theory with cutting-edge fields such as machine learning.

Key topics covered at LSFA 2026 included automated deduction, applications of logical and semantic frameworks, computational and logical properties of semantic frameworks, 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, and specification languages and meta-languages. These sessions aimed to foster collaboration between theoreticians and practitioners, promoting new techniques and results from the theoretical side and providing feedback on the implementation and use of such techniques from the practical side.

The symposium featured invited talks from experts in the field, including Temur Kutsia, Bruno Lopes, and Yoni Zohar. These presentations provided valuable insights into the latest research and developments in logical and semantic frameworks. Additionally, the event offered networking opportunities for attendees to engage with peers, discuss collaborative projects, and explore potential applications of the discussed frameworks.

LSFA 2026 was designed for researchers, practitioners, and students interested in the theoretical and practical aspects of logical and semantic frameworks. Attendees had the opportunity to gain knowledge on new techniques and results, as well as feedback on the implementation and use of such techniques, making it a valuable event for those looking to advance their understanding and application of these frameworks.