24 - 26 August 2019, 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019), Natal, 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.
LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).
Beyond full regular papers, we encourage submissions such as 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.
Topics of interest include, but are not limited to: Specification languages and meta-languages, Formal semantics of languages and logical systems, Logical frameworks, Semantic frameworks, Type theory, Proof theory, Automated deduction, Implementation of logical or semantic frameworks, Applications of logical or semantic frameworks, Computational and logical properties of semantic frameworks, Logical aspects of computational complexity, Lambda and combinatory calculi, Process calculi.