Logic and Automated Reasoning with Applications (LARA)

Introduction

    Automated reasoning provides the fundamental mechanism of many fields such as computer sciences, information sciences, cybernetics, and artificial intelligence, etc., which helps produce computer programs to reason automatically with applications into theorem proving and system credibility verification etc. Logic serves as the foundations of reasoning mechanism, and it builds a bridge between theory and application. This special session aims at providing an opportunity for researchers working this research area to discuss in fundamental, approaches, methodologies, software systems, and applications, to share their novel ideas, original research results and practical experiences of logical, algebraic, and reasoning methods and techniques in its broadest sense.

Scope and Topics

The topics of interest include, but are not limited to:
  • Multi-valued logic
  • Fuzzy logic
  • Possibility logic
  • Spatial and temporal logics
  • Non-monotonic logic
  • Logic algebra
  • Logic programming
  • Logical-based approaches
  • Automated reasoning
  • Approximate reasoning
  • Non-monotonic reasoning
  • Logical specification and verification of systems
  • Algebraic methods for syntax and semantics
  • Applications of algebras, categories, domains, topological spaces and co-algebras to programming
  • Applications of proof theory and model theory to programming

Special Session Organisers

  • Dr. Shuwei Chen, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China, E-mail: swchen@home.swjtu.edu.cn
  • Dr. Xingxing He, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China, E-mail: x.he@home.swjtu.edu.cn
  • Dr. Xiaomei Zhong, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China, E-mail: zhongxm2013@home.swjtu.edu.cn

Submission

Papers reporting original research results and experience are solicited. Each paper should have no more than 8 pages, including references and Illustrations, written in IEEE conference proceedings format (See the templates available at: Paper Templates). Papers must be written in English and submitted electronically as a PDF/Word file at EasyChair: https://easychair.org/conferences/?conf=iske2017, and please select the special session on LARA. Submission of a paper should be regarded as an undertaking that, if the paper is accepted, at least one of the authors must attend the conference to present the paper.

Important Dates


1 Paper Submission Deadline: Aug 1, 2017
2 Notification Acceptance: Sep 1, 2017
3 Camera-ready Paper and Registration: Sep 25, 2017