1、软件安全与信息流动相关探讨

软件安全与信息流动相关探讨

1. ETAPS 2014 会议概述

ETAPS 2014 是第 17 届欧洲软件理论与实践联合会议。该年度会议由六个子会议（CC、ESOP、FASE、FoSSaCS、TACAS 和 POST）组成，邀请了八位演讲嘉宾和两位教程讲师。会议前后还举办了众多卫星研讨会，吸引了全球众多研究人员。

ETAPS 是多个会议的联盟，每个会议都有自己的程序委员会（PC）和指导委员会（如有）。这些会议涵盖了软件系统的各个方面，从理论基础到编程语言开发、编译器改进、分析工具、软件工程的形式化方法以及安全性等。

1.1 会议投稿与接受情况

六个主要会议共收到 606 份投稿，其中 155 份被接受（包括 12 份工具演示论文），总体接受率为 25.6%。

1.2 邀请演讲嘉宾

ETAPS 2014 邀请了多位知名演讲嘉宾，具体如下：
|会议|演讲嘉宾|
| ---- | ---- |
|统一演讲|Geoffrey Smith（美国佛罗里达国际大学）、John Launchbury（美国 Galois）|
|CC|Benoˆıt Dupont de Dinechin（法国 Kalray）|
|ESOP|Maurice Herlihy（美国布朗大学）|
|FASE|Christel Baier（德国德累斯顿工业大学）|
|FoSSaCS|Petr Janˇcar（捷克奥斯特拉瓦技术大学）|
|POST|David Mazi`eres（美国斯坦福大学）|
|TACAS|Orna Kupferman（以色列耶路撒冷希伯来大学）