LSFA 2018 - 13th Workshop on Logical and Semantic Frameworks, with Applications

Contributions should be written in English and submitted in the form of full papers with a maximum of 13 pages including references. Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, 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 including references, unless they also contain some novel results.
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.
The papers should be prepared in LaTeX using the *new* generic ENTCS package (http://www.entcs.org/generic.zip). Please, check the ENTCS instructions for preparing files at http://www.entcs.org/prelim.html. The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2018
The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference.
For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper.
Topics of interest include, but are not limited to:
Automated deduction
Applications of logical and/or semantic frameworks
Computational and logical properties of semantic frameworks
Formal semantics of languages and systems
Implementation of logical and/or semantic frameworks
Lambda and combinatory calculi
Logical aspects of computational complexity
Logical frameworks
Process calculi
Proof theory
Semantic frameworks
Specification languages and meta-languages
Type theory