Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
Logic in Computer Science
Summary
The authors collected papers from the 21st LSFA workshop held in Lisbon in 2026. Their goal was to discuss both well-known topics like lambda calculus and new areas like machine learning from a theoretical standpoint. They also focused on how to apply these theories in real-world situations. The volume reflects a mix of ideas connecting theory and practice in logic and semantics.
Authors
Valeria de Paiva, Thaynara Arielly de Lima
Abstract
This volume contains the proceedings of the 21st Workshop on Logical and Semantic Frameworks with Applications (LSFA 2026), held in Lisbon, Portugal, from July 18 to July 19, 2026. 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.