1、ETAPS 2017与POST 2017会议综述

ETAPS 2017与POST 2017会议综述

1. ETAPS 2017会议概况

ETAPS 2017在瑞典乌普萨拉举行，这是该会议首次在斯堪的纳维亚地区举办。它是欧洲软件理论与实践联合会议的第20届会议，该会议于1998年设立，每年举办一次，由ESOP、FASE、FoSSaCS、TACAS和POST五个会议组成。每个会议都有自己的程序委员会（PC）和指导委员会。

这些会议涵盖了软件系统的各个方面，从理论计算机科学到基础研究，再到编程语言开发、分析工具、软件工程的形式化方法以及安全等。将这些会议组织成一个连贯且高度同步的会议项目，为参会者提供了一个激动人心的交流机会，大家可以结识该领域不同研究方向的众多研究者，并轻松参加不同会议的报告。在主会议前后，还举办了众多卫星研讨会，吸引了来自全球的许多研究人员。

ETAPS 2017共收到531份投稿，其中159份被接受，总体接受率为30%。会议邀请了多位统一的特邀演讲嘉宾，如丹麦奥尔堡大学的Kim G. Larsen和美国华盛顿大学的Michael Ernst，以及特定会议的特邀演讲嘉宾。此外，还安排了公开讲座和特邀教程。

会议由乌普萨拉大学信息技术系组织，得到了ETAPS e.V.、EATCS、EAPLS和EASST等协会和社团的支持，同时也获得了Facebook、Microsoft、Amazon和乌普萨拉市的资金支持。当地组织团队由Parosh Aziz Abdulla等多人组成。ETAPS的总体规划主要由指导委员会负责，特别是其执行委员会。

支持组织	说明