会议信息

  • 6

    Mar

    王加存教授与唐瑛教授报告会

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

  • 2

    Mar

    征稿通知:CCF ChinaSoft 2022 “形式化方法与应用“Track

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

  • 23

    Feb

    2022年拟招收1-2名硕士研究生

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

  • 9

    Feb

    CFP of ICCSI'2022

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

  • 9

    Feb

    CFP of ICoIAS'2022

    CFP of 2022 the 5th International Conference on Intelligent Autonomous Systems (ICoIAS' 2022), http://www.icias.org/index.html[详细]

共35条  4/4 
下页尾页  

版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn