News & Events
News
Location: Home -> News & Events -> News -> Content

The meeting for the fundamental research on high-confidence software was held in Shanghai

Date: 2015-01-11   Click:

On January 11th 2015, the annual meeting for the project “the Fundamental Research on High-confidence Software” (sponsored by the Major Research Program Fund from National Natural Science Foundation) and the final examination meeting for the key project "Research on Architecture-driven Reliable Software Construction Methodology and Technology" (chaired by Professor Hong Mei) were held in Guoman Hotel, Shanghai. 

With the support of these projects, 62 papers have been published on the international journals such as TSE and TSC, as well as international conferences such as POPL, OOPSLA, ICSE, FSE, ASE, WWW. Besides, with the support, three national patents were granted.

Copyright © Software Engineering Institute, Peking University

Room 1541, Science Building 1, No.5 Yiheyuan Road, Haidian District, Beijing, P.R.China 100871