Non-Classical Logic and Computation Special Session on Formal Methods for Complex System


    Computer system is the soul of information infrastructure, which has penetrated into many areas, such as the national economy, national defense construction, and almost all aspects of individual life. Computer systems are becoming larger and more complex. How to formally verify them is a changeable problem. For dealing with this, there are many temporal logic are proposed for formal specification, such as CTL (computation tree logic), TCTL (timed computation tree logic), PCTL (probabilistic CTL), PTCTL (probabilistic timed CTL), and there are also some system models for formal modeling, such as FSA (finite states automata), PTA (probabilistic timed automata), IMC (interactive Markov chain), CTMDP (continuous timed Markov decision process). The corresponding verification algorithms are developed for the above temporal logics and system models. However, it is still an open problem to verify complex system formally with temporal logic.

   This special session provides an opportunity for researchers and practitioners in the community of formal verification to share the latest achievements, to exchange new ideas, and to foster possible collaborations. You are kindly invited to submit original, both research and tool papers, previously unpublished works for this Special Session subject to the overall requirements of ISKE2017.

Scope and Topics

Topics of interest for this special session include but are not limited to:
  • Formal methods for software engineering and knowledge engineering
  • Intelligent approach in verification
  • Verification for complex system
  • Temporal logic, automata and model checking

Special Session Organisers

  • Zining Cao, Nanjing University of Aeronautics & Astronautics, E-mail:


Please follow the ISKE2017 instruction for authors and submit your paper via the ISKE 2017 online submission system: Please specify that your paper is for the Non-Classical Logic and Computation Special Session on Formal Methods for Complex System.

Important Dates

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