Workshop on Logical and Semantic Frameworks with Applications
摘要截稿:
全文截稿: 2019-04-19
开会时间: 2019-08-24
会议难度:
CCF分类: 无
会议地点: Natal, Brazil
Overview
TOPICS OF INTEREST
Topics of interest include, but are not limited to:
* 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