LSFA 2019, LSFA

Robotic Events (َLSFA 2019): 14th Workshop on Logical and Semantic Frameworks with Applications LSFA 2019 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.

Topics (LSFA 2019)

• 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

Date:

• 24, 26 Aug 2019

Where:

• Natal, Brazil

Email:

• lsfa2019@easychair.org