25
Apr
2023年4月22日，航天五院502所顾斌研究员、李晓锋研究员等一行4人，来实验室研讨‘面向C语言的嵌入式多核系统WCET分析与死锁检测’项目的研讨[详细]
24
Apr
受刘关俊教授邀请，新加坡国立大学Jinsong Dong教授来实验室讲座交流，欢迎参加！题目/Title：Trusted Decision-Making in Sports Analytics报告人简介/Bio：Dr. Jin-So...[详细]
12
Apr
2023年4月10日晚6：00-10：00，实验室与交通学院王玲教授团队开展了强化学习及其在智能交通上的应用等相关研究上的研讨[详细]
27
Mar
2023年3月24日至25日，CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院[详细]
20
Mar
2023年3月18日-19日，国家自然科学基金重点项目：人机物融合系统的计算模型与软件定义方法研究，在国防科技大学进行了研讨，由第3课题负责人董威教授及其团队组织，项目...[详细]
14
Mar
3月10日下午1：30-3：10，周孟初教授在117大厅做了如何从事高质量研究以及如何撰写高质量学术论文的报告，为博士研究生与硕士研究生的研究生涯提供了有意的见解[详细]
14
Mar
https://www.mdpi.com/journal/drones/special_issues/2E4OH1TQL3A special issue of Drones (ISSN 2504-446X).Deadline for manuscript submissions: 16 September 202...[详细]
8
Mar
IEEE Fellow周孟初教授将于3月5日下午1：30至3：00在电信学院117室进行讲座，欢迎大家参加。How to Perform Quality Research and Write Quality Papers MengChu Zhou...[详细]
6
Mar
2023年3月5日上午9：30至11：40分，受实验室邀请，王加存与唐瑛两位教授做了关于时延Petri网及其在医疗工作流上的应用、以及基于强化学习的面向教育教学的物理信息社会...[详细]
1
Mar
2023年3月5日，实验室邀请到美国Monmouth大学王加存教授与Rowan大学唐瑛教授作报告，欢迎参加。会议时间：2023/03/05 09:30-12:30 (GMT+08:00) 中国标准时间 - 北京点击...[详细]
