2023年4月22日，航天五院502所顾斌研究员、李晓锋研究员等一行4人，来实验室研讨‘面向C语言的嵌入式多核系统WCET分析与死锁检测’项目的研讨[详细]

2023年4月10日晚6：00-10：00，实验室与交通学院王玲教授团队开展了强化学习及其在智能交通上的应用等相关研究上的研讨[详细]

2023年3月24日至25日，CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院[详细]

2023年3月18日-19日，国家自然科学基金重点项目：人机物融合系统的计算模型与软件定义方法研究，在国防科技大学进行了研讨，由第3课题负责人董威教授及其团队组织，项目...[详细]

3月10日下午1：30-3：10，周孟初教授在117大厅做了如何从事高质量研究以及如何撰写高质量学术论文的报告，为博士研究生与硕士研究生的研究生涯提供了有意的见解[详细]

https://www.mdpi.com/journal/drones/special_issues/2E4OH1TQL3A special issue of Drones (ISSN 2504-446X).Deadline for manuscript submissions: 16 September 202...[详细]

实验室负责人刘关俊教授2月27日至28日带领课题组张凯文与孙彦韬两位博士生访问航天五院502所，就双方在多核嵌入式软件的验证与性能评估、任务调度等方面进行了详细的研...[详细]

2023年3月5日上午9：30至11：40分，受实验室邀请，王加存与唐瑛两位教授做了关于时延Petri网及其在医疗工作流上的应用、以及基于强化学习的面向教育教学的物理信息社会...[详细]

2023年2月21日下午2:00-5:30，上海市科委高新处组织召开‘2022年度人工智能专项’的3个项目的启动会，刘关俊教授汇报了实验室所获批的一项“鲁棒抗噪的多智能体强化学...[详细]

受《IEEE Transactions on Computational Social Systems》主编（Editor-in-Chief）HU Bin教授的邀请，刘关俊教授成为该学报的编委（Associate Editor），任期为2023.1-...[详细]