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网及其在医疗工作流上的应用、以及基于强化学习的面向教育教学的物理信息社会...[详细]

Special Issue in IEEE TCSS：Big Data and Computational Social Intelligence for Guaranteed Financial Security Call for Papers.pdf[详细]

CFP-软件学报“形式化方法与应用”专刊：http://www.jos.org.cn/jos/news/view/20220308093015001[详细]

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

受实验室邀请，航空五院乔磊研究员将1月17日晚7:30-8:30进行线上报告，欢迎至264室参加[详细]