TACAS公司 第25届系统构建与分析工具和算法国际会议(TACAS) TACAS是一个为研究人员、开发人员和用户提供的论坛,他们对用于系统构建和分析的基于严格的工具和算法感兴趣。会议旨在弥合具有这种共同利益的不同社区之间的差距,并支持他们寻求提高构建系统的工具和算法的实用性、可靠性、灵活性和效率。 鼓励撰写与工具构建和分析以及工具描述和案例研究具有明确相关性的理论论文,并提供概念信息。会议涵盖的主题包括但不限于: 规范和验证技术; 软硬件验证; 实时、混合或随机系统的分析技术; 安全、安保或可靠性分析技术; SAT和SMT解决方案; 理论证明; 模型检验; 静态和动态程序分析; 测试; 建模和验证的抽象技术; 基于合成和细化的方法; 系统构建与转换技术; 用于合成和验证的机器学习技术; 工具环境和工具体系结构; 应用程序和案例研究。 提交 请参阅2019年TACAS文件征集。通过提交论文TACAS 2019作者界面EasyChair。 2019年TACAS的审查过程是单盲, 没有反驳阶段。 软件验证竞争 TACAS 2019主办第八届软件验证竞赛目标是评估技术转让,并比较最先进的软件验证程序的有效性和效率。 受邀演讲者 科马克·弗拉纳根(美国加州大学圣克鲁斯分校) 项目主席 托马斯·沃伊纳尔(捷克共和国布尔诺科技大学)张丽君(中国科学院软件研究所) 工具椅 马里乌斯·米库库尼奥斯(丹麦奥尔堡大学) 工件评估椅 恩斯特·莫里茨·哈恩(英国贝尔法斯特女王大学)昂德雷·伦格尔(捷克共和国布尔诺科技大学) 案例研究椅 拉杜·格罗苏(奥地利维也纳理工大学) 竞赛椅 德克·拜尔(德国慕尼黑大学路德维希·马克西米利安分校) 项目委员会 帕罗什·阿齐兹·阿卜杜拉(瑞典乌普萨拉大学)阿明·比尔(奥地利林茨约翰内斯·开普勒大学)艾哈迈德·布阿贾尼(IRIF,法国)帕特里夏·鲍耶(LSV,法国)陈玉芳(台湾国立台湾大学) 玛丽亚·克里斯塔基斯(MPI-SWS,德国)亚历山德罗·西马蒂(意大利FBK-irst)兰斯·克莱维兰(美国马里兰大学)莱昂纳多·德·莫拉(微软研究院,美国)Parasara Sridhar Duggirala公司(美国康涅狄格大学) 皮埃尔·甘蒂(西班牙IMDEA软件研究所)奥尔娜·格伦伯格(以色列Technion)克劳斯·哈维隆德(美国喷气推进实验室)霍尔格·赫尔曼斯(德国萨尔兰大学)福克·豪尔(德国多特蒙德技术大学) 玛丽克·赫斯曼(荷兰特温特大学)半径Iosif(Verimag,法国)佐克森·贾法尔(新加坡国立大学)斯特凡·基弗(英国牛津大学)扬·克雷廷斯基(德国慕尼黑理工大学) 萨尔瓦托雷·拉托雷(意大利萨勒诺大学)金·古德斯特兰·拉森(丹麦奥尔堡大学)安娜贝拉·麦克维尔(Anabelle McIver)(澳大利亚麦考瑞大学)罗兰·梅耶(德国布伦瑞克理工大学)塞巴斯蒂安·莫德谢姆(丹麦技术大学) 大卫·帕克(英国伯明翰大学)科琳娜·帕萨雷努(卡内基梅隆大学和美国国家航空航天局艾姆斯研究中心,美国)桑吉特·塞希亚(美国加州大学伯克利分校)伯恩哈德·斯特芬(德国多特蒙德技术大学)扬·斯特雷切克(捷克共和国马萨里克大学) 苏振东(美国加州大学戴维斯分校)孟孙(中国北京大学)迈克尔·陶奇尼格(英国伦敦大学玛丽女王学院和亚马逊网络服务学院)托马斯·维斯(美国纽约大学)弗洛里安·祖勒格(奥地利维也纳理工大学)