• 因公出国出境公示

南京航空航天大学关于魏欧1人赴法国参加国际会议的公示

南京航空航天大学因公临时出国(境)团组公示

团组长姓名

及团组人数

魏欧1

经费

预算

合计25000,其中国际旅费约10000元,住宿费5000元,伙食费2000元,公杂费2000元,其他6000

出国任务

(二选一)

学术会议

经费

来源

课题项目经费1015- GAA12065 1015-JBB1400401

(境)

应第28届软件可靠性工程国际会议(ISSRE)主席法国科学院系统分析与技术实验室(LAAS-CNRS)??Hélène Waeselynck教授邀请,我校魏欧副教授拟应邀于201710月赴法国图卢兹参加28届软件可靠性工程国际会议(ISSRE 2017)”。经审查,本次会议和论文均不涉及保密内容。

此次学术会议主要进行软件系统安全可靠性研究领域的讨论,就安全关键系统的的理论及应用研究热点展开探讨,听取软件分析评估新技术方法等会议报告,宣读题为基于可满足性求解的最小割集计算的研究论文。

通过本次学术会议,将有利于把握当前软件系统安全可靠性领域的国际发展前沿和应用需要,与时俱进发展我校的相关学科,希望籍此能一定程度地提高我校在该领域的影响力。

前往国家

法国

出国()起止

日期(含路程)

2017-10-222017-10-28

7

出国(境)路线(停经城市)

上海-巴黎(转机)-图卢兹-巴黎(转机)-上海

邀请单位

法国科学院系统分析与技术实验室


出访人员名单

姓名

性别

出生日期

出生地

工作单位

职务或职称

本年度第几次出访

魏欧

1974-09-25

河南

计算机科学与技术学院

第一次


出国日期:20171022---20171028

出国人员:魏欧1

出国日期20171022---20171028

出国人员:魏欧

2017-10-22(周日):

从上海乘飞机经巴黎转机至图卢兹(转机时不出机场),抵达会议建议酒店,注册报到。

2017-10-23(周一):

参加会议开幕式,听取会议主题报告。

2017-10-24(周二):

听取分会场报告。

2017-10-25(周三):

听取分会场报告,魏欧副教授做题为基于可满足性求解的最小割集计算的研究论文报告,幻灯片形式,口头表述。

2017-10-26(周四)

听取分会场报告,参加会议闭幕式。

2017-10-2710-28(周五~周六):

从图卢兹乘机经巴黎转机返回上海(转机时不出机场)。