1、软件领域会议与城市模拟的技术探讨

软件领域会议与城市模拟的技术探讨

1. ETAPS 2016 会议概述

ETAPS 2016 在被誉为“世界最聪明地区”、荷兰的“硅谷”埃因霍温举行。这是自 1999 年第二届在阿姆斯特丹举办后，ETAPS 再次回到荷兰。它是欧洲软件理论与实践联合会议的第 19 届，该会议于 1998 年设立，今年由五个分会议（ESOP、FASE、FoSSaCS、TACAS 和 POST）组成，每个分会议都有自己的程序委员会和指导委员会。

会议涵盖内容

这些会议涵盖了软件系统的各个方面，从理论计算机科学到编程基础、编程语言开发、分析工具、软件工程的形式化方法以及安全等。会议的组织协调一致、高度同步，让参会者能够参与一场精彩的活动，有机会结识该领域不同方向的研究人员，并轻松参加各个会议的演讲。在主会议前后，还举办了众多卫星研讨会，吸引了全球众多研究人员。

投稿与接受情况

ETAPS 会议总共收到 474 份投稿，其中 143 份被接受，总体接受率为 30.2%。

特邀嘉宾

ETAPS 2016 邀请了众多知名嘉宾，包括统一邀请的演讲者安德鲁·戈登（英国微软研究院剑桥分院和爱丁堡大学）、鲁帕克·马朱姆达尔（德国凯泽斯劳滕马克斯·普朗克研究所），以及各分会议的特邀演讲者，如 ESOP 的克里斯蒂娜·洛佩斯（美国加州大学欧文分校）、FASE 的奥斯卡·尼尔斯特拉斯（瑞士伯尔尼大学）和 POST 的维塔利·什马蒂科夫（美国德克萨斯大学奥斯汀分校）。此外，莱诺尔·祖克（芝加哥）组织了特邀教程，由格里戈尔·罗苏（美国伊利诺伊大学厄巴纳 - 香槟分校）进行软件验证方面的教程，彼得·瑞安（卢森堡大学）进行安全方面的教程。