Li, Xuandong (ed.); Liu, Zhiming (ed.) Editorial. (English) Zbl 1372.00115 Formal Asp. Comput. 29, No. 4, 581-582 (2017). From the text: SETTA 2015 is the first edition of the annual Symposium on Dependable Software Engineering: Theories, Tools and Applications for researchers and practitioners interested in how to make formal methods fit for the new architectures of today and the systems that are now pervading the socio-economic world. The first conference was held in Nanjing, China, between November the 4th and the 6th, 2015. MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Nxx Theory of software PDF BibTeX XML Cite \textit{X. Li} (ed.) and \textit{Z. Liu} (ed.), Formal Asp. Comput. 29, No. 4, 581--582 (2017; Zbl 1372.00115) Full Text: DOI