System specification and verification: formal methods

Since 2004, ICDCIT conference series is a global platform for Computer Science researchers to exchange research results and ideas on the foundations and applications of Distributed Computing and Internet Technology. These technologies are increasingly relevant to individuals and organizations who engage in the production, processing and dissemination of knowledge. The 15th International Conference on Distributed Computing and Internet Technology (ICDCIT-2019) will take place in KIIT, Bhubaneswar during 10-13th January 2019. Like the previous years, the proceedings of the conference is planned to be published by Springer in the series of Lecture Notes in Computer Science.