LSFA 2015
10th Workshop on Logical and Semantic Frameworks, with Applications
Dates: Aug 31-Sep 1, 2015
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning.
The objective of this workshop is to bring together theoreticians and practitioners from the field of Computational Logic to promote new techniques and results, and to facilitate feedback on the implementation and application of such techniques and results in practice.
Topics of interest to this forum include, but are not limited to:
Logical frameworks
Proof theory
Type theory
Automated deduction
Semantic frameworks
Specification languages and meta-languages
Formal semantics of languages and systems
Computational and logical properties of semantic frameworks
Implementation of logical or semantic frameworks
Applications of logical or semantic frameworks
LSFA 2015 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The final proceedings are produced immediately after the meeting, so that authors can incorporate the feedback in the published papers.
The invited speakers this year include:
Ofer Arieli, The Academic College of Tel-Aviv
Talk: "Sequent-based Argumentation"
Valentin Goranko, Stockholm University
Talk: "A logical framework for multi-agent visual-epistemic reasoning"
Dale Miller, INRIA Saclay & LIX
Valeria de Paiva, Nuance Communications
Talk: "Modal type theory"
For more information on LSFA 2015, please follow this link. Previous LSFAs are described here.
Be sure to check the full detailed programme of NAT@Logic 2015 here!