Preface to special issue: LSFA 2017 and 2018

摘要

This special issue collects selected articles from the 12th and 13th editions of theWorkshop on Logical and Semantic Frameworks, with Applications (LSFA 2017 and 2018). LSFA 2017 was held on 23-24 September 2017 in Brasília, as a satellite event of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2017), the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017). LSFA 2018 was held on 26-28 September 2018 in Fortaleza.