13^th Workshop on Logical and Semantic Frameworks, with Applications(LSFA 2018 )

September 26-28, 2018, Fortaleza, Brazil

Scope & Topics

We are pleased to invite you to participate in the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), which will take place on September 26th to 28th, 2018, in Fortaleza, CE, 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.

Topics of Interest :

• 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

Important Dates

Submission Deadline	:	June 10, 2018
Authors Notification	:	July 25, 2018
Final Manuscript Due	:	August 12, 2018

 

User Name : mark
Posted 09-05-2018 on 20:08:27 AEDT

Related CFPs

IJMADA   International Journal of Management and Data Analytics
CVAI 2026   2026 International Symposium on Computer Vision and Artificial Intelligence (CVAI 2026)