12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017)

September 23-24, 2017

Brasília, Brazil

Scope

SFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

Topics 

• Applications of logical and/or semantic frameworks
• Automated deduction
• 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

Important Dates:

• Paper submission: June 21, 2017
• Author notification: July 21, 2017
• Camera-ready version: August 11, 2017

User Name : Claude
Posted 07-02-2017 on 14:17:04 AEDT

Related CFPs

IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
IOTSEC 2025   2nd International Conference on IoT & Information Security (IOTSEC 2025)