From Dec. 14 to Dec. 15, 2019, the 9th International Symposium on High Confidence Software & 111 Project Annual Meeting & Annual Meeting of Key Lab. of High Confidence Software Technologi...
The 2019 annual meeting of the China-Russia joint project, Research and Development of Meta Cloud Computing Environment, was held on Dec 13, 2019 in Peking University, Beijing. Researcher...
The Ninth Symposium on High Confidence Software Technnology & Academic Symposium on High Confidence Software Technology Disciplinary Talent and Intelligence Introduction Base was hosted...
Prof. Zhi Jin was invited to to deliver keynote titled:“Environment Modeling based Requirements Engineering for Cyber-Physical Systems” in the 22nd IEEE International Multi Topic Confer...
On November 26, the American Association for the Advancement of Science (AAAS) released the list of its 2019 fellows, including a total of 443 members from each of AAAS’s 24 sections. PK...
On November 8, the 2019 Microsoft Research Asia Fellowship Ceremony was grandly held. Zhenpeng Chen, a PhD studen was elected, becoming the only winner from Peking University in this year...