18 - 20 September 2024, 19th International Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024), Goiânia (Brazil)
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the for mal specification of systems and computational languages, supporting tool development and reasoning.
LSFA 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.
All papers must be unpublished and not simultaneously submitted to another journal or conference. The following paper categories are welcome: * Full papers with a maximum of 16 pages * Short papers with a maximum of 6 pages. The papers should be prepared in latex using EPTCS style, and submitted as a PDF file. All contributions should be written in English.