- [2018-12-10][学术科研] 计信院前沿学术报告（2018.12-16）
- [2018-12-04][学术科研] 计信院前沿学术报告（2018.12-12）
- [2018-11-20][学术科研] 计信院前沿学术报告（2018.11-28）
- [2018-11-20][学术科研] 计信院前沿学术报告（2018.11-23）
- [2018-11-19][学术科研] 计信院前沿学术报告（2018.11-20）
- [2018-11-15][学术科研] 计信院前沿学术报告（2018.11-22）
- [2018-11-12][学术科研] 计信院前沿学术报告（2018.11-14）
- [2018-11-02][学术科研] 第三届全国形式化方法与应用会议暨形式化专委年会（FMAC 2018）即将开幕
- [2018-11-01][学术科研] 计信院前沿学术报告（2018.11-06）
- [2018-10-25][学术科研] 计信院前沿学术报告（2018.10-31）
- [2018-10-17][学术科研] 计信院前沿学术报告（2018.10-19）
- [2018-10-10][学术科研] 计信院前沿学术报告（2018.10-17）
- [2018-09-26][学术科研] 计信院前沿学术报告（2018.09-29）
- [2018-09-12][学术科研] 计信院前沿学术报告（2018.09-18）
- [2018-09-03][学术科研] 计信院前沿学术报告（2018.09-04）
- [2018-07-05][学术科研] 计信院前沿学术报告(2018.07-05)
- [2018-06-28][学术科研] 计信院前沿学术报告(2018.07-02)
- [2018-06-20][学术科研] 第7届华人学者知识表示与推理学术研讨会
- [2018-06-19][学术科研] 计信院前沿学术报告(2018-06-20)
- [2018-05-15][学术科研] 计信院前沿学术报告(2018-05-16)
- [2018-05-07][学术科研] 计信院前沿学术报告(2018-05-10)
- [2018-05-02][学术科研] 西南大学第三届青年学者含弘科技论坛 计算机与信息科学学院分论坛 学术报告
- [2018-04-16][学术科研] 计信院前沿学术报告（2018-04-23）
- [2018-04-09][学术科研] 计信院前沿学术报告（2018-04-16）
- [2018-04-04][学术科研] 第四届可信软件系统工程（国际）春季学校Spring School on Engineering Trustworthy Software Systems