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

NeTCoM 2026   18th International Conference on Networks & Communications
DMA 2026   12th International Conference on Data Mining and Applications (DMA 2026)
CRIS 2026   12th International Conference on Cryptography and Information Security
IJCI   International Journal on Cybernetics & Informatics