About these proceedings
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.
approximation algorithms artificial intelligence cryptography data security distributed computer systems formal logic formal methods graph theory image processing image segmentation learning algorithms model checking mutual authentication security systems semantics software engineering specifications telecommunication networks algorithm analysis and problem complexity