2016年11月12日

上午 7:30 - 8:15

注册（中科院软件园区五号楼4层裙楼电梯口）

上午 8:15 - 8:30

开幕式（中科院软件园区五号楼4层大报告厅）

上午 8:30 - 9:30

特邀报告（中科院软件园区五号楼4层大报告厅）

主持

Deepak Kapur (University of New Mexico)
Invariants from Traces

上午 9:30 - 10:00

茶歇/墙贴报告

上午 10:00 - 12:00

分组：自动机与逻辑
（中科院软件园区五号楼4层大报告厅）

YR-SETTA: Special session
（中科院软件园区五号楼4层第4会议室）

下午 12:00 - 1:00

午餐

下午 1:00 - 3:30

软件学报专刊：规约与分析
（中科院软件园区五号楼4层大报告厅）

YR-SETTA: System Analysis and Runtime Verification
（中科院软件园区五号楼4层第4会议室）

下午 3:30 - 4:00

茶歇/墙贴报告

下午 4:00 - 6:30

软件学报专刊：验证与测试
（中科院软件园区五号楼4层大报告厅）

YR-SETTA: Model Checking and Theorem Proving
（中科院软件园区五号楼4层第4会议室）

下午 6:50 - 8:10

会议宴会

下午 8:30 – 10:00

CCF形式化方法专业组会议

2016年11月13日

上午 8:30 - 9:30

特邀报告（中科院软件园区五号楼4层大报告厅）

主持

Joost-Pieter Katoen (RWTH Aachen University, Germany)
Run-Time Analysis of Probabilistic Programs

上午9:30 - 10:00

茶歇

上午 10:00 - 12:00

分组：分析与验证
（中科院软件园区五号楼4层大报告厅）

软件学报专刊：面向领域的形式化方法
（中科院软件园区五号楼4层第4会议室）

下午 12:00 - 1:30

午餐

下午 1:30 - 3:00

Panel：形式化方法教育 （中科院软件园区五号楼4层大报告厅）

主持

朱惠彪、张广泉、裘宗燕等

下午：3:00 - 3:30

茶歇

下午：3:30 – 4:50

青年学者报告 （中科院软件园区五号楼4层大报告厅）

主持

田聪（西安电子科技大学）：Model Checking via Dynamic Program Execution

贺飞（清华大学）：Learning-based Assume-Guarantee Verification

下午：4:50 – 5:00

闭幕式 （中科院软件园区五号楼4层大报告厅）

下午：6:00 – 7:00

晚餐