会议联合主席
哈娜·查克勒英国伦敦国王学院
格奥尔格·魏森巴赫，维也纳大学，奥地利
指导研讨会主席
陆锋弗吉尼亚大学
芭芭拉·朱布斯曼EPFL和Cadence设计系统
CAV奖励委员会
Kim Larsen（主席），奥尔堡大学
Natarajan Shankar，SRI国际
皮埃尔·沃尔珀（Pierre Wolper），里昂大学
威斯康星大学Somesh Jha
项目委员会
威斯康星大学麦迪逊分校奥斯·阿尔巴古蒂
Christel Baier，德累斯顿技术大学
斯坦福大学克拉克·巴雷特
伊齐奥·巴托西，TU Wien
德克·拜尔，慕尼黑LMU
Per Bjesse，Synopsys公司。
Jasmin Christian Blanchette，阿姆斯特丹Vrije大学
罗德里克·布隆姆（Roderick Bloem），格拉茨科技大学
艾哈迈德·布阿贾尼（Ahmed Bouajjani），巴黎迪德罗大学IRIF
科罗拉多大学博尔德分校Pavol Cerny
密苏里大学罗希特·查达
斯瓦拉特·乔杜里，莱斯大学
新加坡国立大学Wei-Ngan Chin
亚历山德罗·西马蒂（Alessandro Cimatti），FBK-irst
威斯康星大学Loris D'Antoni
Vijay D’Silva，谷歌公司。
剑桥大学克里斯蒂娜·戴维
Jyotirmoy Deshmukh，南加州大学
犹他州奥斯汀Isil Dillig
印度Cezara Dragoi
科尔斯汀·埃德尔（Kerstin Eder），布里斯托尔大学
诺基亚贝尔实验室Michael Emmi
乔治奥斯·费内科斯（Georgios Fainekos），亚利桑那州立大学
Dana Fisman，宾夕法尼亚大学
维杰·加内什（Vijay Ganesh），滑铁卢大学
高思春（Sicun Gao），UCSD CSE
FBK-IRST阿尔贝托·格里乔
Orna Grumberg，Technion–以色列理工学院
Arie Gurfinkel，滑铁卢大学
哥伦比亚密苏里大学CS系William Harrison
Gerard Holzmann，敏捷研究
Alan J.Hu，不列颠哥伦比亚大学
Franjo Ivancic，谷歌
Alexander Ivrii，IBM公司
Himanshu Jain，简介
Susmit Jha，SRI国际
威斯康星大学Somesh Jha
Ranjit Jhala，加州大学圣地亚哥分校
Barbara Jobstmann，EPFL和Cadence设计系统
斯特凡·基弗，牛津大学
Zachary Kincaid，普林斯顿大学
劳拉·科瓦克斯，TU Wien
Viktor Kuncak，EPFL公司
Orna Kupferman，希伯来大学
Shuvendu Lahiri，微软研究院
Rupak Majumdar，MPI-SWS公司
微软研究部Ken McMillan
Alexander Nadel，英特尔
Mayur Naik，英特尔实验室
Kedar Namjoshi，贝尔实验室
Dejan Nickovic，奥地利技术学院AIT
科琳娜·帕萨拉努，CMU/NASA艾姆斯研究中心
尼尔·皮特曼，莱斯特大学
堪萨斯州立大学Pavithra Prabhakar
Mitra Purandare，IBM苏黎世研究实验室
微软公司Shaz Qadeer
宾夕法尼亚大学Arjun Radhakrishna
Noam Rinetzky，特拉维夫大学
菲利普·鲁默尔（Philipp Ruemmer），乌普萨拉大学
普渡大学Roopsha Samanta
斯里拉姆·桑卡拉纳拉亚南，科罗拉多大学博尔德分校
林茨约翰内斯·开普勒大学马蒂娜·塞德尔
Koushik Sen，加州大学伯克利分校
加州大学伯克利分校Sanjit A.Seshia
Natasha Sharygina，USI卢加诺
Sharon Shoham，特拉维夫大学
Anna Slobodova，半人马座技术
麻省理工学院阿曼多·索拉尔·勒扎马
Technion的Ofer Strichman
科克大学Serdar Tasiran。
苏黎世联邦理工学院Caterina Urban
Yakir Vizel，普林斯顿大学
托马斯·沃伊纳尔（Tomas Vojnar），布尔诺理工大学
托马斯·瓦尔，东北大学
中国科学院王保佑
Thomas Wies，纽约大学
Karen Yorav，IBM海法研究实验室
Lenore Zuck，芝加哥伊利诺伊大学
达米安·祖弗里（Damien Zufferey），MPI-SWS
Florian Zuleger，TU Wien公司
指导委员会
以色列Technion的Orna Grumberg
阿尔蒂·古普塔，美国普林斯顿大学
Daniel Kroening，英国牛津大学
Kenneth McMillan，微软研究院，美国
人工制品评估委员会
南巴黎大学Thibaut Balabonski
Sergiy Bogomolov，澳大利亚国立大学
Simon Cruanes，美学整合有限公司。
慕尼黑LMU Matthias Dangl
伊娃·达鲁洛娃（Eva Darulova），MPI-SWS
科尔多瓦国立大学拉米罗·德马西
格里戈里·费德尤科维奇（Grigory Fedyukovich），普林斯顿大学
Johannes Hölzl，VU阿姆斯特丹
弗莱堡大学Jochen Hoenicke
Antti Hyvärinen，USI卢加诺
Swen Jacobs，萨尔州大学
海得拉巴IIT Saurabh Joshi
SRI Dejan Jovanovic
Igor Konnov（主席），TU Wien
阿伊拉特·哈利莫夫，TU Graz
慕尼黑工业大学Jan Křetínsk \345]
莱顿大学Alfons Laarman
Ravichandhran Kandhadai Madhavan，EPFL公司
安德烈亚·米凯利（Andrea Micheli），FBK Trento
科罗拉多大学博尔德分校Sergio Mover
艾娜·尼梅茨，斯坦福大学
Burcu Kulahcioglu Ozkan，MPI-SWS公司
Markus Rabe，加州大学伯克利分校
Andrew Reynolds，爱荷华大学
马丁·苏达，TU Wien
Mitra Tabaei Befrouei，TU Wien公司
网站管理员
Thanh-Hai Tran，TU Wien公司