[en] 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.
Disciplines :
Computer science
Editor :
Nantes-Sobrinho, Daniele; University of Brasília, Brazil
Fontaine, Pascal ; Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore) > Systèmes informatiques distribués
Language :
English
Title :
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications
Publication date :
2023
Publisher :
Electronic Proceedings in Theoretical Computer Science, Sydney, Australia
