On the morning of September 4, the Concurrent Theory and Formal Verification Conference (CONFESTA 2018) was held at the University of Chinese Academy of Sciences. The conference was hosted by the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. More than 260 experts and scholars (including more than 30 volunteers) from 25 countries and regions, including China, Germany, France, the United States, Britain and Italy etc., were invited to participate in the conference. Moshe Vardi, Academician of European Academy of Sciences and the member of ACM, as well as the other well-known scientists in the field of computer and software in China and abroad would give a report to the conference. The 29th International Conference on Concurrent Theory (CONCUR 2018), the 16th International Conference on Formal Modeling and Analysis of Real-time Systems (FORMATS 2018) and the 15th International Conference on Quantitative Assessment of Systems (QEST 2018) were held in Asia for the first time.

Lin Huimin, Academician of the Chinese Academy of Sciences and researcher of the Institute of Software, Chinese Academy of Sciences, addressed the opening ceremony as the chairman of the conference. Academician Lin Huimin introduced the general situation of the Chinese Academy of Sciences, the University of Chinese Academy of Sciences and the State Key Laboratory of Computer Science, warmly welcomed the participants and sincerely congratulated CONFESTA on its opening in 2018.

CONFESTA 2018 is a joint conference on concurrency theory and formal validation, comprising four international conferences, four seminars, two workshops and a summer course. These include the 29th International Conference on Concurrent Theory (CONCUR 2018), the 16th International Conference on Formal Modeling and Analysis of Real-time Systems (FORMATS 2018), the 15th International Conference on Quantitative Assessment of Systems (QEST 2018) and the 4th International Conference on Reliable Software Engineering: Theory, Tools and Applications (SETTA 2018), and the workshop EXPRESS/SO. S 2018, TIPS 2018, TRENDS 2018, YR-CONCUR 2018, summer class SSFM, etc.

The conference will last for five days. Participants will focus on the basic model of concurrent systems, mathematical logic in formal methods, verification and analysis techniques, distributed algorithms and data structures, programming, analysis and verification tools for concurrent systems, and information fusion systems. The latest research results and key issues provide suggestions for the development and application of concurrency theory and formal verification.