14^th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019)

August 24-26, 2019, Natal, Brazil

Scope & Topics

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.

Previous editions of LSFA took place in Fortaleza (2018), Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007) and Natal (2006). See http://lsfa.cic.unb.br for more information. The 2019 edition will take place at UFRN, in Natal.

Topics of Interest :

• 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
  

Important Dates

Submission Deadline	:	April 19, 2019
Authors Notification	:	May 24, 2019
Final Manuscript Due	:	June 21, 2019

 

User Name : austin
Posted 22-12-2018 on 15:29:01 AEDT

Related CFPs

IJCACS   International Journal of Control, Automation, Communication and Systems (IJCACS)
IJCSITCE   The International Journal of Computational Science, Information Technology and Control Engineering (IJCSITCE)
ACII   Advanced Computational Intelligence: An International Journal
IJWesT   International Journal of Web & Semantic Technology (IJWesT)