印度清奈数理科学研究所R.Ramanujam教授到软件所交流

《软件学报》获得中国科学院科学出版基金择优支持

软件所举办“研究生培养与高质量论文撰写”经验交流会

软件所举办首届“大数据时代下的综合集成与知识发现”研讨会

美国伊利诺伊芝加哥分校刘兵教授访问软件所

美国科罗拉多矿业大学韩琪副教授到软件所交流

意大利罗马Sapienza大学Paolo Bottoni副教授到软件所交流

图灵奖获得者Edmund M.Clarke教授访问软件所

[5-20]Automata for counting data, and some logic

[5-17]Develop Fine-Grained Access Control Systems for Sma...

[5-16]High-Level Parallel Programming with Parallel Skele...

[5-13][5-14]挖掘领域国际级大师——美国伊利诺伊芝加哥分校...

[5-10]Making Software Reliable in the Multicore Era

[5-9]Detection and Tracking of Dynamic Amorphous Events i...

[4-26]Reasoning about State Invariants and Constraints in...

[4-25]A Controlled Experiment on Software Documentation B...