Call for Papers
Logical and Semantic Frameworks with Applications (special issue 2017 and 2018)

Logical and Semantic Frameworks with Applications is a workshop series which is dedicated to bring together theoreticians and practitioners in the field of computational logics and semantics to promote new techniques and results, from the theoretical side, and feedback on the implementation and the use of such techniques and results, from the practical side. This special issue collects extended versions of selected contributions presented at the Twelfth and Thirteenth Workshops on Logical and Semantical Frameworks with Applications (LSFA 2017 and LSFA 2018, respectively).

LSFA 2017 was held in Brasília, as a satellite event of the collocated conferences Tableaux+FroCoS+ITP, whereas LSFA 2018  was held as a stand-alone  event in Fortaleza.

Guest Editor:

Sandra Alves, University of Porto (sandra@fc.up.pt)

Renata Wassermann, University of São Paulo