Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

The international conference on Logic and Cognition is held once every year since 2001. It is sponsored and organized by Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications in computer science and cognitive science.

Non-classical logic is a wide research area that can bring ideas from different application areas together. It plays a significant role in the cross-discipline research in logic, theoretical computer science, game theory, social choice theory, linguistics and cognitive sciences. The aim of this conference is to work on various non-classical logical theories with the perspectives on their applications. We warmly invite all contributions in the area of non-classical logics and their applications in sciences.

Publication

All accepted papers will be included in a post-proceeding (to be confirmed). The collection of all submitted full papers and abstracts will be available at the conference. Furthermore, the organizers will select papers to be published in a special issue of a scientific journal (to be confirmed).

Call for paper

Important date

2016-09-20
Draft paper submission deadline
2016-11-03
Draft paper acceptance notification

Submission Topics

The scope of this conference includes, but is not limited to:

  • Proof theory and Computational complexity

  • Algebraic semantics and abstract algebraic logic

  • Fuzzy, many-valued and open-class logics

  • logic and social choice theory

  • Substructural logics

  • Modal logicsand Correspondence theory

  • Philosophical logics

  • Coalgebra

  • Categorical methods in logic

  • Logical approach to natural language and reasoning (syntax and semantics)

  • Finite Model Theory and Complexity of Logical Theories

  • Type theory and Logic programming semantics

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Dec 05

    2016

    to

    Dec 09

    2016

  • Sep 20 2016

    Draft paper submission deadline

  • Nov 03 2016

    Draft Paper Acceptance Notification

  • Dec 09 2016

    Registration deadline

Sponsored By
School of Journalism and communication, Shaanxi Normal University
Organized By
Institute of Logic and Cognition, Sun Yat-sen University.