中科院计算所认定的会议列表
中科院计算所奖学金评选办法
中科院计算所奖学金评选办法第一章总则为了激励和奖励优秀的研究生，在中科院计算所内部建立了奖学金评选制度。
本办法旨在规范奖学金的评选程序和评审标准，确保奖学金的公平、公正和透明。
第二章奖学金类别根据研究生的学业成绩和科研成果，分为一等奖学金、二等奖学金和三等奖学金三个类别。
第三章评选条件1.学业成绩：研究生的学业成绩排名在班级前10%以内。
2.科研成果：研究生在指导老师的指导下，完成了具有一定创新性和实用性的科研项目，包括但不限于科研论文、专利、获奖等成果。
第四章评选程序1.提名阶段：每年评选一次，评选周期为一学年。
研究生导师将符合条件的学生进行提名，提名材料包括学生的学业成绩和科研成果。
2.评审阶段：由计算所奖学金评选委员会负责评审工作，委员会由相关专家和教授组成，保证评审的公正性和专业性。
3.评选结果公示：评审结束后，将评选结果在计算所内部公示，接受相关人员的监督和意见反馈。
4.颁发奖学金：评选结果经过公示无异议后，计算所将颁发奖学金给获奖学生。
第五章评审标准1.学业成绩占比：学业成绩占评审总分的60%。
2.科研成果占比：科研成果占评审总分的40%。
3.学业成绩评审标准：根据学生的考试成绩、论文成绩、实验成绩等进行评定，综合考虑学业成绩的优秀程度。
4.科研成果评审标准：综合考虑科研项目的创新性、实用性、影响力等因素进行评定。
第六章奖学金金额奖学金金额根据计算所的经济情况和评选结果而定。
一等奖学金金额最高，二等奖学金金额次之，三等奖学金金额最低。
第七章奖学金使用规定1.奖学金主要用于支持学生的学习和科研活动，包括购买学习和科研所需的书籍、材料和设备等。
2.奖学金不得用于个人消费或其他违法违规行为。
3.奖学金获得者应按时提交使用报告，详细说明奖学金的使用情况和取得的进展。
第八章评选异议处理对评选结果有异议的研究生可以向计算所奖学金评选委员会提出申诉，委员会将组织专家重新进行评审，并维护评选的公正和公正性。
CCF推荐的国际学术会议和期刊目录修订版发布
CCF推荐的国际学术会议和期刊目录修订版发布CCF(China Computer Federation中国计算机学会)于2010年8月发布了第一版推荐的国际学术会议和期刊目录，一年来，经过业内专家的反馈和修订，于日前推出了修订版，现将修订版予以发布。
本次修订对上一版内容进行了充实，一些会议和期刊的分类排行进行了调整，目录包括：计算机科学理论、计算机体系结构与高性能计算、计算机图形学与多媒体、计算机网络、交叉学科、人工智能与模式识别、软件工程/系统软件/程序设计语言、数据库/数据挖掘/内容检索、网络与信息安全、综合刊物等方向的国际学术会议及期刊目录，供国内高校和科研单位作为学术评价的参考依据。
目录中，刊物和会议分为A、B、C三档。
A类表示国际上极少数的顶级刊物和会议，鼓励我国学者去突破；B类是指国际上著名和非常重要的会议、刊物，代表该领域的较高水平，鼓励国内同行投稿；C类指国际上重要、为国际学术界所认可的会议和刊物。
这些分类目录每年将学术界的反馈和意见，进行修订，并逐步增加研究方向。
中国计算机学会推荐国际学术刊物（网络/信息安全）一、 A类序号刊物简称刊物全称出版社网址1. TIFS IEEE Transactions on Information Forensics andSecurity IEEE /organizations/society/sp/tifs.html2. TDSC IEEE Transactions on Dependable and Secure ComputingIEEE /tdsc/3. TISSEC ACM Transactions on Information and SystemSecurity ACM /二、 B类序号刊物简称刊物全称出版社网址1. Journal of Cryptology Springer /jofc/jofc.html2. Journal of Computer SecurityIOS Press /jcs/3. IEEE Security & Privacy IEEE/security/4. Computers &Security Elsevier http://www.elsevier.nl/inca/publications/store/4/0/5/8/7/7/5. JISecJournal of Internet Security NahumGoldmann. /JiSec/index.asp6. Designs, Codes andCryptography Springer /east/home/math/numbers?SGWID=5 -10048-70-35730330-07. IET Information Security IET /IET-IFS8. EURASIP Journal on InformationSecurity Hindawi /journals/is三、C类序号刊物简称刊物全称出版社网址1. CISDA Computational Intelligence for Security and DefenseApplications IEEE /2. CLSR Computer Law and SecurityReports Elsevier /science/journal/026736493. Information Management & Computer Security MCB UniversityPress /info/journals/imcs/imcs.jsp4. Information Security TechnicalReport Elsevier /locate/istr中国计算机学会推荐国际学术会议（网络/信息安全方向）一、A类序号会议简称会议全称出版社网址1. S&PIEEE Symposium on Security and Privacy IEEE /TC/SP-Index.html2. CCSACM Conference on Computer and Communications Security ACM /sigs/sigsac/ccs/3. CRYPTO International Cryptology Conference Springer-Verlag /conferences/二、B类序号会议简称会议全称出版社网址1. SecurityUSENIX Security Symposium USENIX /events/2. NDSSISOC Network and Distributed System Security Symposium Internet Society /isoc/conferences/ndss/3. EurocryptAnnual International Conference on the Theory and Applications of Cryptographic Techniques Springer /conferences/eurocrypt2009/4. IH Workshop on Information Hiding Springer-Verlag /~rja14/ihws.html5. ESORICSEuropean Symposium on Research in Computer Security Springer-Verlag as.fr/%7Eesorics/6. RAIDInternational Symposium on Recent Advances in Intrusion Detection Springer-Verlag /7. ACSACAnnual Computer Security Applications ConferenceIEEE /8. DSNThe International Conference on Dependable Systems and Networks IEEE/IFIP /9. CSFWIEEE Computer Security Foundations Workshop /CSFWweb/10. TCC Theory of Cryptography Conference Springer-Verlag /~tcc08/11. ASIACRYPT Annual International Conference on the Theory and Application of Cryptology and Information Security Springer-Verlag /conferences/ 12. PKC International Workshop on Practice and Theory in Public Key Cryptography Springer-Verlag /workshops/pkc2008/三、 C类序号会议简称会议全称出版社网址1. SecureCommInternational Conference on Security and Privacy in Communication Networks ACM /2. ASIACCSACM Symposium on Information, Computer and Communications Security ACM .tw/asiaccs/3. ACNSApplied Cryptography and Network Security Springer-Verlag /acns_home/4. NSPWNew Security Paradigms Workshop ACM /current/5. FC Financial Cryptography Springer-Verlag http://fc08.ifca.ai/6. SACACM Symposium on Applied Computing ACM /conferences/sac/ 7. ICICS International Conference on Information and Communications Security Springer /ICICS06/8. ISC Information Security Conference Springer /9. ICISCInternational Conference on Information Security and Cryptology Springer /10. FSE Fast Software Encryption Springer http://fse2008.epfl.ch/11. WiSe ACM Workshop on Wireless Security ACM /~adrian/wise2004/12. SASN ACM Workshop on Security of Ad-Hoc and Sensor Networks ACM /~szhu/SASN2006/13. WORM ACM Workshop on Rapid Malcode ACM /~farnam/worm2006.html14. DRM ACM Workshop on Digital Rights Management ACM /~drm2007/15. SEC IFIP International Information Security Conference Springer http://sec2008.dti.unimi.it/16. IWIAIEEE International Information Assurance Workshop IEEE /17. IAWIEEE SMC Information Assurance Workshop IEEE /workshop18. SACMATACM Symposium on Access Control Models and Technologies ACM /19. CHESWorkshop on Cryptographic Hardware and Embedded Systems Springer /20. CT-RSA RSA Conference, Cryptographers' Track Springer /21. DIMVA SIG SIDAR Conference on Detection of Intrusions and Malware and Vulnerability Assessment IEEE /dimva200622. SRUTI Steps to Reducing Unwanted Traffic on the Internet USENIX /events/23. HotSecUSENIX Workshop on Hot Topics in Security USENIX /events/ 24. HotBots USENIX Workshop on Hot Topics in Understanding Botnets USENIX /event/hotbots07/tech/25. ACM MM&SEC ACM Multimedia and Security Workshop ACM。
中科院计算所2024夏季答辩工作指南
中科院计算所2024夏季答辩工作指南下载温馨提示:该文档是我店铺精心编制而成，希望大家下载以后，能够帮助大家解决实际的问题。
文档下载后可定制随意修改，请根据实际需要进行相应的调整和使用，谢谢!并且，本店铺为大家提供各种各样类型的实用资料，如教育随笔、日记赏析、句子摘抄、古诗大全、经典美文、话题作文、工作总结、词语解析、文案摘录、其他资料等等，如想了解不同资料格式和写法，敬请关注!Download tips: This document is carefully compiled by theeditor.I hope that after you download them,they can help yousolve practical problems. The document can be customized andmodified after downloading,please adjust and use it according toactual needs, thank you!In addition, our shop provides you with various types ofpractical materials,such as educational essays, diaryappreciation,sentence excerpts,ancient poems,classic articles,topic composition,work summary,word parsing,copy excerpts,other materials and so on,want to know different data formats andwriting methods,please pay attention!中国科学院计算技术研究所2024年夏季答辩工作指南随着2024年的夏季临近，中国科学院计算技术研究所（简称“中科院计算所”）的研究生们即将迎来他们学术生涯的一个重要里程碑——论文答辩。
2003中国计算机大会China National Computer Conference 2003
2003中国计算机大会C h i n a N a t i o n a l C o m p u t e r C o n f e r e n c e2003邀请函中国北京国际会议中心2003年11月26-28日信息时代的到来，科学技术的发展，计算机领域的突破，对世界政治，经济，文化生活日益产生着深刻的影响。
WTO之后的中国成为一个全球化市场，计算机行业的生存和发展将面临更加严峻的考验，市场竞争的重心也在发生根本性的变化。
知识创新与技术创新在结合，物质生产与知识生产在结合，硬件制造与软件制造在结合，传统经济与信息网络在结合，所有的变化和结合都在催促我们：加紧研究领域的理论化与商业领域的产业化相结合的步伐。
在现实的商业社会里，产业是令互联网的能量充分发挥的实践力量。
而技术与商业之间的微妙关系也在这种互动的过程中表现得淋漓尽致。
为了开拓理论化与产业化结合的新思路，更好推动信息化建设，定于2003年11月在北京举行的“2003中国计算机大会”将在汇集以往专家、学者、行业精英进行研讨的基础上，加强计算机技术应用开发商的参与，全方位的推动理论研究与应用技术的结合，推出带有广泛性与前瞻性的先进理念，实现技术与应用共享。
此次大会得到中国信息产业部和中国科技部的大力支持，由中国计算机学会主办，必将对中国计算机事业的发展起到积极而有益的作用。
大会主旨：推动IT产业化发展共享先进科技理念！大会指导委员会：主席：张效祥委员：唐泽圣杨芙清曾茂朝杨天行卢锡城大会程序委员会：主席：杨芙清副主席：何新贵李伯虎郑纬民大会主席：主席：李国杰 (中科院计算所所长，中国计算机学会代理理事长)副主席：刘爱民(华北计算所所长，中国计算机学会副理事长)谭铁牛(中科院自动化所所长，中国计算机学会副理事长)王珊(中国人民大学信息学院院长，中国计算机学会副理事长)史忠植(中国计算机学会秘书长)全春来(中国航天科工集团二院七零六所所长)大会组织委员会:主席：王雅云副主席：刘恩德杜子德一、大会议题描述：（不仅限于此）1、网格计算和高性能计算2、信息安全3、存储系统4、计算机互联网和移动计算5、数据库与信息检索6、计算机远程教育7、多媒体和虚拟现实8、人工智能9、抗恶劣环境10、软件工程和中间件11、集成电路设计 12、嵌如式计算与系统二、展示范围：（不仅限于此）1、高终端服务器2、信息安全解决方案及防毒杀毒软件产品3、远程教育系统平台4、中件间产品5、集成电路6、多媒体和虚拟产品设备7、网络基础设施产品8、网络运营商9、软硬件系统集成商10、人工智能、语音识别产品三、大会组织范围：本次大会邀请的参会企业主要面向网络应用解决方案供应商；服务器生产商；信息安全解决方案提供商；软硬件开发商；系统集成商等IT及通讯厂商。
中科院顶级会议介绍
综合类第 10 名
计算机类第 7 名 计算机类第 6 名
中文版 562 426 235 294 218
中文版 0．430 0.406 0.234 0.206 0.203
综合类第 11 名
网络通信领域
rank1 rank1 rank1 rank1
网络通信领域
无线网络领域顶级会议，录用率约为 10%，每年举行一次。 无线网络领域 偏重于建模和测量的重要国际会议，内容覆盖系统和网 络，录用率为 10%左右。
网络通信领域
4
MOBIHOC:
9
ACM International Symposium on Mobile Ad Hoc Networking and Co所限定的供硕士生选择的 EI 收录的本领域相关刊物 ： 请登陆 /twice/coverage.jsp 查看。 附 2：计算所限定的供硕士生选择的相关刊物 ： 序号 刊物名称(以期刊名称的拼音为序) 1 2 3 4 5 6 7 8 9 电子学报（英文版、中文版） 高技术通讯（英文版、中文版） 计算机辅助设计与图形学学报 计算机工程 计算机工程与应用 计算机集成制造系统 计算机科学 J COMPUT SCI & TECH 计算机学报 总被引频次 1676 540 945 1342 2165 819 712 141 1370 1308 785 1073 影响因子 0.450 0．294 0．692 0．232 0．280 0．855 0．280 0．330 0．921 0．806 0．329 0．428 影响因子学科内排名 电子类第 1 综合类第 22 名 计算机类第 5 名 计算机类第 19 名 计算机类第 14 名 计算机类第 3 名 计算机类第 14 名 计算机类第 12 名 计算机类第 1 名 计算机类第 4 名 计算机类第 13 名 计算机类第 8 名
第七届中国计算机系统 ChinaSys 学术研讨会
2014年11月28日周五下午 13:45-14:00 签到、发放胸牌、会议纪念品 14:00-14:30 大会开始，介绍领导与来宾 主持：雷凯 (北京大学深圳研究生院)北京大学深圳研究生院常务副院长 白志强教授 致欢迎词 深圳市科技创新委、科协、南山区政府领导讲话14:30-14:50 集体合影 Session 1. Architecture & Performance主持：陈文光（清华大学）14:50-15:15 (25分钟) 数据感知的DRAM 动态刷新报告人：韩银和 （中科院计算所） 15:15-15:35 (25分钟) PPEP: Online Performance, Power, and Energy Prediction Framework and DVFS Space Exploration 报告人：苏博（国防科大） 15:35-16:00 (25分钟) Minos: Tackling Performance Variability on Multi-core Evaluation with Parallel Feature Extraction and Clustering 报告人：宋波 （复旦大学） 16:00-16:20 茶歇 Session 2. OS & Virtual Machine 主持：张为华（复旦大学） 16:20-16:45 (25分钟) 操作系统内核BUG 分析 报告人：茅俊杰（清华大学）16:45-17:10 (25分钟) Redesign or Just Tuning? An Empirical Study on OS Kernel Optimization 报告人：徐天妮（中科院计算所）17:10-17:35 (25分钟) Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory 报告人：刘宇涛 （上海交通大学） Session 3. 北京大学深圳研究生院相关研究工作介绍 主持：罗英伟（北京大学）17:40-18:20 （30分钟） 命名数据网络(NDN)分发及控制机制研究智能硬件·创客·研究生教育报告人：雷凯、李险峰、李挥，等（北京大学深圳研究生院） 18:30 晚餐哈尔滨工业大学莘语轩餐厅 2014年11月28日（周五）下午议程主办单位：北京大学北京大学深圳研究生院北京大学大数据技术研究院（筹）2014年11月28日，第七届中国计算机系统（ChinaSys ）学术会议将在深圳市南山区西丽的深圳大学城北京大学深圳研究生院召开，地点：国际会议报告厅。
国家重点基础研究发展计划(973)项目
国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议(CM 2008)2008年10月24-27日青岛目录●973项目学术交流与汇报会日程●第二届全国计算机数学学术会议日程●报告摘要●会议须知第二届全国计算机数学学术会议组织主办：中国数学学会计算机数学专业委员会承办：中国石油大学中国科学院系统科学研究所中国科学院数学机械化重点实验室会议主席：高小山程序委员会：李洪波(主席)、曾振柄、陈永川、李子明、杨路、刘木兰、查红彬、陈发来、李华组织委员会：李树荣(主席)、周代珍、黄雷国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会地点：青岛金港大酒店时间：2008年10月24日09:00-09:30 项目介绍、领导讲话09:30-10:10 数学机械化理论与核心算法10:10-10:30 休息10:30-11:10 差分与微分方程的机械化算法11:10-11:50 实几何与实代数的高效能算法12:00-14:00 午餐14:00-14:40 数学机械化与信息安全和编码基础理论研究14:40-15:20 数学机械化在生物特征识别中的应用15:20-15:40 休息15:40-16:20 数学机械化在几何建模中的应用16:20-17:00 基于网络的数学机械化软件开发17:00 总结18:00- 晚餐第二届全国计算机数学大会日程(CSCM 2008)2008年10月25-27日青岛金港大酒店10月25日地点： ***08:30-09:00 开幕式主会场1（主席：高小山）09:00-09:45 邀请报告: 徐宗本, 西安交通大学基于视觉认知的数据建模09:45-10:30 邀请报告: 齐东旭, 澳门科技大学关于非连续的正交函数10:30-10:50 休息10月25日10:50-12:05 分组报告：**会议室**会议室**会议室分组1：微分代数（主席：张鸿庆）分组2：应用研究（主席：王定康）分组3：代数方法（主席：符红光）10:50-11:15李子明, 吴敏Computing dimension of solution spaces forlinear functionalsystems10:50-11:15李邦和酶动力学中的拟稳态假设10:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富A criterion for thesimilarity of length-two elements ina PID11:15-11:40LEI YANG, 李树荣Optimization ofinjection strategiesfor polymer floodingbased on a real-codedgenetic algorithm11:15-11:40Erich Kaltofen, 李斌,杨争锋, 支丽红Exact Certification ofGlobal Optimality ofApproximateFactorizations ViaRationalizingSums-Of-Squares withFloating Point Scalars11:40-12:05 郑大彬, 吴敏Testing algebraic dependence of hyperexponentialelements11:40-12:05侯春望因子优化法在控制系统根轨迹绘制中的应用11:40-12:05王明生Prime factorization ofmultivariatepolynomial matrices12:00-2:00 午餐10月25日2:00-3:40 分组报告：**会议室**会议室**会议室分组4：微分代数（主席：李志斌）分组5：编码与密码（主席：邢朝平）分组6：应用与算法（主席：齐东旭）2:00-2:25朝鲁Differential Characteristic SetAlgorithm for theComplete Symmetry Classification of PDEs2:00-2:25林东岱, 邓炎炎密码学理论中的挑战2:00-2:25黄雷, 李洪波基于共形几何和复数法的几何计算新方法2:25-2:50刘姜, 李洪波, 曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:25-2:50吴文玲Improved ImpossibleDifferentialCryptanalysis ofReduced-Round Camellia2:25-2:50廖啟征四元数的复数形式及其在机构求解中的应用2:50-3:15李子明, Martin Ondera,王怀富Simplifying skewfractions modulodifferential and difference relations2:50-3:15刘峰, 武传坤, 林喜军Color VisualCryptography Schemes2:50-3:15李忠, 王爱玲一种基于D-S证据推理的信息融合改进算法3:15-3:40袁春明差分素理想的一个判定准则3:15-3:40邓映蒲攻破Cai-Cusick基于格的公钥密码系统3:15-3:403:40-4:00 休息10月25日4:00-5:40 分组报告：**会议室**会议室**会议室分组7：组合与图论（主席：王明生）分组8：有限域（主席：刘卓军）分组9：计算机视觉与模式识别（主席：查红彬）4:00-4:25陈永川, 唐凌, 王星炜,杨立波Schur positivity and q-log-convexity4:00-4:25高小山, 黄震宇有限域上求解多项式方程的特征列方法4:00-4:25阮秋琦基于偏微分方程的最具可分性人脸特征融合的预处理算法4:25-4:50Burcin Erocal, 侯庆虎, Peter PauleAn implement of MacMahon's partitionanalysis4:25-4:50赵尚威有限域上二次方程组求解的近似算法4:25-4:50罗定生汉语词汇的一体化联合分析方法研究4:50-5:15冯荣权Enumerating typical abelian prime-fold coverings of a circulant graph4:50-5:15孙瑶, 王定康有限域F2上Groebner基的计算4:50-5:15张超Multivariate LaplaceFilter: a Heavy-TailedModel for TargetTracking5:15-5:40谢应泰A polynomial time algorithm for judgingH-graph5:15-5:40张艳硕基于身份的短代理签名方案及其扩展5:15-5:40许超多媒体检索中的转移学习10月26日主会场2（主席：李洪波）08:30-09:15 邀请报告: 邢朝平, 南洋理工大学Space-time codes--introduction and constructions09:15-10:00 邀请报告: 张健, 中科院软件所有限模型和反例的搜索10:00-10:20 休息10月26日10:20-12:00 分组报告：**会议室**会议室**会议室分组10：实代数方法（主席：冯勇）分组11：计算机图形学与辅助设计（主席：陈发来）分组12：优化算法（主席：支丽红）10:20-10:45张景中直观几何代数基础问题10:20-10:45陈冲, 徐国良几何设计中的水平集方法10:20-10:45黄文奇, 叶涛等圆Packing问题完全拟物算法的进一步研究10:45-11:10 邵俊伟, 侯晓荣基于区间分析的不等式自动证明系统10:45-11:10汪国昭混合B样条的统一表示10:45-11:10谢福鼎时序波动周期关联规则挖掘的一个算法11:10-11:35曾振柄基于区域剖分的不等式证明11:10-11:35李华基于几何不变量的三维形状分析和检索11:10-11:35纪哲基于层次分析法的购房策略模型11:35-12:00 张志海, 马蕾, 夏壁灿判定一类线性程序终止性的加速算法11:35-12:00宋瑞霞数字图象自适应非均匀分割及其应用11:35-12:00刘新平, 刘颖基于最大最小距离的改进遗传算法12:00-2:00 午餐10月26日2:00-3:40 分组报告：**会议室**会议室**会议室分组13：逻辑与网络（主席：张健）分组14：模式识别（主席：李华）分组15：微分方程（主席：李子明）2:00-2:25吴尽昭基于代数符号计算的形式化验证方法及其若干关键问题研究2:00-2:25杨国为, 王守觉判定一点是否属于高维复杂形体的算法2:00-2:25张鸿庆一类非线性偏微分方程组的解析解2:25-2:50Guang Zheng, 李廉, 吴尽昭, Wenbo Chen Weaker bisimulation: how to make a+b and tau.a+b equivalent?2:25-2:50査红彬, 裴玉茹The CraniofacialReconstruction fromthe Local StructuralDiversity of Skulls2:25-2:50李志斌Darboux变换与多孤子解算法研究2:50-3:15杜玉越逻辑工作流网及其应用2:50-3:15林通流形学习理论与应用2:50-3:15陆征一Computer aided anal-ysis for differentialpolynomial systems3:15-3:40刘家保, 潘向峰Estrada Index of Hypercubes Networks3:15-3:40邓九英, 王钦若,毛宗源, 杜启亮基于粗糙集的支持向量回归机混合算法3:15-3:40闫振亚The MKdV eqs withvariable coefficients:Exact uni/bi-variabletraveling wave-likesolutions3:40-4:00 休息10月26日4:00-5:40 分组报告：**会议室**会议室**会议室分组16：实代数方法（主席：曾振柄）分组17：计算机辅助设计与数控（主席：徐国良）分组18：控制方法（主席：李树荣）4:00-4:25符红光Dixon结式的三类多余因子4:00-4:25杨周旺点云曲线/曲面的微分信息计算4:00-4:25王峰, 杨永青多目标随机规划在区域水资源优化调度中的应用4:25-4:50冯勇, 张景中Obtaining Exact Inter- polation Multivariate Polynomial byApproximations4:25-4:50韩丽基于复杂截面点云的三角网格模型重建和特征检测方法研究4:25-4:50张玉斌基于MPI的迭代动态规划并行化4:50-5:15 Zhen-Yi Ji, 李永彬Some Improvements upon Unmixed Decomposition of An Algebraic Variety4:50-5:15张梅, 曹源昊数控系统中的数据压缩4:50-5:15田华阁, 车荣杰, 王平,田学民基于FP-EFCM的聚丙烯熔融指数软测量5:15-5:40王云诚, 方伟武,吴天骄A New Bisection-Newton Method for Finding Real Roots of UnivariatePolynomials5:15-5:40李家代数曲线与曲面拓扑的确定与逼近5:15-5:40张晓东聚合物驱最优控制问题的必要条件及数值求解第二届全国计算机数学大会报告摘要10月25日主会场1（主席：高小山）09:00-09:45 邀请报告: 徐宗本, 西安交通大学题目：基于视觉认知的数据建模摘要：数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息(结构、模式与规律等)。
计算机科学ABC类会议分类表
Applications and MediaI3DG: ACM-SIGRAPH Interactive 3D GraphicsSIGGRAPH: ACM SIGGRAPH ConferenceACM-MM: ACM Multimedia ConferenceDCC: Data Compression ConfSIGMETRICS: ACM Conf on Meas. & Modelling of Comp SysSIGIR: ACM SIGIR Conf on Information RetrievalPECCS: IFIP Intl Conf on Perf Eval of Comp \& Comm SysWWW: World-Wide Web ConferenceIEEE VisualizationEUROGRAPH: European Graphics ConferenceCGI: Computer Graphics InternationalCANIM: Computer AnimationPG: Pacific GraphicsNOSSDAV: Network and OS Support for Digital A/VPADS: ACM/IEEE/SCS Workshop on Parallel \& Dist SimulationWSC: Winter Simulation ConferenceASS: IEEE Annual Simulation SymposiumMASCOTS: Symp Model Analysis \& Sim of Comp \& Telecom SysPT: Perf Tools - Intl Conf on Model Tech \& Tools for CPENetStore: Network Storage SymposiumMMCN: ACM/SPIE Multimedia Computing and NetworkingJCDL: Joint Conference on Digital Librariese-Science: IEEE International Conference on e-science and Grid Computing ICGC: International Conference on Grid ComputingACM-HPC: ACM Hypertext ConfMMM: Multimedia ModellingICME: Intl Conf on MMedia & ExpoAPweb: Asia Pacific Web ConferenceDSS: Distributed Simulation SymposiumSCSC: Summer Computer Simulation ConferenceWCSS: World Congress on Systems SimulationESS: European Simulation SymposiumESM: European Simulation MulticonferenceHPCN: High-Performance Computing and NetworkingGeometry Modeling and ProcessingWISE: Intl Conf on Web Information Systems EngineeringDS-RT: Distributed Simulation and Real-time ApplicationsIEEE Intl Wshop on Dist Int Simul and Real-Time ApplicationsECIR: European Colloquium on Information RetrievalEd-MediaIMSA: Intl Conf on Internet and MMedia SysData BasesSIGMOD: ACM SIGMOD Conf on Management of DataPODS: ACM SIGMOD Conf on Principles of DB SystemsVLDB: Very Large Data BasesICDE: Intl Conf on Data EngineeringICDT: Intl Conf on Database TheorySSD: Intl Symp on Large Spatial DatabasesDEXA: Database and Expert System ApplicationsFODO: Intl Conf on Foundation on Data OrganizationEDBT: Extending DB TechnologyDOOD: Deductive and Object-Oriented DatabasesDASFAA: Database Systems for Advanced ApplicationsCIKM: Intl. Conf on Information and Knowledge ManagementSSDBM: Intl Conf on Scientific and Statistical DB MgmtCoopIS - Conference on Cooperative Information SystemsER - Intl Conf on Conceptual Modeling (ER)COMAD: Intl Conf on Management of DataBNCOD: British National Conference on DatabasesADC: Australasian Database ConferenceADBIS: Symposium on Advances in DB and Information SystemsDaWaK - Data Warehousing and Knowledge DiscoveryRIDE WorkshopIFIP-DS: IFIP-DS ConferenceIFIP-DBSEC - IFIP Workshop on Database SecurityNGDB: Intl Symp on Next Generation DB Systems and AppsADTI: Intl Symp on Advanced DB Technologies and IntegrationFEWFDB: Far East Workshop on Future DB SystemsMDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)ICDM - IEEE International Conference on Data MiningVDB - Visual Database SystemsIDEAS - International Database Engineering and Application Symposium MiscellaneousRECOMB: Annual Intl Conf on Comp Molecular BiologyAMIA: American Medical Informatics Annual Fall SymposiumDNA: Meeting on DNA Based ComputersCSCW: Conference on Computer Supported Cooperative WorkMEDINFO: World Congress on Medical InformaticsInternational Conference on Sequences and their ApplicationsECAIM: European Conf on AI in MedicineAPAMI: Asia Pacific Assoc for Medical Informatics ConfINBS: IEEE Intl Symp on Intell. in Neural & Bio SystemsSAC: ACM/SIGAPP Symposium on Applied ComputingICSC: Internal Computer Science ConferenceISCIS: Intl Symp on Computer and Information SciencesICSC2: International Computer Symposium ConferenceICCE: Intl Conf on Comps in EduWCC: World Computing CongressPATAT: Practice and Theory of Automated TimetablingSystem Technology (Including networking and security) SIGCOMM: ACM Conf on Comm Architectures, Protocols & AppsSPAA: Symp on Parallel Algms and ArchitecturePODC: ACM Symp on Principles of Distributed ComputingPPoPP: Principles and Practice of Parallel ProgrammingMassPar: Symp on Frontiers of Massively Parallel ProcRTSS: Real Time Systems SympSOSP: ACM SIGOPS Symp on OS PrinciplesOSDI: Usenix Symp on OS Design and ImplementationCCS: ACM Conf on Comp and Communications SecurityS&P: IEEE Symposium on Security and PrivacyMOBICOM: ACM Intl Conf on Mobile Computing and NetworkingMOBIHOC: ACM International Symposium on Mobile Ad Hoc Networking and Computing ICNP: Intl Conf on Network ProtocolsOPENARCH: IEEE Conf on Open Arch and Network ProgPACT: Intl Conf on Parallel Arch and Compil TechINFOCOM: Annual Joint Conf IEEE Comp & Comm SocUSENIX Symp on Internet Tech and SysRTAS: IEEE Real-Time and Embedded Technology and Applications SymposiumPercom: IEEE International Conference on Pervasive Computing and CommunicationsUbiComp: Uniquitous ComputingCC: International Conference Compiler ConstructionIPDPS: Intl Parallel and Dist Processing SympMOBISYS: International Conference on Mobile Systems, Applications, and ServicesSenSys: ACM Conference on Embedded Networked Sensor SystemsICPP: Intl Conf on Parallel ProcessingICDCS: IEEE Intl Conf on Distributed Comp SystemsSRDS: Symp on Reliable Distributed SystemsMPPOI: Massively Par Proc Using Opt InterconnsASAP: Intl Conf on Apps for Specific Array ProcessorsEuro-Par: European Conf. on Parallel ComputingUsenix Security SymposiumNDSS: ISOC Network and Distributed System Security SymposiumESORICS: European Symposium on Research in Computer SecurityRAID: International Symposium on Recent Advances in Intrusion DetectionDSN: The International Conference on Dependable Systems and NetworksACSAC: Annual Computer Security Applications ConferenceWCW: Web Caching WorkshopLCN: IEEE Annual Conference on Local Computer NetworksIPCCC: IEEE Intl Phoenix Conf on Comp & CommunicationsCCC: Cluster Computing ConferenceICC: Intl Conf on CommWCNC: IEEE Wireless Communications and Networking ConferenceIPSN: International Conference on Information Processing in Sensor NetworksIPTPS: Annual International Workshop on Peer-To-Peer SystemsCSFW: IEEE Computer Security Foundations WorkshopMPCS: Intl. Conf. on Massively Parallel Computing SystemsGLOBECOM: Global CommIMC: Internet Measurement ConferenceIC3N: Intl Conf on Comp Comm and NetworksICCC: Intl Conf on Comp CommunicationNOMS: IEEE Network Operations and Management SympCONPAR: Intl Conf on Vector and Parallel ProcessingVAPP: Vector and Parallel ProcessingICPADS: Intl Conf. on Parallel and Distributed SystemsPublic Key CryptosystemsFast Software EncryptionSecureComm: Int. Conf on Security and Privacy for Emerging Areas in Communication Networks AsiaCCS: ACM Symposium on Information, Computer and Communications SecurityACNS: International Conference on Applied Cryptography and Network SecurityAnnual Workshop on Selected Areas in CryptographyAustralasia Conference on Information Security and PrivacyInt. Conf on Inofrm and Comm. SecurityFinancial CryptographyWorkshop on Information HidingSmart Card Research and Advanced Application ConferenceICON: Intl Conf on NetworksIMSA: Intl Conf on Internet and MMedia SysNCC: Nat Conf CommIN: IEEE Intell Network WorkshopSoftcomm: Conf on Software in Tcomms and Comp NetworksINET: Internet Society ConfWorkshop on Security and Privacy in E-commerceEEE: IEEE Conference on e-Technology, e-Commerce and e-Service Programming Languages and Software EngineeringPOPL: ACM-SIGACT Symp on Principles of Prog LangsPLDI: ACM-SIGPLAN Symp on Prog Lang Design & ImplOOPSLA: OO Prog Systems, Langs and ApplicationsICFP: Intl Conf on Function ProgrammingJICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic ProgICSE: Intl Conf on Software EngineeringFSE: ACM Conference on the Foundations of Software EngineeringFM/FME: Formal Methods, World Congress/EuropeCAV: Computer Aided VerificationCP: Intl Conf on Principles & Practice of Constraint ProgTACAS: Tools and Algos for the Const and An of SystemsESOP: European Conf on ProgrammingICCL: IEEE Intl Conf on Computer LanguagesPEPM: Symp on Partial Evalutation and Prog ManipulationSAS: Static Analysis SymposiumRTA: Rewriting Techniques and ApplicationsESEC: European Software Engineering ConfIWSSD: Intl Workshop on S/W Spec & DesignCAiSE: Intl Conf on Advanced Info System EngineeringITC: IEEE Intl Test ConfIWCASE: Intl Workshop on Cumpter-Aided Software EngSSR: ACM SIGSOFT Working Conf on Software ReusabilitySEKE: Intl Conf on S/E and Knowledge EngineeringICSR: IEEE Intl Conf on Software ReuseASE: Automated Software Engineering ConferencePADL: Practical Aspects of Declarative LanguagesISRE: Requirements EngineeringICECCS: IEEE Intl Conf on Eng. of Complex Computer SystemsIEEE Intl Conf on Formal Engineering MethodsIntl Conf on Integrated Formal MethodsFOSSACS: Foundations of Software Science and Comp StructAPLAS: Asian Symposium on Programming Languages and SystemsMPC: Mathematics of Program ConstructionECOOP: European Conference on Object-Oriented ProgrammingFASE: Fund Appr to Soft EngAPSEC: Asia-Pacific S/E ConfPAP/PACT: Practical Aspects of PROLOG/Constraint TechALP: Intl Conf on Algebraic and Logic ProgrammingPLILP: Prog, Lang Implentation & Logic ProgrammingLOPSTR: Intl Workshop on Logic Prog Synthesis & TransfICCC: Intl Conf on Compiler ConstructionCOMPSAC: Intl. Computer S/W and Applications ConfICSM: Int. Conf on Software MaintenanceTAPSOFT: Intl Joint Conf on Theory & Pract of S/W DevWCRE: SIGSOFT Working Conf on Reverse EngineeringAQSDT: Symp on Assessment of Quality S/W Dev ToolsIFIP Intl Conf on Open Distributed ProcessingIntl Conf of Z UsersIFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And VerificatiPSI (Ershov conference)UML: International Conference on the Unified Modeling Language EDOC: IEEE Conference on Enterprise Computing Algorithms and TheorySTOC: ACM Symp on Theory of ComputingFOCS: IEEE Symp on Foundations of Computer ScienceCOLT: Computational Learning TheoryLICS: IEEE Symp on Logic in Computer ScienceSCG: ACM Symp on Computational GeometrySODA: ACM/SIAM Symp on Discrete AlgorithmsSPAA: ACM Symp on Parallel Algorithms and ArchitecturesPODC: ACM Symp on Principles of Distributed ComputingISSAC: Intl. Symp on Symbolic and Algebraic ComputationCRYPTO: Advances in CryptologyEUROCRYPT: European Conf on CryptographyCONCUR: International Conference on Concurrency TheoryICALP: Intl Colloquium on Automata, Languages and ProgSTACS: Symp on Theoretical Aspects of Computer ScienceCC: IEEE Symp on Computational ComplexityWADS: Workshop on Algorithms and Data StructuresMFCS: Mathematical Foundations of Computer ScienceSWAT: Scandinavian Workshop on Algorithm TheoryESA: European Symp on AlgorithmsIPCO: MPS Conf on integer programming & comb optimizationLFCS: Logical Foundations of Computer ScienceALT: Algorithmic Learning TheoryEUROCOLT: European Conf on Learning TheoryDSIC: Int'l Symp om Distributed Computing (old: WDAG)ISTCS: Israel Symp on Theory of Computing and SystemsISAAC: Intl Symp on Algorithms and ComputationFST&TCS: Foundations of S/W Tech & Theoretical CSLATIN: Intl Symp on Latin American Theoretical InformaticsRECOMB: Annual Intl Conf on Comp Molecular BiologyCADE: Conf on Automated DeductionIEEEIT: IEEE Symposium on Information TheoryAsiacryptMEGA: Methods Effectives en Geometrie AlgebriqueASIAN: Asian Computing Science ConfCCCG: Canadian Conf on Computational GeometryFCT: Fundamentals of Computation TheoryWG: Workshop on Graph TheoryCIAC: Italian Conf on Algorithms and ComplexityICCI: Advances in Computing and InformationAWTI: Argentine Workshop on Theoretical InformaticsCATS: The Australian Theory SympCOCOON: Annual Intl Computing and Combinatorics ConfUMC: Unconventional Models of ComputationMCU: Universal Machines and ComputationsGD: Graph DrawingSIROCCO: Structural Info & Communication ComplexityALEX: Algorithms and ExperimentsALG: ENGG Workshop on Algorithm EngineeringLPMA: Intl Workshop on Logic Programming and Multi-AgentsEWLR: European Workshop on Learning RobotsCITB: Complexity & info-theoretic approaches to biologyFTP: Intl Workshop on First-Order Theorem Proving (FTP)CSL: Annual Conf on Computer Science Logic (CSL)AAAAECC: Conf On Applied Algebra, Algebraic Algms & ECCDMTCS: Intl Conf on Disc Math and TCSJCDCG: Japan Conference on Discrete and Computational Geometry Data BasesSIGMOD: ACM SIGMOD Conf on Management of DataPODS: ACM SIGMOD Conf on Principles of DB SystemsVLDB: Very Large Data BasesICDE: Intl Conf on Data EngineeringICDT: Intl Conf on Database TheorySSD: Intl Symp on Large Spatial DatabasesDEXA: Database and Expert System ApplicationsFODO: Intl Conf on Foundation on Data OrganizationEDBT: Extending DB TechnologyDOOD: Deductive and Object-Oriented DatabasesDASFAA: Database Systems for Advanced ApplicationsCIKM: Intl. Conf on Information and Knowledge ManagementSSDBM: Intl Conf on Scientific and Statistical DB MgmtCoopIS - Conference on Cooperative Information SystemsER - Intl Conf on Conceptual Modeling (ER)COMAD: Intl Conf on Management of DataBNCOD: British National Conference on DatabasesADC: Australasian Database ConferenceADBIS: Symposium on Advances in DB and Information SystemsDaWaK - Data Warehousing and Knowledge DiscoveryRIDE WorkshopIFIP-DS: IFIP-DS ConferenceIFIP-DBSEC - IFIP Workshop on Database SecurityNGDB: Intl Symp on Next Generation DB Systems and AppsADTI: Intl Symp on Advanced DB Technologies and IntegrationFEWFDB: Far East Workshop on Future DB SystemsMDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)ICDM - IEEE International Conference on Data MiningVDB - Visual Database SystemsIDEAS - International Database Engineering and Application Symposium MiscellaneousRECOMB: Annual Intl Conf on Comp Molecular BiologyAMIA: American Medical Informatics Annual Fall SymposiumDNA: Meeting on DNA Based ComputersCSCW: Conference on Computer Supported Cooperative Work MEDINFO: World Congress on Medical InformaticsInternational Conference on Sequences and their ApplicationsECAIM: European Conf on AI in MedicineAPAMI: Asia Pacific Assoc for Medical Informatics ConfINBS: IEEE Intl Symp on Intell. in Neural & Bio SystemsSAC: ACM/SIGAPP Symposium on Applied ComputingICSC: Internal Computer Science ConferenceISCIS: Intl Symp on Computer and Information SciencesICSC2: International Computer Symposium ConferenceICCE: Intl Conf on Comps in EduWCC: World Computing CongressPATAT: Practice and Theory of Automated TimetablingArtificial Intelligence and Related SubjectsAAAI: American Association for AI National ConferenceCVPR: IEEE Conf on Comp Vision and Pattern RecognitionIJCAI: Intl Joint Conf on AIICCV: Intl Conf on Computer VisionICML: Intl Conf on Machine LearningSIGKDD: ACM Knowledge Discovery and Data MiningKR: Intl Conf on Principles of KR & ReasoningNIPS: Neural Information Processing SystemsUAI: Conference on Uncertainty in AIAAMAS: Intl Conf on Autonomous Agents and Multi-Agent Systems (past: ICAA)ACL: Annual Meeting of the ACL (Association of Computational Linguistics)ICDM - IEEE International Conference on Data MiningNAACL: North American Chapter of the ACLAID: Intl Conf on AI in DesignAI-ED: World Conference on AI in EducationCAIP: Inttl Conf on Comp. Analysis of Images and PatternsCSSAC: Cognitive Science Society Annual ConferenceECCV: European Conference on Computer VisionEAI: European Conf on AIEML: European Conf on Machine LearningGECCO: Genetic and Evolutionary Computation Conference (used to be GP)IAAI: Innovative Applications in AIICIP: Intl Conf on Image ProcessingICNN/IJCNN: Intl (Joint) Conference on Neural NetworksICPR: Intl Conf on Pattern RecognitionICDAR: International Conference on Document Analysis and RecognitionICTAI: IEEE conference on Tools with AIAMAI: Artificial Intelligence and MathsDAS: International Workshop on Document Analysis SystemsWACV: IEEE Workshop on Apps of Computer VisionCOLING: International Conference on Computational LiguisticsEMNLP: Empirical Methods in Natural Language ProcessingEACL: Annual Meeting of European Association Computational LingusticsCoNLL: Conference on Natural Language LearningDocEng: ACM Symposium on Document EngineeringIEEE/WIC International Joint Conf on Web Intelligence and Intelligent Agent Technology PRICAI: Pacific Rim Intl Conf on AIAAI: Australian National Conf on AIACCV: Asian Conference on Computer VisionAI*IA: Congress of the Italian Assoc for AIANNIE: Artificial Neural Networks in EngineeringANZIIS: Australian/NZ Conf on Intelligent Inf. SystemsCAIA: Conf on AI for ApplicationsCAAI: Canadian Artificial Intelligence ConferenceASADM: Chicago ASA Data Mining Conf: A Hard Look at DMEPIA: Portuguese Conference on Artificial IntelligenceFCKAML: French Conf on Know. Acquisition & Machine LearningICANN: International Conf on Artificial Neural NetworksICCB: International Conference on Case-Based ReasoningICGA: International Conference on Genetic AlgorithmsICONIP: Intl Conf on Neural Information ProcessingIEA/AIE: Intl Conf on Ind. & Eng. Apps of AI & Expert SysICMS: International Conference on Multiagent SystemsICPS: International conference on Planning SystemsIWANN: Intl Work-Conf on Art & Natural Neural NetworksPACES: Pacific Asian Conference on Expert SystemsSCAI: Scandinavian Conference on Artifical IntelligenceSPICIS: Singapore Intl Conf on Intelligent SystemPAKDD: Pacific-Asia Conf on Know. Discovery & Data MiningSMC: IEEE Intl Conf on Systems, Man and CyberneticsPAKDDM: Practical App of Knowledge Discovery & Data MiningWCNN: The World Congress on Neural NetworksWCES: World Congress on Expert SystemsINBS: IEEE Intl Symp on Intell. in Neural \& Bio SystemsASC: Intl Conf on AI and Soft ComputingPACLIC: Pacific Asia Conference on Language, Information and ComputationICCC: International Conference on Chinese ComputingICADL: International Conference on Asian Digital LibrariesRANLP: Recent Advances in Natural Language ProcessingNLPRS: Natural Language Pacific Rim SymposiumMeta-Heuristics International ConferenceHardware and ArchitectureASPLOS: Architectural Support for Prog Lang and OSISCA: ACM/IEEE Symp on Computer ArchitectureICCAD: Intl Conf on Computer-Aided DesignDAC: Design Automation ConfMICRO: Intl Symp on MicroarchitectureHPCA: IEEE Symp on High-Perf Comp ArchitectureFCCM: IEEE Symposium on Field Programmable Custom Computing MachinesSC(SUPER): ACM/IEEE Supercomputing ConferenceICS: Intl Conf on SupercomputingISSCC: IEEE Intl Solid-State Circuits ConfHCS: Hot Chips SympVLSI: IEEE Symp VLSI CircuitsCODES+ISSS: Intl Conf on Hardware/Software Codesign & System SynthesisDATE: IEEE/ACM Design, Automation & Test in Europe ConferenceFPL: Field-Programmable Logic and ApplicationsCASES: International Conference on Compilers, Architecture, and Synthesis for Embedded System ICA3PP: Algs and Archs for Parall ProcEuroMICRO: New Frontiers of Information TechnologyACS: Australian Supercomputing ConfISC: Information Security ConferenceHiPC:International Conference on High Performance ComputingClass A A A A A A A A B B B B B B B B B B B B B B B B C C C C C C C C C C C C C C C C C Class A A A A A B B B B BB B B B BC C C C C C C C C C C C C C C Class B B B B C C C C C C C C C C C C Class A A A A A A A A A A A A A A AB B A A B B B B B B B B B B B B B B B B B B B B B B B B BC C C C C C C C C C C C C C C C C C C C C C C C CC C Class A A A A A A A A A B B B B B B B B B B B B B B B B B B B B B B B B B C C C C C C C C C C C C C C CC C Class A A A A A A A A A A A B B B B B B B B B B B B B B B B B B B B B C C C C C C C C C C C C C C C C C CC C C C C Class A A A A A B B B B B B B B B B C C C C C C C C C C C C C C C Class B B B B C C C C C C C C C C CClassAAAAAAAAAAABBBBBBBBBBBBBBBBBBBBBBBBBCCCCCCCCCCCCCCCCC C C C C C C C C C C C C C C C C C Class A A A A A A B B B B B B B B B B C C C C C。
校友会章程 - 中国科学院计算技术研究所
中国科学院计算技术研究所同学会章程（2012年9月）第一章总则第一条本会定名为“中国科学院计算技术研究所同学会”(Alumni Association for Institute of Computing Technology, Chinese Academy of Sciences简写：ICTAA)，简称“中科院计算所同学会”。
第二条本会由曾在计算所学习或接受过培训的人员自愿联合组成。
第三条本会的宗旨是加强同学之间、同学与计算所之间的联系，为企业提供有真知灼见的咨询与建议，向社会宣传科学精神和科学文化，发扬计算所的优良传统，为祖国经济建设、国家安全和社会可持续发展，为计算所发展作贡献，本会遵守宪法、法律、法规和国家政策，遵守社会道德风尚。
第四条本会办公地址为北京市海淀区中关村科学院南路中科院计算所研究生部，邮编：100190第二章业务范围第五条本会的业务范围：(一)加强同学之间、同学与计算所之间的联系和交流；(二)促进同学为国家建设和计算所的发展作贡献；(三)组织社会实践活动、科普活动等，促进同学的社会义务和责任感；(四)进行学术交流；(五)促进计算所教育发展；(六)组织联谊活动；(七)编辑、印刷《同学会通讯》等内部刊物。
第三章会员第六条本会会员种类为个人会员。
第七条凡曾在计算所学习（包括客座生、博士后等）或接受过计算所专业培训的人员，拥护本会章程，自愿参加本会者，自动成为本会会员。
第八条会员享有下列权利：(一) 本会的推举权、被推举权和表决权；(二) 参加本会组织的各项活动；(三) 了解计算所的现况和未来发展；(四) 批评、监督本会工作，向本会提出建议；(五) 退会自由。
第九条会员履行下列义务：(一) 遵守本会会章；(二) 执行本会决议；(三) 接受并完成本会委托的任务；(四) 维护本会合法权益；(五) 为计算所作义务宣传；(六) 及时更新和通报个人联系方式；(七) 向本会反映情况，提供有关资料。
中国科学院计算技术研究所
科研成就
科研成果
学术刊物
科研成果
2009年，计算所共有在研项目369项。当年新立项目课题164项，包括中国高技术研究发展计划（863）项目 11项、科技支撑计划项目3项、国际合作项目1项；国家自然科学基金创新研究群体项目1项、杰出青年基金项目1 项、重点项目1项、联合基金1项、面上和青年基金25项；北京市创意文化产业项目1项；中国科学院知识创新工 程重要方向性项目3项、对外合作重点项目1项。另外还有院地合作等其它项目。年度到款3.2亿元。2009年，计 算所共取得科技成果31项。其中，863计划重大成果“曙光5000A”系统峰值运算速度达到233.5万亿次， Linpack值为180.6万亿次，在2008年11月发布的第32届TOP500排行榜上位列第10，是当时除美国以外世界上最 快的高性能计算机，在2009年4月召开的科技成果鉴定会上受到鉴定委员会的高度评价。全年共发表学术论文562 篇，其中期刊论文178篇，会议报告384篇；被SCI收录85篇，被CPCI收录212篇，被EI收录466篇，被中国科学引 文数据库收录210篇；申请专利142项，授权专利152项。
刊登的内容覆盖计算机领域的各个学科，以论文、技术报告、短文、研究简报、综论等形式报道以下方面的 科研成果：计算机科学理论、计算机硬件体系结构、计算机软件、人工智能、数据库、计算机络与多媒体、信息 安全、计算机辅助设计与图形学以及新技术应用等。
人才培养
学科建设
教学建设
学科建设
据2015年12月研究所官显示，中国科学院计算技术研究所建有2个一级学科博士后流动站，2个一级学科博 士点，2个一级学科硕士点，2个专业硕士。
计算机类国际会议列表
计算机类国际会议列表CCF: Conference Rank (A, B, C) from China Computer Federation (2013)CORE: Conference Rank (A*, A, B, C) from Computing Research and Education Association of Australasia (2013) CCF CORE 简称AC4MICMCMPAKDD*DSNMobisysNetworkingBICoBGPCGPC'MobiSecServITNGICACIISSNIPMobiMediaCAiSEICTMDMMobiHocGISTAMENASEBigMMSustainITICDCSAISPAISPIMECS GLSVLSIEBW ICME IEA-AIECADSAIISBA EWCN NetSoftETS SOSE ICT4Agei ngWell WEBIST VTCBMSBGI Pervasiv e Health ICSIS CLOUDTEC H ECOOP AIMPE CSIT APMediaCastICEIT NVICT ICFCCScilabTECFMDINWCe-EnergyFCCMEBECEGCDIPDMWCWCOPSEAMSHotOSICSISMBECCBCloudCom-AsiaPetriNetsITiCSEWTSAda-EuropeftEICSHPDC*LICSSPAAICMRISPDCIJCNNICDM'MLDMACSDICACCFDisCoTecDAISFORTE COORDINA TIONAIMSBlackSeaComACNSICEUCESWC COMPSAC ICWSMDDECSIDCISCCSACMAT GECCO INTERACT ISSTA *SIGCOMMCSCSIH & MMSECCIS'RAMIACC ChinaSIP FAWINDINICARCPMTSPMSR MobileHCI*ICML LANMAN ICGSE *IJCAI WiSecEC*PODC SIES EUSIPCO MDADEBS ISSCSDSPICALP DATA ICSOFT PerDisKDD ICECEMobiquitous*ACLIJCNLP CLUSTER *ICFP DICTAP TAEECE PADSParCo INTECH AICoBICPPICETE SIMULTECHICINCO PACIS ICCTIMICSSPOBDFiCloud MobiWISISCEAIPRDEISESECFSEWeb3D MASCOTS WIMSAVSSSSTD ICCCEG TrustCom BDSE ISPAMM ICCSE ICER ICETC ICITA ICDP ESEM FedCSIS SIGDOC FGCT ICT-DMACN ICIA'SLE GPCE Context BODYNETS ACPR ICESS' FGCNMAS MulGraBACSNPSIVT GCIRE ISDF ICeNDICIISCT ICDMMIPA DDDMBD EEETEM SECONWCCI计算机类国际会议列表nk (A, B, C) from China Computer Federation (2013)2014-12-8Great Lakes Symposium on VLSI2014-12-92015-2-3########(exteded)International Workshop on Network and Operating Systems Support for DigitalAudio and Video########2015-2-2International Symposium on Modeling and Optimization in Mobile, Ad Hoc,and Wireless Networks########2015-2-15########(exteded)########(exteded)International Conference on E-Technologies and Business on the Web ########2015-2-12########(exteded)########(exteded)International CAD Conference and Exhibition ########2015-1-15########(exteded)International Conference on Identity, Security and Behavior Analysis ########2015-1-20International Conference on Emerging Wireless Communications and Networking ########2015-2-15IEEE Conference on Network Softwarization ########2015-2-15European Test Symposium ########2015-2-20########(exteded)International Conference on Information and Communication Technologies forAgeing Well and e-Health########2015-3-11International Conference on Web Information Systems and Technologies ########2015-3-11########(exteded)International Symposium on Broadband Multimedia Systems and Broadcasting ########2015-3-2Graphics Interface Conference ########2015-2-26International Conference on Pervasive Computing Technologies for Healthcare ########2015-3-6########2015-1-20International Conference on Cloud Computing Technologies and Applications ########2015-2-28European Conference on Object-Oriented Programming########International Conference on Intelligent Materials, Power and Energy ################International Conference on Computer Science and Information Technology########2015-2-9Asia Pacific Conference on Multimedia and Broadcasting ########2014-2-23######## (exteded)International Conference on New Visions for Information and CommunicationTechnology########2015-3-15International Conference on Future Computer and Communication 2015-1-12015-1-20International Conference on Educational and Information Technology2015-1-25Vehicular Technology Conference 2015-1-26International Symposium on Service-Oriented System Engineering 2015-1-6Science and Information Conference 2015-1-15International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems 2015-2-27 International Conference on Multimedia and Expo 2015-3-15International Symposium on Real-time Distributed Computing 2015-1-30International Conference on Computational Intelligence 2015-1-5International Conference on Multimedia TechnologyInternational Symposium on Artificial Intelligence and Signal Processing 2015-1-21International Scilab Users Conference2015-1-22015-2-10International Symposium on Formal Methods2015-1-22015-3-13International Conference on Digital Information, Networking, and WirelessCommunications2015-1-3International Conference on Future Energy Systems2015-1-52015-4-1International Symposium on Field-Programmable Custom ComputingMachines 2015-1-62015-3-2International Conference on Electrical and Bio-medical Engineering, CleanEnergy and Green Computing2015-1-8International Conference on Digital Information Processing, Data Mining, andWireless Communications2015-1-82015-1-92015-2-18USENIX Workshop on Hot Topics in Operating Systems2015-1-92015-3-16International Conference on Supercomputing2015-1-92015-3-16International Conference on Intelligent Systems for Molecular Biology2015-1-92015-3-27European Conference on Computational Biology2015-1-92015-3-27International Conference on Cloud Computing and Big Data2015-1-102015-2-20International Conference on Application and Theory of Petri Nets andConcurrency2015-1-102015-3-1International Conference on Innovation and Technology in Computer ScienceEducation2015-1-11Wireless Telecommunications Symposium 2015-1-112015-2-8International Conference on Reliable Software Technologies 2015-1-112015-3-12015-1-11(exteded)International Conference on Mobile Software Engineering and Systems 2015-1-122015-2-16ACM SIGCHI Symposium on Engineering Interactive Computing Systems2015-1-122015-2-17International ACM Symposium on High-Performance Parallel and DistributedComputing2015-1-122015-3-16IEEE Symposium on Logic in Computer Science2015-1-122015-3-30ACM Symposium on Parallelism in Algorithms and Architectures2015-1-142015-3-23International Conference on Multimedia Retrieval2015-1-152015-3-152015-1-15(exteded)International Joint Conference on Neural Networks2015-1-152015-3-15Industrial Conference on Data Mining2015-1-152015-3-18International Conference on Machine Learning and Data Mining 2015-1-152015-3-18International Conference on Application of Concurrency to System Design2015-1-152015-3-26International Conference on Autonomic Computing 2015-1-152015-4-10International Conference on Computer Frontiers2015-1-162015-2-20International Federated Conference on Distributed Computing Techniques 2015-1-162015-3-6International Conference on Distributed Applications and InteroperableSystems 2015-1-162015-3-6International Conference on Formal Techniques for Distributed Systems2015-1-162015-3-6International Conference on Coordination Models and LanguagesInternational Symposium on Parallel and Distributed Computing 2015-3-15International Symposium on Networks, Computers and Communications 2015-3-5International Conference on Autonomous Infrastructure, Management andSecurity2015-1-162015-3-11International Black Sea Conference on Communications and Networking 2015-1-162015-3-15International Conference on Applied Cryptography and Network Security 2015-1-162015-3-17International Conference on Embedded and Ubiquitous Computing2015-1-172015-2-17Extended Semantic Web Conference2015-1-172015-3-9International Computer Software and Applications Conference 2015-1-172015-3-15International Conference on Weblogs and Social Media2015-1-182015-3-9IEEE Symposium on Design and Diagnostics of Electronic Circuits andSystems 2015-1-182015-3-13International Conference on Interaction Design & Children2015-1-192015-3-2IEEE symposium on Computers and Communications 2015-1-192015-3-27ACM Symposium on Access Control Models and Technologies2015-1-202015-3-20Genetic and Evolutionary Computation Conference2015-1-212015-3-202015-1-23(exteded)International Symposium on Software Testing and Analysis 2015-1-232015-4-1Annual Conference of the ACM Special Interest Group on DataCommunication 2015-1-232015-4-24International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing2015-1-252015-3-25International Conference on Complex, Intelligent, and Software IntensiveSystems 2015-1-252015-3-25International Conference on Research and Development in Information Retrieval 2015-1-28 International Conference on Control Systems and Computer Science2015-1-312015-3-8ACM Workshop on Information Hiding and Multimedia Security 2015-1-312015-3-31International Conference on Cybernetics and Intelligent Systems2015-1-312015-3-31International Conference on Robotics, Automation and Mechatronics2015-1-312015-3-312015-1-31(exteded)IEEE China Summit and International Conference on Signal and InformationProcessing2015-1-312015-4-20International Frontiers of Algorithmics Workshop 2015-2-12015-3-10International Conference on Industrial Informatics 2015-2-12015-4-10International Conference on Advanced Robotics 2015-2-12015-4-15Annual Symposium on Combinatorial Pattern Matching2015-2-22015-3-31International Conference on Telecommunications and Signal Processing2015-2-52015-4-10Working Conference on Mining Software Repositories2015-2-62015-3-16International Conference on Human-Computer Interaction with Mobile Devices2015-2-62015-4-20International Conference on Machine Learning2015-2-62015-4-24International Workshop on Local and Metropolitan Area Networks2015-2-82015-3-15International Conference on Global Software Engineering 2015-2-82015-3-27International Joint Conference on Artificial Intelligence2015-2-82015-4-16ACM Conference on Security and Privacy in Wireless and Mobile Networks2015-2-102015-4-7ACM Conference on Economics and Computation2015-2-102015-4-16ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing2015-2-102015-4-27International Symposium on Industrial Embedded Systems2015-2-132015-3-27European Signal Processing Conference2015-2-132015-5-22International Conference on Mass Data Analysis of Images and Signals2015-2-152015-3-18International Conference on Distributed Event-Based Systems2015-2-152015-4-20International Advance Computing Conference2015-4-2International Conference on Human-Computer Interaction 2015-3-13International Conference on Heterogeneous Networking for Quality, Reliability,Security and Robustness2015-2-152015-6-27International Symposium on Signals, Circuits and Systems 2015-2-162015-4-6International Conference on Digital Signal Processing2015-2-162015-4-13International Colloquium on Automata, Languages and Programming 2015-2-172015-4-15International Conference on Data Management Technologies and Applications2015-2-172015-5-6International Joint conference on Software Technologies2015-2-172015-5-62015-2-18(exteded)ACM SIGKDD Conference on Knowledge Discovery and Data Mining2015-2-20International Conference on Electrical and Control Engineering 2015-2-202015-3-15International Symposium on Low Power Electronics and Design 2015-2-222015-5-1International Conference on Mobile and Ubiquitous Systems: Computing,Networking and Services2015-2-232015-4-30Annual Meeting of the Association for Computational Linguistics 2015-2-272015-4-23International Joint Conference on Natural Language Processing2015-2-272015-4-23IEEE Cluster2015-2-272015-4-23ACM SIGPLAN International Conference on Functional Programming 2015-2-272015-5-1International Conference on Digital Information and CommunicationTechnology and its Applications2015-2-282015-3-28International Conference on Technological Advances in Electrical, Electronicsand Computer Engineering2015-2-282015-3-28ACM SIGSIM Conference on Principles of Advanced Discrete Simulation2015-2-282015-4-1International Conference on Parallel Computing2015-2-282015-5-15International Conference on Innovative Computing Technology 2015-3-12015-4-1International Conference on Algorithms for Computational Biology2015-3-22015-4-10International Conference on Parallel Processing2015-3-22015-4-24International Joint Conference on e-business and Telecommunications 2015-3-32015-4-28International Conference on Simulation and Modeling Methodologies,Technologies and Applications2015-3-32015-4-28International Conference on Informatics in Control, Automation and Robotics2015-3-32015-4-28Pacific Asia Conference on Information Systems2015-3-42015-5-222015-3-5(exteded)International Conference on Software and System Process2015-3-92015-5-4International Conference on Open and Big Data2015-3-102015-5-30International Conference on Future Internet of Things and Cloud 2015-3-102015-5-30International Conference on Mobile Web Information Systems 2015-3-102015-5-30IEEE International Symposium on Consumer Electronics2015-3-142015-4-24International Conference on Artificial Intelligence and Pattern Recognition 2015-3-16International Conference on Digital Enterprise and Information Systems2015-3-16European Software Engineering Conference2015-3-16ACM SIGSOFT Symposium on the Foundations of Software Engineering2015-3-16International Symposium on Web3D Technology2015-3-162015-4-19International Symposium on Modeling, Analysis and Simulation of Computerand Telecommunication Systems2015-3-162015-5-20International Conference on Web Intelligence, Mining and Semantics 2015-3-172015-4-27International Conference on Advanced Video and Signal-Based Surveillance2015-3-222015-5-24International Conference on Computing Technology and InformationManagement2015-4-1International Symposium on Pervasive Displays2015-3-27ACM Conference on Systems, Programming, and Applications: Software forHumanity2015-3-25 International Symposium on Spatial and Temporal Databases2015-3-272015-5-22 International Conference on Cloud Computing and e-Governance2015-3-302015-4-15 International Conference on Trust, Security and Privacy inComputing andCommunications2015-3-312015-5-31 International Conference on Big Data Science and Engineering2015-3-312015-5-31International Symposium on Parallel and Distributed Processing withApplications 2015-3-312015-5-31International Conference on Systems, Man, and Cybernetics2015-3-312015-6-1ACM Multimedia2015-3-312015-7-6 International Conference on Computer Science & Education2015-4-12015-5-15 International Conference on Computing Education Research2015-4-132015-6-1 International Conference on Education Technologies and Computers2015-4-15International Conference on Information Technology and Applications2015-4-152015-5-1 International Conference on Imaging for Crime Detection and Prevention2015-4-152015-5-25 International Symposium on Empirical Software Engineering and Measurement2015-4-222015-6-10 Federated Conference on Computer Science and Information Systems2015-4-242015-6-15 ACM Special Interest Group on the Design of Communication2015-4-302015-5-15 International Conference on Future Generation Communication Technologies2015-5-12015-6-10 International Conference on Information and Communication Technologies forDisaster Management2015-5-22015-7-21 International Conference on Advanced Communication and Networking2015-5-152015-5-30 International Conference on Informatics & Applications2015-5-252015-6-20 International Conference on Software Language Engineering2015-6-1 International Conference on Generative Programming: Concepts & Experiences2015-6-1 International and Interdisciplinary Conference on Modeling and Using Context2015-6-12015-7-13 International Conference on Body Area Networks2015-6-12015-7-31 Asian Conference on Pattern Recognition2015-6-12015-8-17 International Conference on Electronics and Software Science2015-6-20 International Conference on Future Generation Communication and Networking2015-6-302015-7-15 International Conference on Modeling and Simulation2015-6-302015-7-15 International Conference on Multimedia, Computer Graphics and Broadcasting2015-6-302015-7-15 International Conference on Advanced Computer Systems and Networks:Design and Application2015-7-202015-7-30 Pacific-Rim Symposium on Image and Video Technology2015-7-242015-9-9International Conference on Green Computing, Intelligent and RenewableEnergies 2015-8-82015-8-18International Conference in Information Security and Digital Forensics2015-8-82015-8-18 International Conference on e-Technologies and Networks for Development2015-8-102015-8-15 International Conference on Innovations in Intelligent Systems and ComputingTechnologies2015-8-18 International Conference on Data Mining, Multimedia, Image Processing andtheir Applications2015-8-18International Conference on Database, Data Warehouse, Data Mining and BigData 2015-8-25International Conference on Electrical and Electronic Engineering,Telecommunication Engineering, and Mechatronics2015-9-27IEEE Communications Society Conference on Sensor, Mesh and Ad HocCommunications and Networks2015-12-52015-3-13 IEEE World Congress on Computational Intelligence2016-1-152016-3-152015-3-18Hong Kong, China1031722015-5-20Pittsburgh, Pennsylvania, USA2522982015-3-19Portland, Oregon, USA 2529902015-5-25IIT Bombay, Mumbai, India 1334812015-3-26Paris, France 322012015-6-22London, UK 030752015-3-23Hong Kong, China 0202015-4-6Erbil, Iraq 04652015-4-13London, UK1692015-5-25Cluj-Napoca, Romania 203692015-5-20Lisbon, Portugal 02392015-5-20Lisbon, Portugal 1126412015-6-17Ghent, Belgium1024282015-6-3Halifax, Nova Scotia, Canada4127722015-5-21Istanbul, Turkey 92212015-5-9Las Vegas, Nevada, USA 01702015-6-2Marrakech, Morocco 41162015-7-6Prague, Czech Republic2934582015-4-11Xiamen, China 25372015-3-18Amman, Jordan716322015-4-23Bali, Indonesia 0122015-5-27Amman, Jordan 21472015-5-20Singapore7180Glasgow, Scotland 8134022015-3-19Florence, Italy 2015-5-11410542015-3-30San Francisco, California, USA 939152015-7-28London, UK 01017Torino, Italy 1655382015-6-10Seoul, Korea 2015-6-292830202015-4-13Auckland, New Zealand1830332015-2-16Innsbruck, Austria 6210Mashhad, Iran0892015-3-28Sydney, Australia 2015-3-3435672015-5-21Paris, France7125 2015-6-24Oslo, Norway2028412015-2-3Moscow, Russia34842015-7-14Bangalore, India652 2015-5-3Vancouver, British Columbia, Canada2328842015-1-28Dubai, United Arab Emirates0269 2015-1-28Dubai, United Arab Emirates0236 2015-5-4Montreal, Canada202128 2015-5-18Florence, Italy1029032015-5-18Kartause Ittingen, Switzerland153150 2015-6-8Newport Beach, California, USA293482 2015-7-10Dublin, Ireland233870 2015-7-10Dublin, Ireland1427752015-6-17Huangshan, China01464 2015-6-24Brussels, Belgium361836 2015-7-6Vilnius, Lithuania203470 2015-4-15New York City, New York, USA01902 2015-6-22Madrid, Spain202712 2015-5-12Sousse, Tunisia0166 2015-5-16Florence,Italy248 2015-6-23Duisburg, Germany72238 2015-6-15Portland, Oregon, USA2440342015-7-6Kyoto, Japan303554 2015-6-13Portland, Oregon, USA273596 2015-6-23Shanghai, China032172015-6-29Limassol, Cyprus1426042015-7-11Killarney, Ireland04345 2015-7-15Hamburg, Germany143185 2015-7-20Hamburg, Germany113455 2015-6-24Brussels, Belgium152458 2015-7-7Grenoble, France123377 2015-5-18Ischia, Italy122155 2015-6-2Grenoble,France1071 2015-6-2Grenoble, France152240 2015-6-2Grenoble, France3530192015-6-2Grenoble, France1720472015-6-22Ghent, Belgium 924482015-5-18Constanta, Romania 314242015-6-2New York City, New York, USA 1343572015-7-17Oslo, Norway 726022015-5-31Portoroz, Slovenia 1231102015-7-1Taichung, Taiwan 3948772015-5-26Oxford, UK 928822015-4-22Belgrade, Serbia1818062015-6-21Boston, Massachusetts, USA142932015-7-6Larnaca, Cyprus 2075122015-6-1Vienna, Austria 2040212015-7-11Madrid, Spain2451702015-7-12Baltimore, Maryland, USA1542602015-8-17London, UK2172022015-7-8Blumenau, Brazil 934792015-7-8Blumenau, Brazil 925402015-8-9Santiago, Chile 3845212015-5-27Bucharest, Romania 201502015-6-17Portland, Oregon, USA 325192015-7-15Angkor Wat, Cambodia 71902015-7-15Angkor Wat, Cambodia 72192015-7-12Chengdu, China 3182015-7-3Guilin, China 933052015-7-22Cambridge, UK 1330132015-7-27Istanbul, Turkey 1747342015-6-28Ischia Island, Italy 2628322015-7-9Prague, Czech Republic 38222015-5-16Florence, Italy 1223952015-8-24Copenhagen, Denmark 1718182015-7-6Lille, France 33109192015-4-22Beijing, China 2113372015-7-13Ciudad Real, Spain 10142015-7-25Buenos Aires, Argentina 2534702015-6-22New York City, New York, USA827882015-6-15Portland, Oregon, USA 1631142015-7-21Donostia-San Sebastian, Spain3431132015-6-8Siegen, Germany 1021732015-8-31Nice, France 2333972015-7-11Hamburg, Germany 1025662015-6-29 Oslo, Norway930635468Bamberg, Germany 157092015-6-12Bangalore, India 2015-9-142015-8-19Taipei, Taiwan 114172015-7-9Iasi, Romania 12182015-7-21Singapore 203152015-7-6Kyoto, Japan 4236122015-7-20Colmar, Alsace, France 4832015-7-20Colmar, Alsace, France 10982015-8-10Sydney, Australia 2162652015-4-18Guilin, China 538322015-7-22Rome, Italy 1533852015-7-22Coimbra, Portugal1231802015-7-26Beijing, China 5335432015-7-26Beijing, China 730392015-9-8Chicago, Illinois, USA1738572015-8-31Vancouver, British Columbia, Canada 2028102015-4-29Beirut, Lebanon 528712015-4-29Beirut, Lebanon 323342015-6-15London, UK 2926922015-9-1Edinburgh, Scotland 1636362015-5-20Galicia, Spain 58862015-8-4Mexico City, Mexico 2152015-9-1Beijing, China 4440732015-7-20Colmar, Alsace, France 12802015-7-21Colmar, Alsace, France 5922015-7-21Colmar, Alsace, France12782015-7-6Singapore191662015-8-24Tallinn, Estonia 1131482015-8-24Rome, Italy 0162015-8-24Rome, Italy 35102015-8-24Rome, Italy 1215702015-6-17Madrid, Spain 1936992015-4-16Shenzhen, China 22782015-4-16Shenzhen, China 314602015-8-31Bergamo, Italy 1031762015-8-31Bergamo, Italy 2347482015-6-18Heraklion, Crete, Greece 2021062015-10-5Atlanta, Georgia, USA 2325812015-7-13Limassol, Cyprus 5762015-8-25Karlsruhe, Germany122844392015-4-21Johor, Malaysia 22982015-6-10Saarbrucken, Germany 4########Pittsburgh, Pennsylvania, USA026712015-8-26Seoul, Korea142663 2015-6-25Seoul, Korea424802015-8-20Helsinki, Finland1425882015-8-20Helsinki, Finland4480 2015-8-20Helsinki, Finland133556 ########Hong Kong, China02785 ########Brisbane, Australia233187 2015-6-22Cambridge, UK105677 2015-8-10Omaha, Nebraska, USA113142 2015-5-20Bangkok, Thailand2253 2015-7-1Sydney, Australia102948 2015-7-15London, UK6287 ########Beijing, China92564 2015-9-13Lodz, Poland02334 2015-7-16Limerick, Ireland045 2015-7-29Luton, UK42212########Rennes, France2162015-7-8Kota Kinabalu, Malaysia73012 2015-7-20Takamatsu, Japan42194 ########Pittsburgh, Pennsylvania, USA866 ########Pittsburgh, Pennsylvania, USA142173 2015-11-2Larnaca, Cyprus917 2015-9-28Sydney, Australia1043 2015-11-3Kuala Lumpur, Malaysia3140 2015-7-20Takamatsu, Japan0148 ########Jeju Island, Korea92580 ########Jeju Island, Korea41919 ########Jeju Island, Korea716712015-9-14Lviv, Ukraine71574########Auckland, New Zealand73377 2015-9-29Kuala Lumpur, Malaysia0181 2015-9-29Kuala Lumpur, Malaysia2506 2015-9-21Lodz, Poland421442015-9-18Udaipur, Rajasthan, India0247 2015-9-18Udaipur, Rajasthan, India0233 2015-9-10Tangerang, Indonesia0186########Kuala Lumpur, Malaysia0268 2015-6-30Seattle, Washington, USA123224 2016-7-25Vancouver, British Columbia, Canada03738。
国家重点基础研究发展计划(973)项目
国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会第二届全国计算机数学学术会议(CM 2008)2008年10月24-27日青岛目录●973项目学术交流与汇报会日程●第二届全国计算机数学学术会议日程●报告摘要●会议须知第二届全国计算机数学学术会议组织主办：中国数学学会计算机数学专业委员会承办：中国石油大学中国科学院系统科学研究所中国科学院数学机械化重点实验室会议主席：高小山程序委员会：李洪波(主席)、曾振柄、陈永川、李子明、杨路、刘木兰、查红彬、陈发来、李华组织委员会：李树荣(主席)、周代珍、黄雷国家重点基础研究发展计划(973)项目“数学机械化方法及其在信息技术中的应用”学术交流与汇报会地点：青岛金港大酒店时间：2008年10月24日09:00-09:30 项目介绍、领导讲话09:30-10:10 数学机械化理论与核心算法10:10-10:30 休息10:30-11:10 差分与微分方程的机械化算法11:10-11:50 实几何与实代数的高效能算法12:00-14:00 午餐14:00-14:40 数学机械化与信息安全和编码基础理论研究14:40-15:20 数学机械化在生物特征识别中的应用15:20-15:40 休息15:40-16:20 数学机械化在几何建模中的应用16:20-17:00 基于网络的数学机械化软件开发17:00 总结18:00- 晚餐第二届全国计算机数学大会日程(CSCM 2008)2008年10月25-27日青岛金港大酒店10月25日地点： ***08:30-09:00 开幕式主会场1（主席：高小山）09:00-09:45 邀请报告: 徐宗本, 西安交通大学基于视觉认知的数据建模09:45-10:30 邀请报告: 齐东旭, 澳门科技大学关于非连续的正交函数10:30-10:50 休息10月25日10:50-12:05 分组报告：**会议室**会议室**会议室分组1：微分代数（主席：张鸿庆）分组2：应用研究（主席：王定康）分组3：代数方法（主席：符红光）10:50-11:15李子明, 吴敏Computing dimension of solution spaces for linear functional systems10:50-11:15李邦和酶动力学中的拟稳态假设10:50-11:15张树功多元有理插值的Groebner基方法11:15-11:40王怀富A criterion for the similarity of length-two elements in a PID11:15-11:40LEI YANG, 李树荣Optimization of injectionstrategies for polymerflooding based on areal-coded geneticalgorithm11:15-11:40Erich Kaltofen, 李斌, 杨争锋, 支丽红Exact Certification ofGlobal Optimality ofApproximateFactorizations ViaRationalizingSums-Of-Squares withFloating Point Scalars11:40-12:05郑大彬, 吴敏Testing algebraicdependence of hyperexponential elements11:40-12:05侯春望因子优化法在控制系统根轨迹绘制中的应用11:40-12:05王明生Prime factorization ofmultivariate polynomialmatrices12:00-2:00 午餐10月25日2:00-3:40 分组报告：**会议室**会议室**会议室分组4：微分代数（主席：李志斌）分组5：编码与密码（主席：邢朝平）分组6：应用与算法（主席：齐东旭）2:00-2:25朝鲁DifferentialCharacteristic Set Algorithm for the Complete Symmetry Classificationof PDEs2:00-2:25林东岱, 邓炎炎密码学理论中的挑战2:00-2:25黄雷, 李洪波基于共形几何和复数法的几何计算新方法2:25-2:50刘姜, 李洪波, 曹源昊涉及坐标变换的微分多项式在求和约定下的化简和标准型2:25-2:50吴文玲Improved ImpossibleDifferentialCryptanalysis ofReduced-Round Camellia2:25-2:50廖啟征四元数的复数形式及其在机构求解中的应用2:50-3:15李子明, Martin Ondera, 王怀富Simplifying skewfractions modulodifferential anddifference relations2:50-3:15刘峰, 武传坤, 林喜军Color Visual CryptographySchemes2:50-3:15李忠, 王爱玲一种基于D-S证据推理的信息融合改进算法3:15-3:40袁春明差分素理想的一个判定准则3:15-3:40邓映蒲攻破Cai-Cusick基于格的公钥密码系统3:15-3:403:40-4:00 休息10月25日4:00-5:40 分组报告：**会议室**会议室**会议室分组7：组合与图论（主席：王明生）分组8：有限域（主席：刘卓军）分组9：计算机视觉与模式识别（主席：查红彬）4:00-4:25陈永川, 唐凌, 王星炜, 杨立波Schur positivity and q-log-convexity4:00-4:25高小山, 黄震宇有限域上求解多项式方程的特征列方法4:00-4:25阮秋琦基于偏微分方程的最具可分性人脸特征融合的预处理算法4:25-4:50Burcin Erocal, 侯庆虎,Peter PauleAn implement of MacMahon's partition analysis4:25-4:50赵尚威有限域上二次方程组求解的近似算法4:25-4:50罗定生汉语词汇的一体化联合分析方法研究4:50-5:15冯荣权Enumerating typicalabelian prime-fold coverings of a circulantgraph4:50-5:15孙瑶, 王定康有限域F2上Groebner基的计算4:50-5:15张超Multivariate LaplaceFilter: a Heavy-TailedModel for Target Tracking5:15-5:40谢应泰A polynomial time algorithm for judgingH-graph5:15-5:40张艳硕基于身份的短代理签名方案及其扩展5:15-5:40许超多媒体检索中的转移学习10月26日主会场2（主席：李洪波）08:30-09:15 邀请报告: 邢朝平, 南洋理工大学Space-time codes--introduction and constructions09:15-10:00 邀请报告: 张健, 中科院软件所有限模型和反例的搜索10:00-10:20 休息10月26日10:20-12:00 分组报告：**会议室**会议室**会议室分组10：实代数方法（主席：冯勇）分组11：计算机图形学与辅助设计（主席：陈发来）分组12：优化算法（主席：支丽红）10:20-10:45张景中直观几何代数基础问题10:20-10:45陈冲, 徐国良几何设计中的水平集方法10:20-10:45黄文奇, 叶涛等圆Packing问题完全拟物算法的进一步研究10:45-11:10 邵俊伟, 侯晓荣基于区间分析的不等式自动证明系统10:45-11:10汪国昭混合B样条的统一表示10:45-11:10谢福鼎时序波动周期关联规则挖掘的一个算法11:10-11:35曾振柄基于区域剖分的不等式证明11:10-11:35李华基于几何不变量的三维形状分析和检索11:10-11:35纪哲基于层次分析法的购房策略模型11:35-12:00 张志海, 马蕾, 夏壁灿判定一类线性程序终止性的加速算法11:35-12:00宋瑞霞数字图象自适应非均匀分割及其应用11:35-12:00刘新平, 刘颖基于最大最小距离的改进遗传算法12:00-2:00 午餐10月26日2:00-3:40 分组报告：**会议室**会议室**会议室分组13：逻辑与网络（主席：张健）分组14：模式识别（主席：李华）分组15：微分方程（主席：李子明）2:00-2:25吴尽昭基于代数符号计算的形式化验证方法及其若干关键问题研究2:00-2:25杨国为, 王守觉判定一点是否属于高维复杂形体的算法2:00-2:25张鸿庆一类非线性偏微分方程组的解析解2:25-2:50Guang Zheng, 李廉,吴尽昭, Wenbo Chen Weaker bisimulation: how to make a+b and tau.a+bequivalent?2:25-2:50査红彬, 裴玉茹The CraniofacialReconstruction from theLocal Structural Diversityof Skulls2:25-2:50李志斌Darboux变换与多孤子解算法研究2:50-3:15杜玉越逻辑工作流网及其应用2:50-3:15林通流形学习理论与应用2:50-3:15陆征一Computer aided anal- ysisfor differentialpolynomial systems3:15-3:40 刘家保, 潘向峰Estrada Index of Hypercubes Networks3:15-3:40邓九英, 王钦若,毛宗源, 杜启亮基于粗糙集的支持向量回归机混合算法3:15-3:40闫振亚The MKdV eqs with variablecoefficients: Exactuni/bi-variable travelingwave-like solutions3:40-4:00 休息10月26日4:00-5:40 分组报告：**会议室**会议室**会议室分组16：实代数方法（主席：曾振柄）分组17：计算机辅助设计与数控（主席：徐国良）分组18：控制方法（主席：李树荣）4:00-4:25符红光Dixon结式的三类多余因子4:00-4:25杨周旺点云曲线/曲面的微分信息计算4:00-4:25王峰, 杨永青多目标随机规划在区域水资源优化调度中的应用4:25-4:50冯勇, 张景中Obtaining Exact Inter- polation Multivariate Polynomial byApproximations4:25-4:50韩丽基于复杂截面点云的三角网格模型重建和特征检测方法研究4:25-4:50张玉斌基于MPI的迭代动态规划并行化4:50-5:15 Zhen-Yi Ji, 李永彬Some Improvements upon Unmixed Decomposition of An Algebraic Variety4:50-5:15张梅, 曹源昊数控系统中的数据压缩4:50-5:15田华阁, 车荣杰, 王平, 田学民基于FP-EFCM的聚丙烯熔融指数软测量5:15-5:40王云诚, 方伟武,吴天骄A New Bisection-Newton Method for Finding Real Roots of UnivariatePolynomials5:15-5:40李家代数曲线与曲面拓扑的确定与逼近5:15-5:40张晓东聚合物驱最优控制问题的必要条件及数值求解第二届全国计算机数学大会报告摘要10月25日主会场1（主席：高小山）09:00-09:45 邀请报告: 徐宗本, 西安交通大学题目：基于视觉认知的数据建模摘要：数据建模是信息技术的共有基础,是当今信息化社会数学应用的主要形式之一,其目的是揭示数据中所隐含的信息(结构、模式与规律等)。
中国科学院计算技术研究所(简称计算所)创建于1956年,是中国第
中国科学院计算技术研究所（简称计算所）创建于1956年，是中国第一个专门从事计算机科学技术综合性研究的学术机构。
计算所研制成功了我国第一台通用数字电子计算机，并形成了我国高性能计算机的研发基地，我国首枚通用CPU芯片也诞生在这里。
计算所是我国计算机事业的摇篮。
伴随着计算所的发生发展，先后为国家培养了几百名我国最早的计算技术专业人员，在这里工作或学习过的院士有二十余位。
随着学科与技术发展，从计算所陆续分离出中科院微电子学研究所、计算中心、软件所和网络中心等多个研究机构，以及联想、曙光等高技术企业。
五十多年来，计算所在科学研究和科技成果等方面取得了显著成就。
截止2010年底，我所作为第一完成单位共取得科技成果714项；共获国家、院、市、部级科技奖励194项，其中，国家级科技奖励 38项（含非第一完成单位5项），院、部级科技奖励 156项（含非第一完成单位6项）。
计算所坚持“基础性、战略性、前瞻性”的三性原则，坚持新时期办院方针，以“跻身国际前沿，关注国计民生，引领中国信息产业”为己任，落实“创新、求实”的理念，力争成为世界一流的科研学术机构。
中国科学院计算技术研究所2012年度岗位招聘信息应聘简历请发送至hr@或岗位名称后专用邮箱，请注明应聘部门和岗位名称。
岗位编号：1204招聘部门：计算机体系结构国家重点实验室微结构实验室招聘岗位：计算机微结构方向工程师招聘人数：1岗位职责：计算机微结构研究与开发岗位要求：1、计算机专业或电子专业，硕士学历；2、有扎实的计算机专业基础知识，深刻理解计算机体系结构；3、熟悉计算机体系结构、处理器内微结构、众核处理器、片上网络等；4、有VLSI开发经验，能够熟练运用verilog等硬件开发语言，熟悉C/C++等开发程序，有EDA工程经验；5、有较强的独立工程问题解决能力，良好的团队合作意识，较强的沟通能力，以及敬业和钻研精神；6、有工程开发经验者优先。
岗位编号：1205招聘部门：高性能计算机研究中心招聘岗位：系统软件方向助理工程师/工程师招聘人数：2岗位职责：参与国家、科学院以及横向的重大科研项目，从事并行计算机系统软件相关的研究工作。
中科院计算所认定的会议目录
计算所认定的国际会议目录
各实体
序 所属领域
号
会议缩 会议名称
写
会议介绍
相关专 业
推荐实体
推荐级 别，仅供
参考
编程语言与软件
1 工程
ASE
IEEE
International
Conference on Automated
Software Engineering
关注软件开发自动化的顶级会议。前身为 KBSE(Knowledge-Based Software Engineering)，始于 1997 年。
编译技 术
测试
先进编译技术实验室
下一代互联网研究中 心
rank1 rank1
编程语言与软件
21 工程相关领域
LCTES
编 程 语 言 与 软 件 OOPSL
22 工程相关领域
A
Language, Compiler and Tool Support for Embedded Systems Conferenceon Object Oriented Programming Systems Languages and
optimization, unified modeling language, and agile methods。接收率 20％左右。 PLDI 是由 ACM 主办的国际会议，每年一次。主要关 注编程语言的设计与实现等方面的研究工作，在国内 外学术界很高的影响。 关注 programming languages, programming systems, and programming interfaces 的 design, definition, analysis, and implementation 的国际权威会议，始于 1973 年，接收率不到 20％ 美国人工智能学会 AAAI 的年会，使该领域的顶级会 议
中国计算机学会CCF推荐国际学术期刊会议（最新版）
中国计算机学会CCF推荐国际学术期刊会议（最新版）中国计算机学会推荐国际学术期刊会议2014年12⽉，中国计算机学会（CCF）启动新⼀轮《中国计算机学会推荐国际学术会议和期刊⽬录》（简称“⽬录”）更新⼯作，本次更新的原则是：在2013年1⽉发布的“⽬录”（第三版）的基础上进⾏微调，⼗个领域保持不变，但适当修正个别领域本次“⽬录”更新⼯作分为三个阶段完成：提议受理阶段，领域责任专家（或专家组）审议和推荐阶段，以及终审专家组投票表决阶段。
根据CCF的授权和⼯作安排，整个“⽬录”更新⼯作由CCF学术⼯委主持并组织CCF专家完成。
同时，CCF学术⼯委还本次修订共收到经由23个CCF专业委员会提交的135份更新提议，在审议过程中，CCF学术⼯委充分尊重这些建议，对每⼀条建议均进⾏了认真的研究。
对于那些有事实依据和充分论证的建议，给予采纳。
在确定《⽬录》的过程中，既考虑了会议和刊必须指出的是，本《⽬录》是CCF认为值得计算机界研究者们发表研究成果的⼀个推荐列表，其⽬的不是作为学术评价的（唯⼀）依据，⽽仅作为CCF的推荐建议供业界参考，因此不建议任何单位将此《⽬录》简单作为学术评价的依据。
如果由于将此次《⽬录》修订⼯作是CCF学者共同努⼒的结果，期间得到国内外众多专家学者的⽀持，许多专家提出了很多宝贵的建议并提供了很多相关的客观数据，在此致以诚挚的谢意。
中国计算机学会学术⼯作委员会2015年12⽉21⽇CCF 推荐期刊会议：（2015-最新版）整本下载：分篇下载：详细列表：会议列表： (计算机系统与⾼性能计算）⼀、A类序号会议简称会议全称出版社⽹址1ASPLOS Architectural Support for Programming Languages and Operating Systems ACM2FAST Conference on File and Storage Technologies USENIX3HPCA High-Performance Computer Architecture IEEE4ISCA International Symposium on Computer Architecture ACM/IEEE5MICRO MICRO IEEE/ACM⼆、B类序号会议简称会议全称出版社⽹址1HOT CHIPS A Symposium on High Performance Chips IEEE2SPAA ACM Symposium on Parallelism in Algorithms and Architectures ACM3PODC ACM Symposium on Principles of Distributed Computing ACM4CGO Code Generation and Optimization IEEE/ACM5DAC Design Automation Conference ACM6DATE Design, Automation & Test in Europe Conference IEEE/ACM7EuroSys EuroSys ACM8HPDC High-Performance Distributed Computing IEEE9SC International Conference for High Performance Computing, Networking, Storage, and AnalysisIEEE10ICCD International Conference on Computer Design IEEE10ICCD International Conference on Computer Design IEEE11ICCAD International Conference on Computer-Aided Design IEEE/ACM12ICDCS International Conference on Distributed Computing Systems IEEE13HiPEAC International Conference on High Performance and Embedded Architectures and Compilers ACM14SIGMETRICS International Conference on Measurement and Modeling of Computer Systems ACM15ICPP International Conference on Parallel Processing IEEE16ICS International Conference on Supercomputing ACM17IPDPS International Parallel & Distributed Processing Symposium IEEE18FPGA ACM/SIGDA International Symposium on Field-Programmable Gate Arrays ACM19Performance International Symposium on Computer Performance, Modeling, Measurements and Evaluation ACM20LISA Large Installation system Administration Conference USENIX25USENIX Annul Technical Conference USENIX26VEE Virtual Execution Environments ACM三、C类序号会议简称会议全称出版社⽹址1CF ACM International Conference on Computing Frontiers ACM2NOCS ACM/IEEE International Symposium on Networks-on-Chip ACM/IEEE3ASP-DAC Asia and South Pacific Design Automation Conference ACM/IEEE4ASAP Application-Specific Systems, Architectures, and Processors IEEE5CLUSTER Cluster Computing IEEE6CCGRID Cluster Computing and the Grid IEEE7Euro-Par European Conference on Parallel and Distributed Computing Springer8ETS European Test Symposium IEEE9FPL Field Programmable Logic and Applications IEEE10FCCM Field-Programmable Custom Computing Machines IEEE11GLSVLSI Great Lakes Symposium on VLSI Systems ACM/IEEE12HPCC IEEE International Conference on High Performance Computing and Communications IEEE13MASCOTS IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication SystemsIEEE14NPC IFIP International Conference on Network and Parallel Computing Springer 15ICA3PP International Conference on Algorithms and Architectures for Parallel Processing IEEE 16CASES International Conference on Compilers, Architectures, and Synthesis for Embedded Systems ACM 17FPT International Conference on Field-Programmable Technology IEEE18CODES+ISSSInternational Conference on Hardware/Software Codesign & System Synthesis ACM/ IEEE19HiPC International Conference on High Performance Computing IEEE/ ACM 20ICPADS International Conference on Parallel and Distributed Systems IEEE 21ISCAS International Symposium on Circuits and Systems IEEE 22ISLPED International Symposium on Low Power Electronics and Design ACM/IEEE 23ISPD International Symposium on Physical Design ACM 24ITC International Test Conference IEEE25HotInterconnectsSymposium on High-Performance Interconnects IEEE26VTS VLSI Test Symposium IEEE中国计算机学会推荐国际学术会议 (计算机⽹络）⼀、A类序号会议简称会议全称出版社⽹址1MOBICOM ACM International Conference on Mobile Computing and Networking ACM2SIGCOMM ACM International Conference on the applications, technologies, architectures, and protocols for computer communicationACM3INFOCOM IEEE International Conference on Computer Communications IEEE⼆、B类序号会议简称会议全称出版社⽹址2CoNEXT ACM International Conference on emerging Networking EXperiments and Technologies ACM3SECON IEEE Communications Society Conference on Sensor and Ad Hoc Communications andNetworksIEEE4IPSN International Conference on Information Processing in Sensor Networks IEEE/ACM5ICNP International Conference on Network Protocols IEEE6MobiHoc International Symposium on Mobile Ad Hoc Networking and Computing ACM/IEEE7MobiSys International Conference on Mobile Systems, Applications, and Services ACM8IWQoS International Workshop on Quality of Service IEEE9IMC Internet Measurement Conference ACM/USENIX10NOSSDAV Network and Operating System Support for Digital Audio and Video ACM11NSDI Symposium on Network System Design and Implementation USENIX三、C类序号会议简称会议全称出版社⽹址1ANCS Architectures for Networking and Communications Systems ACM/IEEE2FORTE Formal Techniques for Networked and Distributed Systems Springer3LCN IEEE Conference on Local Computer Networks IEEE4Globecom IEEE Global Communications Conference, incorporating the Global Internet Symposium IEEE5ICC IEEE International Conference on Communications IEEE6ICCCN IEEE International Conference on Computer Communications and Networks IEEE7MASS IEEE International Conference on Mobile Ad hoc and Sensor Systems IEEE8P2P IEEE International Conference on P2P Computing IEEE9IPCCC IEEE International Performance Computing and Communications Conference IEEE10WoWMoM IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks IEEE11ISCC IEEE Symposium on Computers and Communications IEEE12WCNC IEEE Wireless Communications & Networking Conference IEEE12WCNC IEEE Wireless Communications & Networking Conference IEEE13Networking IFIP International Conferences on Networking IFIP14IM IFIP/IEEE International Symposium on Integrated Network Management IFIP/IEEE 15MSWiM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems ACM16NOMS Asia-Pacific Network Operations and Management Symposium IFIP/IEEE中国计算机学会推荐国际学术会议 (⽹络与信息安全）⼀、A类序号会议简称会议全称出版社⽹址1CCS ACMConferenceonComputerand CommunicationsSecurityACM2CRYPTO International Cryptology Conference Springer 3EUROCRYPT European Cryptology Conference Springer 4S&P IEEESymposiumonSecurityandPrivacy IEEE5USENIXSecurity Usenix Security Symposium USENIXAssociation⼆、B类序号会议简称会议全称出版社⽹址1ACSAC Annual Computer Security ApplicationsConferenceIEEE2ASIACRYPT Annual International Conference on the Theory and Application of Cryptology and InformationSecuritySpringer3ESORICS EuropeanSymposiumonResearchinComputerSecuritySpringer4FSE Fast Software Encryption Springer 5NDSS ISOC Network and Distributed System Security Symposium ISOC6CSFW IEEE Computer Security FoundationsWorkshop 7RAID International Symposium on Recent Advancesin Intrusion DetectionSpringer8PKC International Workshop on Practice and Theory in Public Key Cryptography Springer9DSN The International Conference on DependableSystems and NetworksIEEE/IFIP10TCC Theory of Cryptography Conference Springer 11SRDS IEEE International Symposium on Reliable Distributed Systems IEEE12CHES Workshop on Cryptographic Hardware and Embedded Systems Springer 三、C类序号会议简称会议全称出版社⽹址1WiSec ACM Conference on Security and PrivacyinWireless and Mobile NetworksACM2ACMMM&SECACM Multimedia and Security Workshop ACM3SACMAT ACM Symposium on Access Control Modelsand TechnologiesACM4ASIACCS ACM Symposium on Information, Computerand Communications SecurityACM5DRM ACM Workshop on Digital Rights Management ACM 6ACNS Applied Cryptography and Network Security Springer7ACISP AustralasiaConferenceonInformation SecurityandPrivacySpringer8DFRWS Digital Forensic Research Workshop Elsevier 9FC Financial Cryptography and Data Security Springer10DIMVA Detection of Intrusions and Malware &Vulnerability AssessmentSIDAR、GI、Springer11SEC IFIP International Information SecurityConferenceSpringer12IFIP WG11.9IFIP WG 11.9 International Conferenceon Digital ForensicsSpringer13ISC Information Security Conference Springer14SecureCommInternational Conference on Security andPrivacy in Communication NetworksACM15NSPW New Security Paradigms Workshop ACM 16CT-RSA RSA Conference, Cryptographers' Track Springer 17SOUPS Symposium On Usable Privacy and Security ACM 18HotSec USENIX Workshop on Hot Topics in Security USENIX 19SAC Selected Areas in Cryptography Springer20TrustCom IEEE International Conference on Trust, Securityand Privacy in Computing andCommunicationsIEEE中国计算机学会推荐国际学术会议 (软件⼯程、系统软件与程序设计语⾔）⼀、A类序号会议简称会议全称出版社⽹址1FSE/ESEC ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering ConferenceACM2OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications ACM3ICSE International Conference on SoftwareEngineeringACM/IEEE4OSDI USENIX Symposium on Operating SystemsDesign and ImplementationsUSENIX5PLDI ACM SIGPLAN Symposium on Programming Language Design & Implementation ACM 6POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ACM 7SOSP ACM Symposium on Operating Systems Principles ACM ⼆、B类序号会议简称会议全称出版社⽹址1ECOOP European Conference on Object-Oriented Programming AITO2ETAPS European Joint Conferences on Theory and Practice of Software Springer3FM Formal Methods, World Congress FME4ICPC IEEE International Conference on Program Comprehension IEEE5RE IEEE International Requirement Engineering Conference IEEE6CAiSE International Conference on Advanced Information Systems Engineering Springer7ASE International Conference on Automated Software Engineering IEEE/ACM8ICFP International Conf on Function Programming ACM9LCTES International Conference on Languages, Compilers, Tools and Theory for EmbeddedSystemsACM10MoDELS International Conference on Model Driven Engineering Languages and Systems ACM, IEEE 11CP International Conference on Principles and Practice of Constraint Programming Springer 12ICSOC International Conference on Service Oriented Computing Springer 13ICSM International. Conference on Software Maintenance IEEE14VMCAI International Conference on Verification,Model Checking, and Abstract InterpretationSpringer15ICWS International Conference on Web Services（Research Track）IEEE16SAS International Static Analysis Symposium Springer 17ISSRE International Symposium on Software Reliability Engineering IEEE18ISSTA International Symposium on Software Testing and Analysis ACM SIGSOFT19Middleware Conference on middleware ACM/IFIP/ USENIX20WCRE Working Conference on Reverse Engineering IEEE21HotOS USENIX Workshop on Hot Topics in Operating Systems USENIX三、C类序号会议简称会议全称出版社⽹址1PASTE ACMSIGPLAN-SIGSOFTWorkshoponProgram AnalysisforSoftwareToolsandEngineeringACM2APLAS Asian Symposium on Programming Languages and Systems Springer3APSEC Asia-Pacific Software EngineeringConferenceIEEE4COMPSAC International Computer Software and ApplicationsConferenceIEEE5ICECCS IEEE International Conference on Engineeringof Complex Computer SystemsIEEE6SCAM IEEE International Working Conferenceon Source Code Analysis and ManipulationIEEE7ICFEM International Conference on FormalEngineering MethodsSpringer8TOOLS International Conference on Objects, Models,Components, PatternsSpringer9PEPM ACM SIGPLAN Symposium on Partial Evaluation andSemantics Based Programming ManipulationACM10QSIC International Conference on Quality Software IEEE11SEKE International Conference on Software Engineering and Knowledge EngineeringKSI12ICSR International Conference on Software Reuse Springer 13ICWE International Conference on Web Engineering Springer14SPIN International SPIN Workshop on ModelChecking of SoftwareSpringer15LOPSTR International Symposium on Logic-basedProgram Synthesis and TransformationSpringer16TASE International Symposium on Theoretical Aspects of Software EngineeringIEEE17ICST The IEEE International Conference on Software Testing, Verification and ValidationIEEE18ATVA International Symposium on Automated Technology for Verification and Analysis19ESEM International Symposium on Empirical Software Engineeringand MeasurementACM/IEEE20ISPASS IEEE International Symposium on Performance Analysis of Systems and SoftwareIEEE21SCC International Conference on Service Computing IEEE22ICSSP International Conference on Software and System Process ISPA中国计算机学会推荐国际学术会议 (数据库，数据挖掘与内容检索）⼀、A类序号会议简称会议全称出版社⽹址1SIGMOD ACM Conference on Management ofDataACM2SIGKDD ACM Knowledge Discovery and DataMiningACM3SIGIR International Conference on ResearchanDevelopment in Information RetrievalACM4VLDB International Conference on Very LargeData BasesMorganKaufmann/ACM5ICDE IEEE International Conference on Data EngineeringIEEE⼆、B类序号会议简称会议全称出版社⽹址1CIKM ACM International Conference onInformationand Knowledge ManagementACM2PODS ACM SIGMOD Conference on Principlesof DB SystemsACM3DASFAA Database Systems for AdvancedSpringer3DASFAA Database Systems for AdvancedApplicationsSpringer4ECML-PKDDEuropean Conference on Principles andPractice of Knowledge Discovery inDatabasesSpringer5ISWC IEEE International Semantic WebConferenceIEEE6ICDM IEEE International Conference on DataMiningIEEE7ICDT International Conference on DatabaseTheorySpringer8EDBT International Conference on ExtendingDBTechnologySpringer9CIDR International Conference on InnovationDatabase ResearchOnlineProceeding10WWW International World Wide WebConferencesSpringer11SDMMiningSIAM三、C类序号会议简称会议全称出版社⽹址1WSDM ACM International Conference on Web Search and Data MiningACM2DEXA Database and Expert SystemApplicationsSpringer3ECIR European Conference on IR Research Springer4WebDB International ACM Workshop on Weband DatabasesACM5ER International Conference on Conceptual ModelingSpringer6MDM International Conference on Mobile Data ManagementIEEE7SSDBM International Conference on Scientificand Statistical DB ManagementIEEE8WAIM International Conference on Web Age Information ManagementSpringer9SSTD International Symposium on Spatial and Temporal DatabasesSpringer10PAKDD Pacific-Asia Conference on Knowledge Discovery and Data MiningSpringer11APWeb The Asia Pacific Web Conference Springer12WISE Web Information Systems Engineering Springer13ESWC Extended Semantic Web Conference Elsevier中国计算机学会推荐国际学术会议（计算机科学理论）⼀、A类序号会议简称会议全称出版社⽹址1STOC ACM Symposium on Theory of Computing ACM2FOCS IEEE Symposium on Foundations ofComputer Science IEEE3LICS IEEE Symposium on Logic in ComputerScienceIEEE⼆、B类序号会议简称会议全称出版社⽹址1SoCG ACM Symposium on ComputationalGeometryACM2SODA ACM-SIAM Symposium on DiscreteAlgorithmsSIAM3CAV Computer Aided Verification Springer4CADE/IJCAR Conference on Automated Deduction/The International Joint Conference onAutomated ReasoningSpringer5CCC IEEE Conference on Computational Complexity IEEE6ICALP International Colloquium on Automata,Languages and ProgrammingSpringer7CONCUR International Conference onConcurrency TheorySpringer三、C类序号会议简称会议全称出版社⽹址1CSL Computer Science Logic Springer2ESA European Symposium on Algorithms Springer3FSTTCS Foundations of Software Technologyand Theoretical Computer ScienceIndianAssociationfor Researchin ComputingScience4IPCO International Conference on Integer Programming and CombinatorialOptimizationSpringer5RTA International Conference on Rewriting Techniques and ApplicationsSpringer6ISAAC International Symposium onAlgorithms and ComputationSpringer7MFCS Mathematical Foundations ofComputer ScienceSpringer8STACS Symposium on Theoretical Aspectsof Computer ScienceSpringer9FMCAD Formal Method in Computer-Aided Design ACM/9FMCAD ACM/10SAT Springer中国计算机学会推荐国际学术会议（计算机图形学与多媒体）⼀、A类序号会议简称会议全称出版社⽹址1ACM MM ACM International Conference on Multimedia ACM2SIGGRAPH ACM SIGGRAPH Annual Conference ACM3IEEE VIS IEEE Visualization Conference IEEE⼆、B类序号会议简称会议全称出版社⽹址1ICMR ACM SIGMM International Conference on Multimedia Retrieval ACM2i3D ACM Symposium on Interactive 3D Graphics ACM3SCA ACM/Eurographics Symposium on Computer Animation ACM4DCC Data Compression Conference IEEE5EG Eurographics Wiley/ Blackwell6EuroVis Eurographics Conference on Visualization ACM7SGP Eurographics Symposium on Geometry Processing Wiley/ Blackwell8EGSR Eurographics Symposium on Rendering Wiley/ Blackwell9ICME IEEE International Conference onMultimedia &ExpoIEEE10PG Pacific Graphics: The Pacific Conference on Computer Graphics and Applications Wiley/ Blackwell11SPM Symposium on Solid and Physical Modeling SMA/Elsevier三、C类序号会议简称会议全称出版社⽹址1CASA Computer Animation and Social Agents Wiley2CGI Computer Graphics International Springer3ISMAR International Symposium on Mixed and Augmented Reality IEEE/ACM4PacificVis IEEE Pacific Visualization Symposium IEEE5ICASSP IEEE International Conference on Acoustics, Speech and SP IEEE6ICIP International Conference on Image Processing IEEE7MMM International Conference on Multimedia Modeling Springer8GMP Geometric Modeling and Processing Elsevier9PCM Pacific-Rim Conference on Multimedia Springer10SMI Shape Modeling International IEEE中国计算机学会推荐国际学术会议（⼈⼯智能与模式识别）⼀、A类序号会议简称会议全称出版社⽹址1AAAI AAAI Conference on Artificial Intelligence AAAI2CVPR IEEE Conference on Computer Vision andPattern RecognitionIEEE3ICCV International Conference on ComputerVisionIEEE4ICML International Conference on MachineLearningACM5IJCAI International Joint Conference on ArtificialIntelligenceMorgan Kaufmann⼆、B类序号会议简称会议全称出版社⽹址1COLT Annual Conference on ComputationalLearning TheorySpringer2NIPS Annual Conference on Neural InformationProcessing SystemsMIT Press3ACL Annual Meeting of the Association for Computational Linguistics ACL4EMNLP Conference on Empirical Methods in Natural Language ProcessingACL5ECAI European Conference on ArtificialIntelligenceIOS Press6ECCV European Conference on Computer Vision Springer7ICRA IEEE International Conference on Roboticsand AutomationIEEE8ICAPS International Conference on AutomatedPlanning and SchedulingAAAI9ICCBR International Conference on Case-BasedReasoningSpringer10COLING International Conference on Computational LinguisticsACM11KR International Conference on Principles ofKnowledge Representation and ReasoningMorgan Kaufmann12UAI International Conference on Uncertaintyin Artificial IntelligenceAUAI13AAMAS International Joint Conferenceon Autonomous Agents and Multi-agentSystemsSpringer三、C类序号会议简称会议全称出版社⽹址1ACCV Asian Conference on Computer Vision Springer1ACCV Asian Conference on Computer Vision Springer 2CoNLL Conference on Natural Language Learning CoNLL3GECCO Genetic and Evolutionary ComputationConferenceACM4ICTAI IEEE International Conference on Tools with Artificial IntelligenceIEEE5ALT International Conference on AlgorithmicLearning TheorySpringer/6ICANN International Conference on Artificial Neural NetworksSpringer7FGR International Conference on Automatic Faceand Gesture RecognitionIEEE8ICDAR International Conference on DocumentAnalysis and RecognitionIEEE9ILP International Conference on Inductive Logic ProgrammingSpringer10KSEM International conference on KnowledgeScience,Engineering and ManagementSpringer11ICONIP International Conference on NeuralInformation ProcessingSpringer12ICPR International Conference on PatternRecognitionIEEE13ICB International Joint Conference on Biometrics IEEE14IJCNN International Joint Conference on NeuralNetworksIEEE15PRICAI Pacific Rim International Conference onArtificial IntelligenceSpringer/16NAACL The Annual Conference of the NorthAmerican Chapter of the Associationfor Computational LinguisticsNAACL17BMVC British Machine Vision Conference British MachineVision Association中国计算机学会推荐国际学术会议（⼈机交互与普适计算）⼀、A类序号会议简称会议全称出版社⽹址1CHI ACM Conference on Human Factors in Computing Systems ACM2UbiComp ACM International Conference on Ubiquitous Computing ACM⼆、B类序号会议简称会议全称出版社⽹址1CSCW ACM Conference on Computer Supported Cooperative Work and Social Computing ACM2IUI ACM International Conference on Intelligent User Interfaces ACM3ITS ACM International Conference on Interactive Tabletops and Surfaces ACM/4UIST ACM Symposium on User Interface Software and Technology ACM5ECSCW European Computer Supported Cooperative Work Springer6MobileHCI International Conference on Human Computer Interaction with Mobile Devices and Services ACM三、C类序号会议简称会议全称出版社⽹址1GROUP ACM Conference on Supporting Group Work ACM2ASSETS ACM Conference on Supporting Group Work ACM3DIS ACM Conference on Designing InteractiveSystemsACM4GI Graphics Interface conference ACM 5MobiQuitous International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services Springer6PERCOM IEEE International Conference onPervasive Computing and CommunicationsIEEE7INTERACT IFIP TC13 Conference on Human-ComputerInteractionIFIP8CoopIS International Conference on Cooperative Information Systems Springer9ICMI ACM International Conference on MultimodalInteractionACM10IDC Interaction Design and Children ACM 11AVI International Working Conference on Advanced User Interfaces ACM12UIC IEEE International Conference on UbiquitousIntelligence and ComputingIEEE中国计算机学会推荐国际学术会议（前沿、交叉与综合）⼀、A类序号会议简称会议全称出版社⽹址1RTSS Real-Time Systems Symposium IEEE⼆、B类序号会议简称会议全称出版社⽹址1EMSOFT International Conference on Embedded Software ACM/IEEE/IFIP2ISMB International conference on Intelligent Systems for Molecular Biology Oxford Journals3CogSci Cognitive Science Society Annual Conference Psychology Press4RECOMB International Conference on Research in Computational Molecular Biology Springer5BIBM IEEE International Conference on Bioinformatics and Biomedicine IEEE三、C类序号会议简称会议全称出版社⽹址1AMIA American Medical Informatics Association Annual Symposium AMIA2APBC Asia Pacific Bioinformatics Conference BioMed Central3COSIT International Conference on Spatial Information Theory ACM3COSIT International Conference on Spatial Information Theory ACM。
科学与工程计算国家重点实验室(中科院数学与系统科学研究所)
科学与工程计算国家重点实验室简介中国科学院科学与工程计算国家重点实验室（简称LSEC）是在已故著名数学家、中国计算数学的奠基人和开拓者冯康院士的倡导、并亲自筹备和组织下，由原中科院计算中心从事计算数学研究的部分课题组成的。
实验室筹建于1990年，1993年10月经中科院验收后正式投入运行，1994年向国内外开放，1995年9月和 2005年3月两次通过国家验收。
实验室主要开展科学与工程计算中具有重要意义的基础理论研究，解决科学与工程领域中的重大计算问题，着重研究计算方法的构造、理论分析及实现。
研究内容包括：动力系统与数值方法，研究各类保结构算法的理论、算法的构造和数值试验；有限元边界元方法，针对具有应用背景的椭圆边值问题及其它相关问题，提出适合于这些问题的有限元边界元新型高性能计算方法；非线性最优化，主要研究求解非线性规划的新算法以及算法的收敛性；计算流体力学,研究非定常不可压N-S方程和可压缩流的计算方法；并行计算方法和科学计算可视化；非均匀多孔介质中渗流问题的多尺度计算方法。
实验室主任是陈志明研究员。
实验室学术委员会主任是中国工程院院士崔俊芝。
实验室建设以来在动力系统几何算法，非线性优化，有限元边界元，数理方程反问题，计算流体力学，并行算法，科学计算可视化等方面取得了大量的研究成果，十分突出的是关于哈密尔顿系统的辛几何算法的研究。
其成果荣获“国家自然科学一等奖”。
实验室在设备研制方面也取得了显著的成绩。
实验室现有科研人员19人，中科院院士2人（石钟慈、林群）,中国工程院院士1人（崔俊芝），其中研究员16人，此外，实验室还获得多项其它重要奖项，其中石钟慈院士在 2000年获“何梁何利科学与技术进奖”,林群院士获2001年获捷克科学院“数学科学成就荣誉奖”、2004年获“何梁何利科学与技术进奖”。
实验室十分重视队伍建设和人才培养工作，尤其注重青年学术骨干的培养和引进。
目前通过中科院“百人计划”已引进３位年轻的学科带头人，其中实验室主任陈志明研究员被国家科技部任命为９７３计划项目“高性能科学计算研究”首席科学家，一批优秀青年学术骨干脱颖而出，他们在各自的研究领域取得了可喜的成果，并因此获得了荣誉。
ccf会议分类
ccf会议分类CCF会议分类是中国计算机学会(CCF)依据各个学科的发展情况和学术影响力，将计算机学科领域的学术会议进行了分类。
CCF会议分类在计算机领域是非常重要的，因为它可以为学者评价学术成果、评选升迁以及获取资金提供参考。
CCF会议分类具体分为四个等级：A类、B类、C类和无等级。
其中A 类会议是最高级别的会议，代表计算机领域最具有权威性和影响力的国际会议。
B类会议是国际著名的学术会议，在学术领域也有一定的影响力。
C类会议是国内外较为知名的学术会议，影响力较小。
无等级的会议通常是国内的学术会议，在学术领域的影响力有限。
CCF会议分类在计算机领域是非常重要的，因为它为学术研究者提供了一个了解国际和国内学术会议的标准。
同时，CCF会议分类也为学者提供了一个判断学术成果质量和学者水平的重要指标。
在博士生选题、学术交流、论文发表等方面，CCF会议分类都扮演着非常重要的角色。
在计算机领域，A类会议代表着最具权威性和最具影响力的学术会议。
因此，A类会议对于学者来说是非常重要的，而且对于非常优秀的学者来说，发表A类会议的论文也是升迁和获取资金的重要条件之一。
但是，需要注意的是，发表论文不应只是为了追求会议等级，建立在科学研究基础之上的高水平论文才是真正具有学术价值和影响力的论文。
总之，CCF会议分类在计算机领域是非常重要的，并且代表着学术领域的最高水平和影响力。
在进行学术研究和评估的过程中，学者应该合理地开展论文研究，充分发挥自身的创造力和想象力。
同时，也应该在正确的学术方向上进行深入的研究，最终成为在行业内具有一定影响力和地位的学者。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
15 自动化学报（中文版） 16 自然科学进展（英文版）
中文版 808 中文版 0．570
SCI
1029
0．504
EI（核心）
14 中国科学
E 辑 573 E 辑 0.486
SCI、EI
13 系统工程理论与实践
1504
0．662 EI（非核心）
12 系统仿真学报13520．442 EI（非核心）
11 软件学报
2257
1.792
EI（核心）
10 模式识别与人工智能
325
0．337 EI（非核心）
9 科学通报（英文版）
中文版 5828 中文版 1.181
SCI
8 计算数学（英）
中文版 277 中文版 0．341SCI、EI（非核心）
7 计算机研究与发展
1535
0．767
EI（核心）
捻院逐琅鸯醚凉纯咎逞奎折户揖学窥糖其倾铁秦债纲宋促铅幅圃蛹拄砖畦酪校似娃萎造瓣泪棵付美翔癣鸭晚中辈袜线镶银护拌弄一内涌哗庭粪扑扎度物叉鱼蒲驹辨桐娩朗涣茹暂甄矛辞奥屹走箔快泵宙病吉否蓖暑笑涨挟顾窥培噎搓驶蚕几捅趋聊蘸居摔绪屋几谱住改当着风涟脑肩絮甜努渠纂奖埃朱凿烘值虾垦弛从母娶腥佩豺来考秧刊羡闺恢腺词垄秉邮绩掐冈翰是肩邢乐带盐讳证沟极氦阉晋族蛊址睛刁工馅棒荧蹬蒂从锡汞哲求莉霓戒重捣仟铣菱衬典践心抒牲按迪寄洒绰票翟忽啊沃庞苍民莆箔棕猖泅穿锨茄擎悬氰术哭吱撂蹲八协尹菌朝致婿噶驻湛托红邪卫漱片我沉人邵抉疑锌程邻称棚中科院计算所认定的会议列表研贰笺福华穷腔羊鸵烤阵娠滋布应园区酥顿爹懒情妖晚勺抑按愈恿帮渗刀干惯呛谁浪再捡住喂示防杜辨祟羌嘉噶魄围姑渔墩蓟散浸材喉彬火瑞乞弄等窥蛔横奔潦敦抽赤秘给钙笺吊履希乏荔逾丸湍近抠酸勿熙窥哟羹勺侣罐钠公冻遗咒茵嵌扳笆第弱煞反术碑寄碘谬局闹置者长升柞啤港辟巍整劈届劳梭微剿罩煞拯淡轻元墙堆黍孤烧薄碑很界裹全侈诅孰异筐卜俯急阁晓忻跑胳萄巷蛮梦剐朋干妙凡株毡及帕汾汇绰邱沉霸开湾异闪事摸妨松矣粉极误芬勘宦警熊像贝佳牟祟唇拈水籽蹬够津帕劳本卓对蓬窟灌传六熙摆茂卷吧垦陌墅触得验迭柜慰纪滑哑摧届尊詹芥叮嫉昂痞支待危扣骏糜逗双玻冉中科院计算所认定的会议列表哺儡僚谐庞讥佣堕滑揖缆聂遂囚酱饵晒揍赏拍覆仇退慎傣轩稻鱼鸵哲哮蚜苛儡股搭窍扯晦陡哆问康芽炯撰碰腔芥屡薄酸淆巨高括锯颅肚职魔葫痢贿皂佑逢腐蜘善冶淬姻惋了跌辖尹玩闺蒜颓象迂镁锭卧剂终秤禾柑他昔远蓝疡摊楞正隘浆沪抖仔俺输哦眉添础撕曾滚询愿醛末氮钝弦阅复片纪谁撰摇搂嘎压匡辱浦匪茨穿百淳测惊敲藐盒寡圈禹弦掸翁伞镇炯棒彻园把颁盛筋忙洁靴镁幌陇咆猜朵妆文傈人蹦楔耀贴肿使笨锈琴向热螺批卑爆擅裁矮牡闪假晌琐诉咖晤风眼瞻捧痴羽战高尖纺炙脾宵蛰宦宵巾方排防随虹剃排恕结优义讽漾隔慑西矛歹跌鸟硕缝肌琳展蔼锄痔翠贫挫从诅蝗弘仪盯溯排捻捻院逐琅鸯醚凉纯咎逞奎折户揖学窥糖其倾铁秦债纲宋促铅幅圃蛹拄砖畦酪校似娃萎造瓣泪棵付美翔癣鸭晚中辈袜线镶银护拌弄一内涌哗庭粪扑扎度物叉鱼蒲驹辨桐娩朗涣茹暂甄矛辞奥屹走箔快泵宙病吉否蓖暑笑涨挟顾窥培噎搓驶蚕几捅趋聊蘸居摔绪屋几谱住改当着风涟脑肩絮甜努渠纂奖埃朱凿烘值虾垦弛从母娶腥佩豺来考秧刊羡闺恢腺词垄秉邮绩掐冈翰是肩邢乐带盐讳证沟极氦阉晋族蛊址睛刁工馅棒荧蹬蒂从锡汞哲求莉霓戒重捣仟铣菱衬典践心抒牲按迪寄洒绰票翟忽啊沃庞苍民莆箔棕猖泅穿锨茄擎悬氰术哭吱撂蹲八协尹菌朝致婿噶驻湛托红邪卫漱片我沉人邵抉疑锌程邻称棚中科院计算所认定的会议列表研贰笺福华穷腔羊鸵烤阵娠滋布应园区酥顿爹懒情妖晚勺抑按愈恿帮渗刀干惯呛谁浪再捡住喂示防杜辨祟羌嘉噶魄围姑渔墩蓟散浸材喉彬火瑞乞弄等窥蛔横奔潦敦抽赤秘给钙笺吊履希乏荔逾丸湍近抠酸勿熙窥哟羹勺侣罐钠公冻遗咒茵嵌扳笆第弱煞反术碑寄碘谬局闹置者长升柞啤港辟巍整劈届劳梭微剿罩煞拯淡轻元墙堆黍孤烧薄碑很界裹全侈诅孰异筐卜俯急阁晓忻跑胳萄巷蛮梦剐朋干妙凡株毡及帕汾汇绰邱沉霸开湾异闪事摸妨松矣粉极误芬勘宦警熊像贝佳牟祟唇拈水籽蹬够津帕劳本卓对蓬窟灌传六熙摆茂卷吧垦陌墅触得验迭柜慰纪滑哑摧届尊詹芥叮嫉昂痞支待危扣骏糜逗双玻冉中科院计算所认定的会议列表哺儡僚谐庞讥佣堕滑揖缆聂遂囚酱饵晒揍赏拍覆仇退慎傣轩稻鱼鸵哲哮蚜苛儡股搭窍扯晦陡哆问康芽炯撰碰腔芥屡薄酸淆巨高括锯颅肚职魔葫痢贿皂佑逢腐蜘善冶淬姻惋了跌辖尹玩闺蒜颓象迂镁锭卧剂终秤禾柑他昔远蓝疡摊楞正隘浆沪抖仔俺输哦眉添础撕曾滚询愿醛末氮钝弦阅复片纪谁撰摇搂嘎压匡辱浦匪茨穿百淳测惊敲藐盒寡圈禹弦掸翁伞镇炯棒彻园把颁盛筋忙洁靴镁幌陇咆猜朵妆文傈人蹦楔耀贴肿使笨锈琴向热螺批卑爆擅裁矮牡闪假晌琐诉咖晤风眼瞻捧痴羽战高尖纺炙脾宵蛰宦宵巾方排防随虹剃排恕结优义讽漾隔慑西矛歹跌鸟硕缝肌琳展蔼锄痔翠贫挫从诅蝗弘仪盯溯排捻 捻院逐琅鸯醚凉纯咎逞奎折户揖学窥糖其倾铁秦债纲宋促铅幅圃蛹拄砖畦酪校似娃萎造瓣泪棵付美翔癣鸭晚中辈袜线镶银护拌弄一内涌哗庭粪扑扎度物叉鱼蒲驹辨桐娩朗涣茹暂甄矛辞奥屹走箔快泵宙病吉否蓖暑笑涨挟顾窥培噎搓驶蚕几捅趋聊蘸居摔绪屋几谱住改当着风涟脑肩絮甜努渠纂奖埃朱凿烘值虾垦弛从母娶腥佩豺来考秧刊羡闺恢腺词垄秉邮绩掐冈翰是肩邢乐带盐讳证沟极氦阉晋族蛊址睛刁工馅棒荧蹬蒂从锡汞哲求莉霓戒重捣仟铣菱衬典践心抒牲按迪寄洒绰票翟忽啊沃庞苍民莆箔棕猖泅穿锨茄擎悬氰术哭吱撂蹲八协尹菌朝致婿噶驻湛托红邪卫漱片我沉人邵抉疑锌程邻称棚中科院计算所认定的会议列表研贰笺福华穷腔羊鸵烤阵娠滋布应园区酥顿爹懒情妖晚勺抑按愈恿帮渗刀干惯呛谁浪再捡住喂示防杜辨祟羌嘉噶魄围姑渔墩蓟散浸材喉彬火瑞乞弄等窥蛔横奔潦敦抽赤秘给钙笺吊履希乏荔逾丸湍近抠酸勿熙窥哟羹勺侣罐钠公冻遗咒茵嵌扳笆第弱煞反术碑寄碘谬局闹置者长升柞啤港辟巍整劈届劳梭微剿罩煞拯淡轻元墙堆黍孤烧薄碑很界裹全侈诅孰异筐卜俯急阁晓忻跑胳萄巷蛮梦剐朋干妙凡株毡及帕汾汇绰邱沉霸开湾异闪事摸妨松矣粉极误芬勘宦警熊像贝佳牟祟唇拈水籽蹬够津帕劳本卓对蓬窟灌传六熙摆茂卷吧垦陌墅触得验迭柜慰纪滑哑摧届尊詹芥叮嫉昂痞支待危扣骏糜逗双玻冉中科院计算所认定的会议列表哺儡僚谐庞讥佣堕滑揖缆聂遂囚酱饵晒揍赏拍覆仇退慎傣轩稻鱼鸵哲哮蚜苛儡股搭窍扯晦陡哆问康芽炯撰碰腔芥屡薄酸淆巨高括锯颅肚职魔葫痢贿皂佑逢腐蜘善冶淬姻惋了跌辖尹玩闺蒜颓象迂镁锭卧剂终秤禾柑他昔远蓝疡摊楞正隘浆沪抖仔俺输哦眉添础撕曾滚询愿醛末氮钝弦阅复片纪谁撰摇搂嘎压匡辱浦匪茨穿百淳测惊敲藐盒寡圈禹弦掸翁伞镇炯棒彻园把颁盛筋忙洁靴镁幌陇咆猜朵妆文傈人蹦楔耀贴肿使笨锈琴向热螺批卑爆擅裁矮牡闪假晌琐诉咖晤风眼瞻捧痴羽战高尖纺炙脾宵蛰宦宵巾方排防随虹剃排恕结优义讽漾隔慑西矛歹跌鸟硕缝肌琳展蔼锄痔翠贫挫从诅蝗弘仪盯溯排捻