雁栖湖会议是由中国科学院学部学术与出版委员会研究发起,中国科学院与北京市合作举办的高端国际学术交流活动,旨在促进国内外学者在特定研究领域的交流合作。本届雁栖湖会议采用类似于德国达堡(Dagstuhl)会议和日本湘南(Shonan)会议的组织模式,与会者针对前沿科学的特定主题进行深入讨论。本届雁栖湖会议包括三个主题演讲及分会演讲、讨论。会议预期成果包括高水平科技论文与咨询建议等。

  本届雁栖湖会议的主题为软件自动化,即如何根据正式或非正式的规格说明来自动生成软件。软件自动化旨在将软件开发者从繁重的编码工作中解放出来,同时也为在运行环境及需求变更下的软件持续演化提供了一种有效手段。软件自动化的主要研究任务包括(但不限于)程序合成、代码补全、程序变换、代码推荐、程序修复、软件演化等。软件自动化是计算机科学一直以来的远大梦想。未来已来,持续涌现的软件工程大数据正使得软件自动化日益可行。在本届雁栖湖会议,中国科学院院士梅宏教授将汇聚国内外知名学者,深入研讨“软件自动化——大数据时代的挑战与机遇”。

附件:2018年雁栖湖会议成果集2017雁栖湖会议成果汇编

  • 09:00—09:30 领导致辞
  • 09:30—09:45 茶歇、合影
  • 09:45—11:50 主题演讲
  • 11:50—13:30 午餐
  • 13:30—18:20 分会演讲、讨论
  • 18:20—20:00 晚餐
  • 08:30—12:30 分组讨论
  • 12:30—14:00 午餐
  • 14:00—18:00 现场调研
  • 18:00—19:30 晚餐
  • 09:00—12:10 分组讨论
  • 12:10—14:00 午餐
  • 14:00—17:00 总结汇报
  • 17:30—19:00 晚餐