Yanqi-Lake Meeting on Software Automation 2018

Yanqi-Lake Meeting is a high-end international academic forum sponsored by the Chinese Academy of Sciences, which aims to promote some specific research domain through various activities among Chinese researchers and oversea researchers. In order to focus on specific topics of frontier sciences with in-depth discussion, the Yanqi-Lake Meeting is organized in a way like Dagstuhl Meeting or Shonan Meeting. In particular, the meeting includes 3 keynotes and a number of talk presentations as well as discussion. Its highly expected outputs will include scientific articles and advisory reports.

The major theme of Yanqi-Lake Meeting in this Fall is software automation, which refers to the process of generating software automatically based on formal or informal specifications. Software automation (e.g., program synthesis, code completion, program transformation, code recommendation, program repair, software self-evolution) used to be a dream in computer science, which can free developers from tedious programming. Furthermore, as software usually evolves due to the changes from requirements or environments that the software is running on, software automation may also free developers from this task as well. Nowadays, a huge volume of software engineering data make software automation feasible. In this meeting, Professor Mei Hong, a member of the Chinese Academy of Sciences, will organize Yanqi-Lake Meeting whose theme is software automation -- challenges and opportunities in the big data era.

Note: There is no registration fee with this meeting. For oversea participants, we will cover your round-trip flight ticket (economic class), hotel accommodation, and other associated travel costs.

News

Sponsors