This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, Brasil. Because of the COVID-19 pandemic, the meeting was held hybridly, on September 23-24, 2022. LSFA aims to bring together researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.

翻译：本卷收录了第十七届逻辑与语义框架及其应用国际研讨会（LSFA 2022）的会后论文集。该会议由巴西米纳斯吉拉斯联邦大学主办。受COVID-19疫情影响，会议于2022年9月23日至24日以线上线下混合形式举行。LSFA旨在汇聚对逻辑与语义框架的理论与实践层面及其应用感兴趣的研究人员和学生。涉及主题包括证明论、类型论与重写理论、规约与演绎语言，以及语言与系统的形式语义学。