The Ninth Symposium on High Confidence Software Technnology & Academic Symposium on High Confidence Software Technology Disciplinary Talent and Intelligence Introduction Base was hosted by the Key Laboratory of High Confidence Software Technologies (MoE), Peking University. The synposium was held on 14-15 December, 2019 at Juxian Hall in Building No.1of Zhongguanyuan Global Village, PKU. Many overseas experts participated in the symposium, including

· Prof. David Harel (NAS Fellow / NAE Fellow), Weizmann Institute of Science, Israel

· Prof. Ruslan Smelyanskiy (RAS Fellow), Moscow State University, Russia

· Prof. Carlo Ghezzi (Member of Academia Europaea / ACM Fellow / IEEE Fellow), Polytechnic University of Milan, Italy

· Prof. Sumi Helal (IEEE Fellow), Lancaster University, UK

· Prof. Ouri Wolfson (IEEE Fellow / ACM Fellow / AAAS Fellow), University of Illinois at Chicago, USA

· Prof. Getov Vladimir, University of Westminster, UK

· Prof. Aduris Mockus, University of Tennessee, USA

· Prof. Shinichi Honiden, National Institute of Informatics, Japan

· Prof. Sorel Reisman, California State University, USA

· Prof. Mikio Aoyama, Nanshan University, Japan

  First, Prof. Bing Xie, Vice Dean of the School of Electronic Engineering and Computer Science, Peking University, opened the meeting, and then invited Prof. Hong Mei (the director of the Key Laboratory of High Confidence Software Technologies, MoE), Prof. Kezhao Zhang (from the High Confidence Software Technology Disciplinary Talent and Intelligence Introduction Base, abbr. “Project 111”),  and Prof. Zhi Jin(executive deputy director of the Key Laboratory of High Confidence Software Technologies) for a welcome speech. Academician Hong Mei first reviewed the series of achievements made by the base in the passed two years under the “Project 111”, and thanked overseas experts for their great contributions. Then, he further proposed three expectations for the future. Next, Prof. Kezhao Zhang introduced the other six experts in the “Project 111”, who participated in the meeting as well. Finally, Prof. Zhi Jin introduced the organization of the basic and discipline directions of the key laboratories to overseas experts (especially those who participated in the symposium for the first time).

Finally, the symposium was chaired by Prof. Tao Xie, and started with the keynote “On Odor Reproduction, and How to Test For It" by Prof. David Harel. In addition, the symposium including other 10 academic reports, 8 from overseas experts and 2 from PKU researchers.

In particular, researchers had an exuberant discussion on the topic of “Future of Software Research” and exchanged ideas.