Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
Logic in Computer Science
2026-07-17 v1
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.
Keywords
Cite
@article{arxiv.2607.15904,
title = {Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications},
author = {Valeria de Paiva and Thaynara Arielly de Lima},
journal= {arXiv preprint arXiv:2607.15904},
year = {2026}
}