FMAC 2016会议程序:总揽

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

晚餐

FMAC 2016会议程序:详细

点击下载:FMAC 2016 会议册