2023年7月5日西北工业大学董云卫教授与与宁夏大学葛永琪副教授来实验室交流，就基于二进制代码的程序优化问题开展研讨[详细]

2023年6月22日-24日，美国Monmouth大学计算机科学系王加存教授来实验室交流，就基于随机Petri网的教学楼逃生疏散控制模型以及基于强化学习的教学楼逃生疏散控制模型等研...[详细]

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...[详细]

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

征文通知：CCF ChinaSoft 2022 “形式化方法与应用“Track征稿通知: http://chinasoft2022.ccf.org.cn/papers/4.html[详细]

方向1：软件定义的无人机协同系统设计与开发；方向2：C++/Java并发程序的自动建模；或代码的自动生成；方向3：分布式实时操作系统设计与开发（已招）。要求：良好的系统...[详细]

CFP of 2022 International Conference on Cyber-physical Social Intelligence (ICCSI 2022), https://iccsi2022.agist.org[详细]