出访时间

2023年7月16日-8月23日

团组人数

1人

出访任务

参加CCF-A级国际会议CAV 2023

 出访国家（地区）停留时间

日程安排

往返航线

出访法国(公务)：2023-7-16至2023-7-23   停留8天

日程如下：

2023.7.16下午 中国北京到法国巴黎，航班AF125，12：30起飞，19：25降落

2023.7.17上午 参加CAV2023开幕式

2023.7.17下午 参加演绎验证和决策程序主题分会

2023.7.18上午 参加概率程序的形式化验证主题分会

2023.7.18下午 参加神经网络形式化验证主题分会

2023.7.19上午 参加区块链和智能合约验证主题分会

2023.7.19下午 参加软件验证和模型检测主题分会

2023.7.20上午 参加并发分布式程序验证主题分会

2023.7.20下午 参加硬件形式化验证主题分会

2023.7.21上午 参加SMT约束求解器主题分会

2023.7.21下午 参加自动驾驶安全性主题分会

2023.7.22上午 参加CAV23大会特邀报告

2023.7.22下午 参加CAV23大会闭幕式

2023.7.23上午 由酒店前往巴黎戴高乐机场

2023.7.23 下午 由法国巴黎前往英国

英国探亲（私人）：2023-7-24至2023-8-22 停留30天

返回中国：2023-8-23

往返航线：中国重庆-中国北京-法国巴黎-英国拉夫堡-法国巴黎-中国北京-中国重庆

邀请单位及简介

CAV2023组委会

CAV, 全称为International Conference on Computer   Aided Verification，是计算机理论领域顶级国际性学术会议。CAV为中国计算机学会CCF推荐A类会议，CORE   Computer Science Conference Rankings推荐A*类会议。CAV会议的主题涵盖了计算机辅助验证领域从理论结果到具体应用等各个方面，重点是实用的验证工具以及实现它们所需的算法和技术。

经费来源和预算

经费来源于刘志明教授外专项目-面向人机物融合的可信系统软件(项目代码5220500056/024)以及刘志明教授自然科学基金重点项目（项目代码4112000113）

团组成员名单

姓名

性别

单位

职务

刘志明

男

西南大学计算机与信息科学学院

校级实验室负责人