The First International Conference on Quantitative Logic and Quantification of Software organized by ECNU School of Software was held from June 6th to 8th, presided over by Academician He Jifeng, president of School of Software. This conference was intended to provide a platform of exchange for researchers in logic, software theory and engineering, and mathematics with applications in computer science, to discuss logic, software theory and engineering, and mathematics with applications in computer science, and other related topics, inquiring into deep relations between quantitative logic and quantification of software. The conference had invited some well-known experts and scholars at home and abroad to be keynote speakers, including Siegfried Gottwald from Leipzig University, Germany, Masao Mukaidono from Meiji University, Japan, Irina Perfilieva from University of Ostrava, Czech Republic, and Guo-Jun Wang from Shaanxi Normal University, China, etc. More than 40 experts and scholars from China, Australia, Germany, Japan and Czech attend the conference.
Prof. Chen Yixiang, vice president of School of Software, was in charge of the preparation of the conference and was a co-chairman of the Program Committee, together with Prof. Vilém Novák from Czech. The conference received more than 30 papers, 26 were accepted after cautious examine and verify by the members of Program Committee. The “Proceedings of The First International Conference on Quantitative Logic and Quantification of Software (QL&QS 2009)” has already been published by Global-Link Publisher.
Note: All papers of the conference can be downloaded free of charge, for interested teachers and students, from the website of the conference (http://sites.sei.ecnu.edu.cn/Conferences/~ql&qs09).
