26 - 28 August 2020, 15th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020), Salvador, Brazil
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
Contributions should be written in English and submitted in the form of full papers with a maximum of 13 pages excluding references. Beyond full regular papers, we encourage submissions such as system descriptions, proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages excluding references. For both paper categories, additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere.