CCF第九届理事会理事参选人名单(按界别和姓名拼音顺序排
上海市数学会第十一届理事会理事通讯录
上海市数学会第十一届理事会理事通讯录姓名 性别学会职务 专业 职称 工作单位(职务) 电子信箱王建磐 男 理事长 基础数学 教授 华东师范大学数学系 jpwang@陈晓漫 男 副理事长 基础数学 教授 复旦大学副校长 xchen@黄自萍 男 副理事长 计算数学 教授 同济大学应用数学系 huangziping@ 唐盛昌 男 副理事长 数学教育 特级教师 上海中学校长 shms@王维克 男 副理事长 数学 教授 上海交通大学数学系系主任 wkwang@吴泉水 男 副理事长 基础数学 教授 复旦大学数学科学学院院长 qswu@周风 男 秘书长 应用数学 教授 华东师范大学数学系主任 fzhou@边保军 男 常务理事 应用数学 教授 同济大学应用数学系 bianbj@高孝乃 男 常务理事 数学 高级讲师 上海市公共事业学校(中专) gaoxiaonai@jcheng@程晋 男 常务理事 计算数学 教授 复旦大学数学科学学院信息与计算科学系系主任郭雄 男 常务理事 数学教育 特级教师 延安中学校长 gxyanan@黄华 男 常务理事 数学教育 中学高级 上海市教委教研室教研员 huangh234@李建奎 男 常务理事 基础数学 教授 华东理工大学理学院 jiankuili@jkli@盛万成 男 常务理事 基础数学 教授 上海大学理学院副院长 mawcsheng@时俭益 男 常务理事 基础数学 教授 华东师范大学数学系jyshi@数学研究所副所长王亚光 男 常务理事 数学 教授 上海交通大学数学系 ygwang@张寄洲男常务理事应用数学教授上海师范大学理学院副院长zhangjz@张新生 男 常务理事 概率论与数理统计 教授 复旦大学管理学院统计系 xszhang@陈双双 女 理事 数学教育 特级教师 华师大二附中 chenshuangshuang@丁伟强 男 理事 数学教育 高级校长 华师大一附中校长 dwq1960@fangying@方影 女 理事 应用数学 副教授 第二军医大学基础部数理教研室冯志刚 男 理事 数学教育 特级教师 上海中学教学处副主任 zhigfeng@顾跃平 男 理事 数学教育 中学高级 黄埔区教师进修学院 guyueping68420@kyguo@郭坤宇 男 理事 基础数学 教授 复旦大学数学科学学院数学系主任韩茂安男理事基础数学教授上海师范大学理学院副院长mahan@黄根初 男 理事 数学教育 中学高级 静安区教师进修学院 huanggenchu@蒋继发 男 理事 应用数学 教授 上海师范大学理学院 jiangjf@jiangjf@寇春海 男 理事 应用数学 教授 东华大学应用数学系 kouchunhai@李秋明 男 理事 数学教育 特级教师 复旦附中 liqiuming@李雨生 男 理事 应用数学 教授 同济大学应用数学系 li_yusheng@梁治安 男 理事 运筹学 教授 上海财经大学应用数学系系主任 zhianl@马和平男理事计算数学教授上海大学理学院数学系hpma@潘云 女 理事 数学 高级讲师 民航上海中专学校学生处处长 mcpy@邵方明 男 理事 应用数学 教授 华东理工大学理学院 fmshao@sjtang@汤善健 男 理事 运筹学与控制论 教授 复旦大学数学科学学院金融数学与控制科学系主任王卿文 男 理事 基础数学 教授 上海大学理学院数学系系主任 wqw@rmwang@汪荣明 男 理事 统计学 教授 华东师范大学金融与统计学院院长王耀东 男 理事 编辑 副编审 上海教育出版社 wangyaodong@wydong130@吴珞 男 理事 数学 教授 上海第二工业大学理学院院长 wuluo@wuluo@吴卫国 男 理事 数学教育 中学高级 崇明中学校长 shwwg@肖冬梅 女 理事 数学 教授 上海交通大学数学系 xiaodm@熊斌 男 理事 数学教育 副教授 华东师范大学数学系 xiongbin@徐建华 男 理事 应用数学 教授 上海海事大学文理学院 jhxu0131@羊丹平 男 理事 计算数学 教授 华东师范大学数学系副系主任 dpyang@jgying@应坚刚 男 理事 概率论与数理统计 教授 复旦大学数学科学学院概率、统计精算系主任章璞 男 理事 基础数学 教授 上海交通大学数学系副系主任 pzhang@jxzhang@张建新 女 理事 应用数学 副教授 上海海洋大学信息学院应用数学系主任张少波 男 理事 数学教育 中学高级 建平中学副校长 shaobozg@张卫国 男 理事 应用数学 教授 上海理工大学理学院院长 zwgzwm@郑明 女 理事 概率论与数理统计 教授 复旦大学管理学院统计系主任 mingzheng@周建和 男 理事 数学 高级讲师 上海市第二轻工业学校(中专) zhoujianhe@朱晓平男理事基础数学副教授同济大学应用数学系xiaoping63@。
CCF公布推荐的国际学术会议和期刊目录(Total)
CCF公布推荐的国际学术会议和期刊目录经过3年多的工作，CCF推荐的国际学术会议和期刊目录现予公布。
本目录包括数据库、软件工程、计算机网络、计算机图形学（几何造型、多媒体、可视化、虚拟现实）、计算机体系结构、计算机科学理论、人工智能与模式识别、网络与信息安全等八个方向的国际学术会议及期刊目录和一个综合类的国际学术期刊目录，供国内高校和科研单位作为学术评价的参考依据。
目录中，刊物和会议分为A、B、C三档。
A类表示国际上极少数的顶级刊物和会议，鼓励我国学者去突破；B类是指国际上著名和非常重要的会议、刊物，代表该领域的较高水平，鼓励国内同行投稿；C类指国际上重要、为国际学术界所认可的会议和刊物。
早在2005年12月17日，CCF YOCSEF就举办了“从SCI反思中国的学术评价体制”的专题论坛，探讨为何SCI会成为衡量大学、科研机构和科学工作者学术水平的最重要的甚至是唯一的尺度，提出了如何建立中国公正合理的学术评价体制的问题。
这次论坛，在国内引起了强烈的反响。
李国杰理事长在各种场合多次呼吁要重视在顶级国际学术会议上发表论文，希望CCF拿出顶级学术会议和重要学术期刊的目录，提供给各高校和科研单位做学术水平评价的参考。
此后，CCF委托YOCSEF学术委员会组织此项工作，经过调研、分析、选择试点方向、收集整理资料、研讨、向学术界公开征集意见、报常务理事会审议、学术工作委员会再修订等过程，最终推出目前的推荐目录表。
这些分类目录每年将根据具体情况进行修订。
2010年9月附：国际学术会议及期刊目录计算机科学理论 (2)计算机体系结构 (8)计算机网络 (14)人工智能与模式识别 (19)软件工程 (28)数据库 (35)计算机图形学、几何造型、多媒体、可视化、虚拟现实等方向，不含算机视觉与模式识别 (42)网络/信息安全 (46)综合类刊物 (51)第 1 页 共 51 页中国计算机学会推荐国际学术刊物计算机科学理论一、A类序号刊物简称刊物全称出版社网址1.TALG ACM Transactions on Algorithms ACM /2.SICOMP SIAM Journal on Computing Society for Industrial andApplied Mathematics/sicomp二、B类序号刊物简称刊物全称出版社网址1.TOCL ACM Transactions on Computational Logic ACM /rmation & Computation Elsevier /locate/ic3.TIT IEEE Transactions on Information Theory IEEE /portal/site/mainsite/menuitem.81 8c0c39e85ef176fb2275875bac26c8/index.jsp?&pNa me=corp_level1&path=pubs/transactions&file=tit.x ml&xsl=generic.xsl&4.TCS Theoretical Computer Science Elsevier /locate/tcs5.Formal Aspects of Computing Springer /content/102822/6.Acta Informatica Springer /content/100460/7. MSCS Mathematical Structures in Computer Science Cambridge University /action/displayJournal?jid=MSC8.Algorithmica Springer /link.asp?id=100117putational Complexity Springer /content/101499/10.Journal of Complexity Birkhäuser Basel第 2 页 共 51 页11. JSL Journal of Symbolic Logic Association forSymbolic Logic/journals-journal.html12. APAL Annuals of Pure and Applied Logic Elsevier /wps/find/journaldescription.cws_home/505603/description#description13.Discrete Applied Mathematics Elsevier /wps/find/journaldescription.cws_home/505609/description#description14. JSC Journal of Symbolic Computation Elsevier /wps/find/journaldescription.cws_home/622902/description#description LMCSLogical Methods in Computer Science /index.php三、C类序号刊物简称刊物全称出版社网址1. IJFCS International Journal of Foundations ofComputer ScienceWorld Scientific /~ijfcs/2.Discrete Event Dynamic Systems – Theory andApplications Springer /math/applications/journal/106263.Formal Methods in System Design Springer /content/100266/4. HOSC Higher-Order and Symbolic Computation Springer /computer/foundations/journal/109905.Archive for Mathematical Logic Springer /math/journal/153第 3 页 共 51 页中国计算机学会推荐国际学术会议（计算机科学理论）一、A类序号会议简称会议全称出版社网址1. STOC ACM Symposium on Theory of Computing ACM /stoc/2. FOCS IEEE Symposium on Foundations of ComputerScienceIEEE /二、B类序号会议简称会议全称出版社网址1. LICS IEEE Symposium on Logic in Computer Science IEEE http://wwwrmatik.hu-berlin.de/lics/2. ICALP International Colloquium on Automata, Languagesand Programming EuropeanAssociation forTheoreticalComputer Science(EATCS)http://icalp09.cti.gr/index.php/Main/HomePage3. SCG ACM Symposium on Computational Geometry ACM /4. SODA ACM/SIAM Symposium on Discrete Algorithms SIAM /meetings/da07/5. SPAA ACM Symposium on Parallel Algorithms andArchitecturesACM /SPAA/ 6. CCC IEEE Conference on Computational Complexity IEEE /jrogers/Complexity/第 4 页 共 51 页第 5 页 共 51 页7. CSFW IEEE Computer Security Foundations WorkshopIEEE /CSFWweb/8. DATE IEEE/ACM Design, Automation & Test in Europe Conference IEEE/ACM /9. ISIT IEEE Symposium on Information Theory IEEE /10. CP International Conference on Principles & Practice of Constraint ProgrammingSpringer http://www.cs.mu.oz.au/cp2008/11. TACAS Tools and Algorithms for the Construction and Analysis of SystemsSpringer /~tacas2008/ 12. RTA Rewriting Techniques and Applications Springer http://rewriting.loria.fr/rta/13. TLCA Typed Lambda Calculi and Applications Springer http://www.lsv.ens-cachan.fr/rdp07/tlca.html 14. CSL Computer Science LogicSpringer/oucl/conferences/CSL05/15. MFPS Mathematical Foundations of Programming SemanticsElsevier /~mfps/ 16. TCS IFIP International Conference on Theoretical Computer Science Springer Science and Business Media http://bioinformatics.bio.disco.unimib.it/tc1/ 17. STACS International Conference on Theoretical Aspects of Computer ScienceSpringer http://www.lif.univ-mrs.fr/STACS06/ 18. MFCS Mathematical Foundations of Computer ScienceSpringerhttp://www.mfcs.sk/19. FCT International Symposium Fundamentals of Computation Theory Springer http://www.conferences.hu/fct2007/ 20.FSTTCSConference on Foundations of Software Technology and Theoretical Computer Science IARCS, the Indian Association for/第 6 页 共 51 页Research in Computing Science21.ICLPInternational Conference on Logical ProgrammingSpringerhttp://iclp08.dimi.uniud.it/三、C 类序号会议简称会议全称出版社网址1. CGOInternational Symposium on Code Generation and Optimization IEEE/ACM / 2. PEPMPartial Evaluation and Program ManipulationACM/PEPM083. CSB IEEE Computational Systems Bioinformatics Conference IEEE /4. FoSSaCS International Conference on Foundations of Software Science and Computation Structures Springer http://fossacs08.pps.jussieu.fr/5. iFM integrated Formal MethodsSpringer/ifm2007/6. APLAS Asian Symposium on Programming Languages and SystemsSpringer /~grama/APLAS2008/ 7. ATVA International Symposium on Automated Technology for Verification and AnalysisSpringer http://pswlab.kaist.ac.kr/atva2008/ 8. TAMC Theory and Applications of Models of ComputationSpringer /tamc2008/page/main.jsp 9. FORMATSInternational Conference on Formal Modeling and Analysis of Timed SystemsSpringer http://formats08.inria.fr/ 10.HSCC International Conference on Hybrid Systems: Computation and ControlACM, Springer/Springer /11.CIAA International Conference on Implementation andApplication of AutomataSpringer /spin08/ 12.SPIN International SPIN Workshop on Model CheckingSoftwareSpringer /vmcai08/Conference on Verification, Model13.VMCAI InternationalChecking, and Abstract InterpretationSpringer http://www-sop.inria.fr/oasis/FMCO/fmco08.htmlSymposium on Formal Methods for14.FMCO InternationalComponents and ObjectsConference on Formal Methods forSpringer http://discotec08.ifi.uio.no/FMOODS08/ 15.FMOODS InternationalOpen Object-based Distributed SystemsIEEE /memocontest08/International Conference on Formal16.MEMOCODE ACM/IEEEMethods and Models for Co-Design第 7 页 共 51 页中国计算机学会推荐国际学术刊物计算机体系结构一、A类序号刊物简称刊物全称出版社网址1. TOCS ACM Transactions on Computer Systems ACM /2. TOPLAS ACM Transactions on Programming Languagesand Systems ACM http:///~toplas/3. TPDS IEEE Transactions on Parallel and DistributedSystemsIEEE /tpds/4. TOC IEEE Transactions on Computers IEEE /portal/web/tc二、B类序号刊物简称刊物全称出版社网址1. TACO ACM Transactions on Architecture and CodeOptimizationACM /2. TOS ACM Transactions on Storage ACM /3. CAL IEEE Computer Architecture Letters IEEE /~tcca/4. JSA Journal of Systems Architecture Elsevier /locate/sysarc/5. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description6.Parallel Computing Elsevier /locate/parco第 8 页 共 51 页7.Performance Evaluation Elsevier /wps/find/journaldescription.cws_home/505618/description#description8. TECS ACM Transactions on Embedded ComputingSystemsACM 9. TJS The Journal of Supercomputing Springer /link.asp?id=100302三、C类序号刊物简称刊物全称出版社网址1. FGCSFuture Generation Computer Systems Elsevier /wps/find/journaldescription.cws_home/505611/description#description2.Microprocessors and Microsystems Elsevier /locate/micpro3.Design Automation for Embedded System Springer /link.asp?id=1002554.Concurrency and Computation: Practice andExperience John Wiley & Sons,Ltd/journal/117946197/grouphome/home.html第 9 页 共 51 页第 10 页 共 51 页中国计算机学会推荐国际学术会议（计算机体系结构）一、A 类序号会议简称会议全称出版社网址1. ISCA International Symposium on Computer ArchitectureACM SIGARCH, IEEE TCCA /pubs/contents/proceedings/series/isca/2. MICRO MICRO IEEE, ACM SIGMICRO/3. HPCA High-Performance Computer ArchitectureIEEE /~hpca/二、B 类序号会议简称会议全称出版社网址1. ASPLOS Architectural Support for Programming Languages and Operating SystemsACMSIGOPS/SIGARCH/SIGPLAN /pubs/contents/proceedings/serie s/asplos/2. FAST Conference on File and Storage Technologies USENIX /events/bytopic/fast.html3. PACT Parallel Architectures and Compilation Techniques IEEEACM SIGARCH/ 4. PPoPPPrinciples and Practice of Parallel Programming ACM SIGPLAN/ppopp08/5. SPAAACM Symposium on Parallelism in Algorithms and ArchitecturesACM /~spaa/2007/6. SIGMETRICS International Conference on Measurement andModeling of Computer Systems ACMSIGMETRICS/~sigmet08/7. RTSS Real-Time Systems Symposium IEEE /8. ICCD International Conference on Computer Design IEEE /9. MSST Mass Storage Systems and Technologies IEEE /2007/10. HOTCHIPS A Symposium on High Performance Chips IEEE /11. HPDC High-Performance Distributed Computing IEEE /hpdc2007/12.CLUSTER Cluster Computing IEEE /13.IPDPS International Parallel & Distributed ProcessingSymposiumIEEE 14.EuroSys EuroSys ACMhttp://www.gsd.inesc-id.pt/conference/EuroSys2007/15.ICDCS International Conference onDistributed Computing SystemsIEEE http://www.eecg.utoronto.ca/icdcs07/16.ICPP International Conference on Parallel Processing IEEE /~icpp2007/17.Euro-Par European Conference on Parallel and DistributedComputingSpringer http://europar2007.irisa.fr/18.FPGA International Symposium on Field-ProgrammableGate ArraysACM SIGDA /~kati/fpga2008/19.LCTES Conference on Language, Compiler and ToolSupport for Embedded SystemsACM SIGEBD /第 11 页 共 51 页第 12 页 共 51 页三、C 类序号会议简称会议全称出版社网址1. FPT International Conference on Field-Programmable TechnologyIEEE http://www.kameyama.ecei.tohoku.ac.jp/icfpt07/2. HiPC International Conference on High Performance ComputingIEEE, ACM SIGARCH / 3. ISCAS International Symposium on Circuits and SystemsIEEE/4. HiPEAC International Conference on High Performance and Embedded Architectures and CompilersSpringer /conference/ 5.ICPADSInternational Conference on Parallel and Distributed SystemsIEEE .au/conferences/icpads2008/?print_friendly=true6. CCGRID Cluster Computing and the GridIEEE http:// ccgrid07.lncc.br 7. GRID International Conference on Grid ComputingIEEE/ACM/8. ANCS Architectures for Networking and Communications Systems ACM/IEEE /9. CGOCode Generation and Optimization IEEE/ACM /10. HotOS Workshop on Hot Topics in Operating Systems USENIX/events/hotos03/11.CASESInternational Conference on Compilers, Architectures, and Synthesis for Embedded SystemsACM http://www.irit.fr/recherches/ARCHI/MARCH/CAS ES2007/index.htm 12. ICS International Conference on SupercomputingACM/13.CODES+ISSS International Conference on Hardware/SoftwareACM, IEEE /Codesign & System Synthesis14.RTAS Real-Time and Embedded Technology andIEEE / Applications Symposium15.EMSOFT International Conference on Embedded Software ACM /16.VEE Virtual Execution Environments ACM /17. FCCM Field-Programmable Custom Computing Machines IEEE /18.FPL Field Programmable Logic and Applications IEEE http://ce.et.tudelft.nl/FPL/19. SC International Conference for High PerformanceIEEE /Computing, Networking, Storage, and Analysis20. HotInterconnects Symposium on High-Performance Interconnects IEEE /第 13 页 共 51 页中国计算机学会推荐国际学术刊物计算机网络一、A类序号刊物简称刊物全称出版社网址IEEE /net/1. TON IEEE/ACM Transactions on Networking ACM,IEEE /dl/jrnal/jsac.html2. JSAC IEEE Journal of Selected Areas inCommunications3. TOIT ACM Transactions on Internet Technology ACM /二、B类序号刊物简称刊物全称出版社网址1. TMC IEEE Transactions on Mobile Computing IEEE /portal/web/tmc2. CN Computer Networks Elsevier /locate/comnet3. TOC IEEE Transactions on Communications IEEE /dl/jrnal/transcom.html4. TOSN ACM Transactions on Sensor Networks ACM /5. CCR Computer Communication Review ACM /ccr/6. TWC IEEE Transactions on Wireless Communications IEEE /dl/jrnal/twc.htmlACM /7. TOMCCAP ACM Transactions on Multimedia Computing,Communications and Applications第 14 页 共 51 页三、C类序号刊物简称刊物全称出版社网址1. TVT IEEE Transactions on Vehicular Technology IEEE /puter Communications Elsevier /locate/comcomworks John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-NET.html4.Wireless Communications & Mobile Computing John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-WCM.html5.Ad hoc Networks Elsevier /locate/adhoc6. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description#description7. JNCA Journal of Network and Computer Applications Elsevier /wps/find/products_in_subject_and_group.cws_home/6228938.Wireless Networks Springer /engineering/signals/journal/112769. JCN Journal of Communications and Networks Korean Informationand CommunicationsSocietyhttp://jcn.or.kr/10. MONET Mobile Networks & Applications Springer /engineering/signals/journal/1103611. JHSN Journal of High Speed Networks IOS Press /content/103170/12.IET Communications IET /IET-COM13.Peer-to-Peer Networking and Applications Springer /engineering/signals/journal/12083第 15 页 共 51 页中国计算机学会推荐国际学术会议（计算机网络）一、A类序号会议简称会议全称出版社网址1. SIGCOMM Special Interest Group on Data Communication ACM /ACM /mobicom/2008/2. MOBICOM Special Interest Group on Mobility of Systems,Users, Data and Computing3. INFOCOM Conference on Computer Communications IEEE /confs/infocom/2008/二、B类序号会议简称会议全称出版社网址1. SenSys ACM Conference on Embedded NetworkedACM /2008/organizers.htmlSensor SystemsIEEE .hk/~percom08/2. Percom International Conference on Pervasive Computingand Communications3. IMC Internet Measurement Conference ACM/USENIX /imc-2008/4. IWQoS International Workshop on Quality of Service IEEE http://iwqos08.ewi.utwente.nl/ACM /co-next2008/5. CoNEXT ACM International Conference on emergingNetworking EXperiments and TechnologiesUSENIX /event/nsdi08/6.NSDI Symposium on Network System Design andImplementation第 16 页 共 51 页第 17 页 共 51 页7.Networking International Conferences on Networking IFIP .sg/SCE/networking2008/8. MobiHocInternational Symposium on Mobile Ad Hoc Networking and Computing ACM/IEEE /mobihoc/2008/ 9. ICNP International Conference on Network Protocols IEEE/homes/fahmy/icnp2008/ 10.IPTPSInternational workshop on Peer-To-Peer SystemsACM/USENIX/三、C 类序号 会议简称会议全称出版社网址1. IPSN International Conference on Information Processing in Sensor Networks IEEE/ACM /2008/2. ISCC IEEE Symposium on Computers and CommunicationsIEEE /iscc/2008/ 3. IM IFIP/IEEE International Symposium on Integrated Network Management IFIP/IEEE /2007/_rubric/index.php_rubr ic=Home.html 4. MSWiMInternational Conference on Modeling, Analysis and Simulation of Wireless and Mobile SystemsACM http://www.cs.unibo.it/projects/mswim2008/ 5.SECON IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks IEEE /6. NOMS Network Operations and Management SymposiumIFIP/IEEE http://www2.dcc.ufmg.br/eventos/noms2008/ 7. LCN IEEE Conference on Local Computer NetworksIEEE /8.FORTEFormal Techniques for Networked and Distributed SystemsSpringer http://www-higashi.ist.osaka-u.ac.jp/FORTE08/9.HotNets The Workshop on Hot Topics in Networks ACM /learn/hotnets-workshop/ACM /10.NOSSDA V Network and Operating System Support forDigital Audio and VideoIEEE /11.WCNC IEEE Wireless Communications & NetworkingConferenceIEEE /12. Globecom IEEE Global Communications Conference,incorporating the Global Internet Symposium13. ICC International Conference on Communications IEEE /第 18 页 共 51 页中国计算机学会推荐国际学术刊物人工智能与模式识别一、A类序号刊物简称刊物全称出版社网址Intelligence ELSEVIER/science/journal/000437021. AI ArtificialIEEE /tpami/2.TPAMI IEEE Trans on Pattern Analysis and MachineIntelligence3.JMLR Journal of Machine Learning Research MIT Press /4.IJCV International Journal of Computer Vision Springer /content/二、B类序号刊物简称刊物全称出版社网址Learning Springer /content/1.Machine2.Neural Computation MIT Press /putational Linguistics MIT Press /loi/coliResearch AAAI /AI4. JAIR Journalof5.TEC IEEE Trans on Evolutionary Computation IEEE /pubs/tecIntelligence Blackwell /putationalScience Elsevier /wps/product/cws_home/627.Cognitive01948.TNN IEEE Trans on Neural Networks IEEE /xpl/RecentIssue.jsp?punumber=72第 19 页 共 51 页第 20 页 共 51 页9. Evolutionary Computation MIT Press/journal-home.tcl?issn=1063656010.IEEE Transaction on Speech and Audio Processing IEEE /xpl/RecentIssue.jsp?punu mber=8911. Pattern Recognition ELSEVIER /locate/pr 12. CVIU Computer Vision and Image Understanding ELSEVIER /locate/cviu 13. IS IEEE Intelligent Systems IEEE /intelligent/14.Artificial Intelligence ReviewSpringer/content/100240/15. Neural Networks ELSEVIER /locate/neunet 16. Machine Translation Springer /content/100310/ 17. T-RA IEEE Trans on Robotics and Automation IEEE /xpl/RecentIssue.jsp?punumber=7018. IJAR International Journal of Approximate Reasoning ELSEVIER /science/journal/0888613X19. KER Knowledge Engineering Review Cambridge /journals/20. DKE Data and Knowledge EngineeringELSEVIER/wps/product/cws_home/50560821. TCBB IEEE/ACM Trans on Computational Biology and BioinformaticsIEEE /tcbb/index.htm 22. T-ITB IEEE Transactions on Information Technology in Biomedicine IEEE http://www.vtt.fi/tte/samba/projects/titb/titb_informa tion/scope.html 23. TFS IEEE Transactions on Fuzzy SystemsIEEE/xpl/RecentIssue.jsp?punumber=9124.TSLPACM Transactions on Speech and Language ProcessingACM /pubs/tslp.html25.TALIP ACM Transactions on Asian LanguageInformation ProcessingACM /26.JournalofAutomatedReasoning Springer /computer/foundations/journal/1081727. AICom AICommunications IOS http://www.iospress.nl/html/09217126.html 三、C类序号刊物简称刊物全称出版社网址1. IDA IntelligentDataAnalysis ELSEVIER /wps/locate/ida2.AppliedIntelligence Springer /content/100236/3.SMC IEEE Trans on Systems, Man, & Cybernetics, PartA &B &C IEEE /xpl/RecentIssue.jsp?punumber=34774. NLE NaturalLanguageEngineering CambridgeUniversity/5.AMAI Annals of Mathematics and Artificial Intelligence Springer /sgw/cda/frontpage/0,11855,5-147-70-35674745-0,00.html6.IJDAR International Journal of Document Analysis andRecognitionSpringer /content/101562/ 7. KBS Knowledge-BasedSystems ELSEVIER /locate/knosys8.Neurocomputing ELSEVIER /locate/neucom9.NCA Neural Computing & Applications Springer /content/102827/10.NPL Neural Processing Letters Springer /content/100321/11.PRL Pattern Recognition Letters ELSEVIER /locate/patrec12.PAA Pattern Analysis and Applications Springer /content/ 103609/第 21 页 共 51 页13.Connection Science Taylor & Francis /journals/tf/09540091.html14.AIM Artificial Intelligence in Medicine Elsevier /wps/product/cws_home/15.DSS Decision Support Systems Elsevier /wps/product/cws_home/16.IVC Image and Vision Computing ELSEVIER /science/journal/andApplications Springer /sgw/cda/ Vision17.MachineImageAnalysis Elsevier /wps/product/cws_home/ 18.MedicalComputing Springer /sgw/cda/ 19.NaturalComputing Springer /sgw/cda/20.Soft21.ESWA Expert Systems with Applications ELSEVIER /wps/product/cws_home/22.EAAI Engineering Applications of Artificial Intelligence ELSEVIER /wps/find/journaleditorialboard.cws_home/975/editorialboardSystems Blackwell / 23.ExpertWorld Scientific .sg/ijprai/ijprai.shtml24.IJPRAI International Journal of Pattern Recognition &Artificial Intelligence25.IJIS International Journal of Intelligent Systems Wiley InterScience /journal/36062/home?CRETRY=1&SRETRY=026.IJNS International Journal of Neural Systems World Scientific .sg/journals/ijns/27.AAI Applied Artificial Intelligence Taylor & Francis /journals/tf/08839514.html28.Cybernetics and Systems Taylor & Francis /journals/tf/01969722.htmlCommunications ELSEVIER /locate/specom29.Speechputer Speech and Language ELSEVIER /locate/csl31.WIAS Web Intelligence and Agent Systems IOS http://www.iospress.nl/site/html/15701263.html32.Fuzzy Sets and Systems ELSEVIER /wps/product/cws_home/第 22 页 共 51 页33.IEE Proceedings: Vision, Image and Signal IEEE /xpl/World Scientific .sg/ijcia/ijcia.shtml34.IJCIA International Journal of ComputationalIntelligence and ApplicationsTaylor & Francis /journals/tf/0952813X.html35.JETAI Journal of Experimental and Theoretical ArtificialIntelligence36.International Journal of Uncertainty, FuzzinessWorld Scientific /ijufks/ijufks.shtml and KBS37.IJAES International Journal of Applied Expert Systems Taylor Granham /~acc025/ijaes.html38.Artificial Life MIT Press /journal-home.tcl?issn=1064546239.AAMAS Autonomous Agents and Multi-Agent Systems Springer /content/102852/中国计算机学会推荐国际学术会议（人工智能与模式识别）一、A类序号会议简称会议全称出版社网址Morgan Kaufmann 1.IJCAI International Joint Conference on ArtificialIntelligence2.ICCV International Conference on Computer Vision IEEE /3.ICML International Conference on Machine Learning ACM /conferences/icml2007/IEEE /4.CVPR IEEE Conference on Computer Vision and PatternRecognition5.AAAI AAAI Conference on Artificial Intelligence AAAI 第 23 页 共 51 页二、B类序号会议简称会议全称出版社网址MIT Press 6.NIPS Annual Conference on Neural InformationProcessing SystemsMorgan Kaufmann /7.KR International Conference on Principles ofKnowledge Representation and ReasoningACL /8.ACL Annual Meeting of the Association forComputational LinguisticsSpringer /1.AAMAS International Joint Conference on AutonomousAgents and Multi-agent Systems2.ECCV European Conference on Computer Vision Springer http://eccv2008.inrialpes.fr/3.ECML European Conference on Machine Learning Springer 4.ECAI European Conference on Artificial Intelligence IOSPress http://www.ece.upatras.gr/ecai2008/Springer /colt2007/5.COLT Annual Conference on Computational LearningTheoryAUAI /6.UAI International Conference on Uncertainty inArtificial IntelligenceAAAI /7.ICAPS International Conference on Automated Planningand SchedulingSpringer /8.ICCBR International Conference on Case-BasedReasoning第 24 页 共 51 页第 25 页 共 51 页9. COLING International Conference on Computational LinguisticsACM / 10. ALT International Conference on Algorithmic Learning Theory Springer http://www-alg.ist.hokudai.ac.jp/~thomas/ALT07/alt 07.jhtml 11.ILPInternational Conference on Inductive Logic ProgrammingSpringer /conferences/ilp2007/ 12. ICRA IEEE International Conference on Robotics and Automation IEEE /13. CogSciCognitive Science Society Annual Conference Psychology Press /cogsci.html 14. IJCARInternational Joint Conference on Automated Reasoning15.EMNLPConference on Empirical Methods in Natural Language Processing ACL /~yarowsky/SIGDAT/emnlp06.html三、C 类序号 会议简称 会议全称出版社网址16. PRICAI Pacific Rim International Conference on Artificial IntelligenceSpringer / 17.NAACLThe Annual Conference of the North American Chapter of the Association for Computational LinguisticsNAACL /meetings/hlt-naacl07/1.ACCVAsian Conference on Computer VisionSpringerhttp://www.am.sanken.osaka-u.ac.jp/ACCV2007/2. IJCNN International Joint Conference on NeuralIEEE /NetworksIEEE /International Conference on Acoustics,3. ICASSP IEEESpeech and SP4.DS International Conference on Discovery Science Springer http://www.i.kyushu-u.ac.jp/~ds07/IEEE http://ictai07.ceid.upatras.gr/5.ICTAI IEEE International Conference on Tools withArtificial Intelligence6. ICANN InternationalConference on Artificial NeuralSpringer /NetworksIEEE /7. ICDAR InternationalConference on Document Analysisand RecognitionACM /gecco-2006/index.html 8.GECCO Genetic and Evolutionary ComputationConference9.CEC IEEE Congress on Evolutionary Computation IEEE .sg/InternationalConference on Fuzzy Systems IEEE /10. FUZZ-IEEE IEEE11.IJCNLP International Joint Conference on NaturalACL /Language ProcessingSpringer /12. ICONIP International Conference on Neural InformationProcessingACM13.CVIR International Conference on Content based Imageand Video RetrievalIEEE14.FGR International Conference on Face and GestureRecognition第 26 页 共 51 页15. ICB InternationalConference on Biometrics IEEE16.CoNLL Conference on Natural Language Learning CoNLL ts.ua.ac.be/conll2007/Springer .au/scitech/eit/ksem07/ 17. KSEM International conference on Knowledge Science,Engineering and ManagementConference on Pattern Recognition IEEE /18. ICPR International19.COSIT International Conference on Spatial InformationTheory第 27 页 共 51 页中国计算机学会推荐国际学术刊物软件工程一、A类序号刊物简称刊物全称出版社网址1. TOSEM ACM Transactions on Software EngineeringMethodologyACM /pubs/tosem/2. TSE IEEE Transactions on Software Engineering IEEE ComputerSociety/portal/site/transactions3. TOPLAS ACM Transactions on Programming Languages& SystemsACM /toplas二、B类序号刊物简称刊物全称出版社网址1.Automated Software Engineering Springer /computer/ai/journal/105152.Formal Methods in System Design Springer Netherlands /content/1572-8102/3.Empirical Software Engineering Springer /content/1573-7616/4. ASEAnnals of Software Engineering Springer /computer/swe/journal/1048 05.Formal Aspects of Computing Springer London /content/1433-299X/6.IEE Proceedings – Software the Institution ofEngineering andTechnology/Publish/Journals/Profjourn/Proc/sen/7.Journal of Software Maintenance: Research and John Wiley & Sons, /cgi-bin/jhome/5第 28 页 共 51 页Practice Ltd3918. SPESoftware: Practice and Experience John Wiley & Sons,Ltd/cgi-bin/jhome/17529. IJSEKE International Journal on Software Engineeringand Knowledge Engineering World Scientific .sg/journals/ijseke/ijseke.shtml10. JSS Journal of Systems and Software Elsevier Science /wps/find/journaldescription.cws_home/505732/description#description11. JPL Journal of Programming Languages Chapman & Hall http://elib.cs.sfu.ca/Collections/CMPT/cs-journals/P-ChapmanHall/J-ChapmanHall-JPL.html12. SCP Science of Computer Programming Elsevier Science /wps/find/journaldescription.cws_home/505623/description#description13. RE Requirements Engineering Journal Springer /content/1432-010X/三、C类序号刊物简称刊物全称出版社网址14.ACM SIGSOFT Software Engineering Notes ACM /SEN/15. FGCS Future Generations Computer Systems Elsevier Science /wps/find/journaldescription.cws_home/505611/description#description16. HOSC Higher-Order and Symbolic Computation Springer Netherlands /content/1573-0557/17. SEJ Software Engineering Journal Institution ofElectrical Engineers(IEE) /xpl/RecentIssue.jsp?punum ber=222518. STTT International Journal on Software Tools for Springer /content/1433-2787/第 29 页 共 51 页。
中国数学会第十一届理事会正副理事长,秘书长,常务理事和理事名单
中国数学会第十一届理事会正副理事长和秘书长名单2011 年 11 月 15 日晚在成都举行的中国数学会第十一届理事会上，选举出中国数学会第十一届理事长、副理事长和秘书长，名单如下：理事长王诗宬北京大学数学科学学院副理事长席南华中科院数学与系统科学研究院陈敏中科院数学与系统科学研究院高小山中科院数学与系统科学研究院陈大岳北京大学数学科学学院陈永川南开大学组合数学研究中心程晋复旦大学数学学院信息与计算数学系罗懋康四川大学数学学院李星宁夏大学杨新民重庆师范大学秘书长张立群中科院数学与系统科学研究院中国数学会第十一届理事会常务理事名单2011 年 11 月 15 日晚在成都举行的中国数学会第十一届理事会上，选举出中国数学会第十一届常务理事会，37 位常务理事名单如下：姓名工作单位席南华中科院数学与系统科学研究院张立群中科院数学与系统科学研究院尚在久中科院数学与系统科学研究院潘建中中科院数学与系统科学研究院陈敏中科院数学与系统科学研究院曹道民中科院数学与系统科学研究院洪佳林中科院数学与系统科学研究院高小山中科院数学与系统科学研究院张纪峰中科院数学与系统科学研究院王诗宬北京大学数学科学学院陈大岳北京大学数学科学学院耿直北京大学数学科学学院肖杰清华大学数学科学系保继光北京师范大学数学科学学院郭田德中国科学院研究生院数学科学学院程晋复旦大学数学学院信息与计算数学系周风华东师范大学数学系王维克上海交通大学数学系陈永川南开大学组合数学研究中心扶磊南开大学陈省身数学研究所陈增敬山东大学李嘉禹中国科技大学数学科学学院程崇庆南京大学曹永罗苏州大学数学科学学院李胜宏浙江大学数学系林亚南厦门大学数学科学学院姚正安中山大学数学与计算科学学院陈化武汉大学数学与统计学院郭建华东北师范大学数学与统计学院于波大连理工大学数学科学学院李勇吉林大学数学学院张讲社西安交通大学理学院数学学科信息科学系张和平兰州大学数学与统计学院李星宁夏大学罗懋康四川大学数学学院杨新民重庆师范大学周家足重庆西南大学数学与统计学院中国数学会第十一届理事会理事名单2011 年 11 月 15 日在成都举行的中国数学会第十一次全国代表大会上，会议代表选出中国数学会新一届（第十一届）理事会，139 位理事（其中 7 位女理事），名单如下：姓名工作单位席南华中科院数学与系统科学研究院张立群中科院数学与系统科学研究院尚在久中科院数学与系统科学研究院潘建中中科院数学与系统科学研究院陈敏中科院数学与系统科学研究院曹道民中科院数学与系统科学研究院洪佳林中科院数学与系统科学研究院周爱辉中科院数学与系统科学研究院许学军中科院数学与系统科学研究院高小山中科院数学与系统科学研究院张纪峰中科院数学与系统科学研究院李子明中科院数学与系统科学研究院王双虎北京应用物理与计算数学研究所郭田德中国科学院研究生院数学科学学院李玉成中科院软件研究所邹大海中国科学院自然科学史研究所王诗宬北京大学数学科学学院陈大岳北京大学数学科学学院冯荣权北京大学数学科学学院耿直北京大学数学科学学院肖杰清华大学数学科学系保继光北京师范大学数学科学学院曹一鸣北京师范大学数学科学学院何书元首都师范大学数学科学学院刘兆理首都师范大学数学科学学院吴建平首都师范大学数学科学学院王术北京工业大学应用数理学院常彦勋北京交通大学史福贵北京理工大学数学学院刘铁刚北京航空航天大学数学与系统科学学院崔景安北京建筑工程学院张思明北京大学附属中学王殿军清华大学附属中学许作良中国人民大学附属中学谷丹（女）北京四中魏毅寅中国飞航技术研究院陈永川南开大学组合数学研究中心扶磊南开大学陈省身数学研究所黄正海天津大学理学院数学系赵春天津师范大学数学科学学院任奕奕（女）天津市耀华中学蒋春澜河北师范大学邓明立河北师范大学侯晋川太原理工大学数学院闫卫平山西大学数学科学学院郭世荣内蒙古师范大学科学技术史研究院杨联贵内蒙古大学数学科学学院王万义内蒙古师范大学数学科学学院于波大连理工大学数学科学学院毕建行辽宁大学数学院李勇吉林大学数学学院邹永魁吉林大学数学学院郭建华东北师范大学数学与统计学院薛小平哈尔滨工业大学数学系宋文哈尔滨师范大学数学科学学院程晋复旦大学数学学院信息与计算数学系郭坤宇复旦大学数学科学学院周风华东师范大学数学系倪明康华东师范大学数学系熊斌华东师范大学数学系徐斌艳（女）华东师范大学教育科学学院李建奎华东理工大学黄自萍同济大学数学系王维克上海交通大学数学系张寄洲上海师范大学盛万成上海大学理学院数学系黄华上海市教委教研室郭雄上海市延安中学程崇庆南京大学师维学南京大学数学系陈金如南京师范大学数学科学学院陈建龙东南大学数学系曹永罗苏州大学数学科学学院李刚扬州大学数学科学学院葛根年浙江大学数学系李松浙江大学数学系李胜宏浙江大学数学系王维凡浙江师范大学数学研究所李嘉禹中国科技大学数学科学学院陈发来中国科技大学数学院蒋威安徽大学数学科学学院林亚南厦门大学数学科学学院李永青福建师范大学数学与计算机科学学院常安福州大学数学与计算机科学学院杨健夫江西师范大学数学与信息学院朱传喜南昌大学理学院陈增敬山东大学数学科学学院吴臻山东大学数学科学学院吕广世山东大学数学科学学院耿献国郑州大学数学系王天泽华北水利水电学院陈化武汉大学数学与统计学院陈文艺武汉大学数学与统计学院张诚坚华中科技大学数学与统计学院朱长江华中师范大学数学与统计学学院刘合国湖北大学数计学院黄云清湘潭大学蒋月评湖南大学数学与计量经济学院王仙桃湖南师范大学数学与计算机科学学院王正明国防科技大学理学院刘再明中南大学数学科学与计算技术学院姚正安中山大学数学与计算科学学院乌兰哈斯汕头大学曹广福广州大学数学与信息科学学院吴敏（女）华南理工大学理学院数学系丁时进华南师范大学数学科学学院韦增欣广西大学数学与信息科学院吴佃华广西师范大学数学科学学院尹建华海南大学信息科学技术学院数学系张诚一海南师范大学罗懋康四川大学数学学院张伟年四川大学数学学院黄廷祝四川电子科技大学数学科学学院何诣然四川师范大学数学与软件科学学院杨新民重庆师范大学周家足西南大学数学与统计学院李扬荣西南大学数学与统计学院穆春来重庆大学数学与统计学院韦维（女）贵州大学理学院伍鹏程贵州师范大学李永昆云南大学数学与统计学院房辉昆明理工大学娄源冰西藏大学李孝裕西藏自治区拉萨中学赵彬陕西师范大学彭济根西安交通大学理学院张讲社西安交通大学理学院数学学科信息科学系刘三阳西安电子科技大学理学院郭真华陕西西北大学数学系聂玉峰陕西西北工业大学理学院应用数学系张和平兰州大学数学与统计学院刘仲奎兰州西北师范大学李星宁夏大学韩惠丽（女）宁夏大学数学计算机学院李春光北方民族大学数值计算与工程应用研究所郭翀琦（女）青海大学基础部冶成福青海师范大学数学系滕志东新疆大学数学与系统科学学院黄琼湘新疆大学数学与系统科学学院转载于新浪博客/s/blog_752c91b80100vx8v.html 转载于中国数学会/cms/index.htm。
中国计算机用户协会打印显象应用分会理事会名单
中国计算机用户协会打印显象应用分会理事会名单（2010年4月）名誉理事长陈冲信息产业部电子信息产品管理司正司级巡视员顾问刘彦明中国计算机用户协会资深副理事长顾问华平澜北京市软件行业协会会长顾问刘雅英《电脑爱好者》杂志社总编辑顾问邱学信公安部第一研究所证件技术部研究员理事长陈可兵北京公达数码科技有限公司董事长副理事长盛智龙中国航天信息中心顾问副理事长张云卿信息产业部电子信息产品管理司副司级巡视员副理事长张克明国家质量技术监督检疫局信息中心原总工副理事长梁眉北京市民卡管理中心副局级巡视员副理事长蔡魁元中国路桥集团总公司技术发展部副经理副理事长杨平铁道部信息技术中心处长副理事长周正飞中国民航信息网络股份有限公司处长副理事长王浩国家税务总局信息中心副处长副理事长戴凯歌中国工商银行科技部处长副理事长王伟雄国家电子计算机外部设备质量监督检测中心常务副主任副理事长何伟起中国软件评测中心副总监副理事长侯建仁信息产业部电子信息产品管理司处长副理事长胡红升国家电力监管委员会信息中心处长副理事长孙宝华中央国家机关政府采购中心副处长副理事长晏磊中国感光学会数字成像技术专业委员会副主任副理事长郭淳学北京公达数码科技有限公司兼秘书长常务理事张广沛建筑材料工业信息中心副主任常务理事栗演兵民政部信息中心副主任常务理事樊小英中国农业银行科技部处长常务理事杨志国中国银行信息科技部处长常务理事韦晶国家统计局计算中心处长常务理事黄文化中国建设银行信息技术管理部技术管理处高级经理常务理事刘洪联想集团有限公司助理总裁常务理事张志方正科技消费类产品业务群副总经理常务理事汤晓宇南京紫金电子信息设备有限公司副总工常务理事欧国伦江裕映美信息科技有限公司总经理常务理事丛强滋山东新北洋信息技术有限公司总经理常务理事林钦泉广东江门天翔打印机设备公司副总经理常务理事刘勇北京四通投资有限公司副总裁常务理事李志刚上海湘计算机信息设备有限公司总经理常务理事周庚申中国长城计算机深圳股份有限公司显示器事业部总经理常务理事李孝庆南京富士通计算机设备有限公司副总经理常务理事陈丽华中国电子器件工业总公司总经理常务理事黄志祥北京智凯办公自动化设备有限公司总经理常务理事张大荣福建实达电脑设备有限公司副总工常务理事郑西振全国复印机械标准化技术委员会主任委员常务理事陈宇峰南天信息股份公司专业打印机部总经理常务理事王凯爱普生（中国）有限公司品牌战略部部门经理常务理事钱越惠普（中国）IPG集团副总裁常务理事苏雷富士施乐（中国）有限公司打印机事业部总监常务理事牟伦安佳能中国有限公司影像信息消费产品部市场宣传科副经理常务理事陈健利盟国际（中国）有限公司北京代表处市场经理常务理事远藤治彦冲电气实业（深圳）有限公司北京办事处总经理常务理事屠卫平北京得实电子有限公司总经理常务理事黄立青 IBM公司打印系统大中华区总经理常务理事呼晓风日本柯尼卡美能达商用科技株式会社深圳代表处销售经理常务理事李冬三星（中国）投资有限公司产品经理理事饶望平财政部信息网络中心处长理事汤保卫国家机械局经济信息中心处长理事杨连红国家工商总局经济信息中心处长理事李晓群中国化工信息中心网络管理中心主任理事杨威冶金工业信息中心副主任理事祁伟教育部教育管理信息中心副处长理事吴飞鹏中国科学院理化技术研究所研究员理事晏国英中华全国商业信息中心副处长理事孔东升中国物流信息中心副处长理事辜体仁国家电力信息中心处长理事黄东祖卫生部统计信息中心高工理事门小兵国家海关总署信息中心副处长理事于光正新闻出版署信息中心室主任理事吕加令中国专利信息中心部长理事谭朝珲北京朗新信息系统有限公司技术总监理事王依群长城计算机软件与系统有限公司副总经理理事钟振祥北京方正奥德计算机系统有限公司副总裁理事刘燕清华紫光股份有限公司耗材产品事业部总经理理事艾英海沈阳东软软件股份有限公司设备主管理事许诗军信息产业部电子15所(太极公司) 部门经理理事田海波大唐软件技术有限责任公司技术管理部部门经理理事曾志雄珠海格力磁电有限公司总经理理事孔德珠珠海纳思达数码科技有限公司副总经理理事李菁京中山创富打印机耗材有限公司销售总监理事孙荣华浙江嘉兴天马打印机耗材有限公司董事长理事陈智河西安三豪科技有限公司总工理事石磊北京莱盛技贸公司总经理理事孙希斌北京东方千禧科技发展有限公司总经理理事娄刚杭州欧赛普办公科技有限公司总经理理事续守民邯郸汉光办公自动化耗材有限公司总经理理事王学春山东力美彩喷墨水有限公司总经理理事曹波辽宁丹东锦龙科技开发有限公司总经理理事田京辉河北福达科技发展有限公司董事长理事陈文伟北京实创科技产业发展公司副总经理理事何武贵州博士文化体育用品有限公司营销部经理理事高有行西安电子科技大学计算机外设研究所所长理事凡伟美国SD Pacitic,Ine.BETA Trading Co. 主任理事刘义波广州刘氏橡塑制品有限公司总经理理事安妮厦门安妮纸业有限公司总经理理事刘国荣厦门顶尖电子有限公司经理理事张保平北京宝兰达数码图象技术有限公司总经理理事毛根强上海汇德利文化用品有限公司总经理理事罗云华广州博施新技术有限公司总经理理事殷怀义保定乐凯数码影象有限公司部门经理理事金大光沈阳长达计算机外部设备有限公司董事长理事洪登玉上海邮电通信设备股份有限公司常务副厂长理事董述恂山东华菱电子有限公司部长理事崔慕丽《计算机世界》《消费电子世界》专题组长理事李曼雪《视窗世界》副总编理事王喧《中国计算机报》主编（助理总编）理事石文江《电脑报》发展部主任理事季元宏中国青年报信息编辑部主任理事孙希智 Rechargeasia Magazine（《亚洲再生业》杂志）主编理事陈拥军网易（科技频道）主编理事蔡尚文《喷绘与打印业》杂志社经理理事刘峰北京永胜和吉投资公司总经理理事张皓四川中维科技发展有限公司首席执行官理事史锦文上海邦达展览服务有限公司总经理理事贾瑞新北京工业大学网络信息中心主任。
(按协会职务、单位名称拼音顺序排序)
董事长
浙江正元智慧科技股份有限公司
朱军
副总裁
董舒
董事长
杭州电魂网络科技股份有限公司
胡建平
董事长
杭州东忠科技股份有限公司
张志宏
CTO
杭州国芯科技股份有限公司
张明
资深副总经理
杭州顺网科技股份有限公司
华勇
董事长
杭州天宽科技有限公司
蔡荣
副总经理
杭州新世纪电子科技有限公司
滕学军
董事长
杭州新中大软件股份有限公司
石钟韶
董事长
杭州中威电子股份有限公司
石旭刚
总经理
申屠祖斌
董事长
浙江网新恩普软件有限公司
江正元
总裁
浙江维尔科技股份有限公司
陆捷
总裁
浙江无限新能源股份有限公司
方昭敏
总工程师
浙江五洲工程项目管理有限公司
朱瑛斌
副总经理
浙江星汉信息技术股份有限公司
袁学群
总经理
浙江雄猫软件开发有限公司
陈建可
CEO
浙江宇视科技有限公司
赵辉
总裁办主任
浙江元亨通信技术股份有限公司
朱义潜
董事长
浙江华瑞信息资讯股份有限公司
赖天明
总经理
浙江华是科技股份有限公司
俞永方
董事长
浙江汇信科技有限公司
张玮兰
总经理
浙江建达科技股份有限公司
刘洪健
高级副总裁
浙江力得科技有限公司
卢俊
董事长
浙江丽水东华宏泰科技有限公司
邵芳
董事长
浙江蚂蚁小微金融服务集团有限公司
周毅
税务部总经理
浙江每日互动网络科技股份有限公司
北京大学校友会第七届理事会组织成员
（按姓氏拼音排序）
一、名誉会长
陈佳洱 侯仁之 闵维方 任彦申 吴阶平 朱光亚
丁石孙 胡启立 彭珮云（女） 汪家镠（女） 吴树青 朱穆之
韩启德 林丽蕴（女） 彭瑞骢 王德炳 许智宏 朱善璐
韩天石 罗豪才 曲绵域 王汉斌 周光召
何鲁丽（女） 马旭 任建新 王学珍 周铁农
张泉灵（女） 张兆东 郑昌学 朱善璐
六、秘书长 李宇宁
七、副秘书长
林百学 郑孝云（女）
孙莉莉（女）
肖渊
许诤（女）
张向英（女）
陈福今
陈建功
陈云峰
陈子明
大山（加拿大） 戴旭瀛
丁健
董晓华（女）
段震文
方伟岗
龚文东
关成华
海闻
郝斌
胡亚美（女） 黄鹰
贾爱民
江孝绰
雷虹
李靖
李鹰（女）
李莹（女）
李建新
李立明
李岩松
李彦宏
李
吕兆丰
马句
孟晓苏
缪劲翔
宁琦（女）
欧阳旭
齐宏
齐惠卿
沈克琦
沈仁道
汪建成
王廼
王丽真（女） 王璞
王维民
王伟光
穆毅锐
潘爱华
潘忠宇
秦春华
邱曙熙
诗琳通（女，泰国）宋振清（女）
王春梅（女） 王立华
王其芬（女） 王少峰
王宪
王志东
吴建伟
吴历山
肖渊
肖东发
徐韬
徐海锋
许振东
杨锋
袁纯清
曾钫
张璨（女） 张维迎 章森桂 郑孝云（女） 朱月霞（女）
张蕾（女） 张文彬 赵勇 钟南山 祝家麟
中国计算机学会理事会选举条例
中国计算机学会理事会选举条例（2019年6月第十一届会员代表大会修订）第一条总则为明确中国计算机学会（简称CCF）理事长（会长）、副理事长（副会长）、理事、常务理事的选举程序以及与选举有关的规则，根据CCF章程，制定本条例。
第二条选举委员会CCF设立选举委员会，主持选举工作，其职责、构成、任期等由《中国计算机学会选举委员会条例》规定。
第三条选举职位的设立、人数及类别1．理事会应选职位为：理事长、副理事长、理事及常务理事。
应确认的名誉职务为：名誉理事长、名誉理事、海外理事。
2．理事长为个人职位，副理事长、常务理事和理事职位分为个人职位和单位职位。
个人职位须由本人行使相应职权，不可委托他人行使。
单位职位可由该单位选派的代表行使相应职权。
3．本学会应选理事不超过160名，常务理事不超过33名。
4．为简化选举程序并保证各类别的代表性，理事选举按类别分配名额。
类别代号和名称如下：UI：高校及科研院所E：企业界TC：专业委员会Ch：会员活动中心（任期两年）O：信息学奥林匹克（NOI，任期两年）Y：青年（任期两年）R：常务理事会推荐F：任意类别（任期两年）单位理事仅限于UI和E两个类别。
5．选举职位及人数由附件规定。
第四条参选人的产生1．CCF会员（学生会员除外，下同）在规定的时间内可申请参选本条例第三条第1款所列职位，但须符合下述参选条件及在附件中列出的参选类别要求。
对有类别要求的职位，每个申请者应当且只能属于一个类别。
2．各类参选人的要求如下：UI类：参选人所在单位的会员数达到一定数量方可参选UI类理事。
所在单位会员数须达40名，可产生1名理事参选名额。
单位每增加40名会员，可增加1名理事参选名额。
E类：参选人所在单位的会员数达到一定数量方可参E类理事。
所在单位会员数须达20名，可产生1名理事参选名额。
单位每增加20名会员，可增加1名理事参选名额。
TC类：专业委员会主任可参选TC类理事，当该专委主任因特殊原因不能担任理事时，可向专委推荐有影响力的人士代表专委参选TC类理事，但须经该专业委员会常务委员会同意。
中国空间科学学会
组织刊物
组织刊物
学会编辑出版的《空间科学学报》是国内空间科学及其应用领域中极有影响的综合性学术期刊（双月刊）， 已列入"中国自然科学核心期刊"，已入网国家科技部"万方数据资源系统数字化期刊群"和中国知识基础设施工程 网站"中国期刊网"，并为《中国学术期刊（光盘版）》的全文收录期刊。
发展历史
发展历史
学会大力普及空间科学知识、出版系列科普书籍，如组织编写《走向空间》、《神秘的太空城》、《恐龙灭 绝之迷》、《遥感的魔力》以及《神秘的太空》科普系列丛书等科普读物；开展青少年科技教育活动，举办多种 形式的夏令营、参观、讲座、录相、展览、知识有奖问答、采访活动等；与中国科技馆联合举办"飞向太空"全国 巡回展览；与中央电视台合作举办"国际空间年空间科技讲座"等；取得了较好的社会效益，1999年被科学技术部、 中共中央宣传部、中国科协评为全国科普工作先进集体。
四位空间科学学者获2015年“赵九章优秀中青年科学奖”
新华网北京10月14日电（**吴晶晶）2015年度“赵九章优秀中青年科学奖”14日在京揭晓。4名空间科学领 域的优秀中青年科学家分别获得大气物理、地球物理、空间物理、空间探测四类奖项。
据介绍，2015年度赵九章科学奖有来自北京大学、中国科学技术大学、中科院国家空间科学中心等19个单 位的28名中青年科学家提出申请。经过严格评审，中科院大气物理研究所段安民、中科院南海海洋研究所王志、 中科院国家空间科学中心刘颍、中科院电子学研究所王宇脱颖而出，分别获得四个奖项。他们在各自研究领域为 提升中国空间科学创新能力、对地观测和综合信息应用能力、海洋探测和应用研究能力、战略性资源深部勘察与 开发能力做出了突的结合，做出了不懈的努力。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
黄勇刚
北京学门科技有限公司总经理
61
历 军
曙光信息产业（北京）有限公司总裁
62
刘 超
中国建设银行金融信息化专家
63
刘 伟
惠普中国实验室主任
64
刘淮松
太极计算机股份有限公司总裁
参选常务理事
65
卢长顺
中卫星空移动多媒体网络有限公司副总经理
66
卢先和
清华大学出版社副社长兼副总编辑
67
吕京建
北京英贝多嵌入式网络技术有限公司总经理
12
何炎祥
武汉大学计算机学院教授、院长
参选常务理事
13
胡向东
江南计算技术研究所研究员、副总工程师
参选常务理事
14
黄继武
中山大学信息科技学院教授、院长
15
贾云得
北京理工大学计算机学院教授、常务副院长
参选常务理事
16
金 海
华中科技大学计算机学院教授、院长
参选副理事长、常务理事
17
李国杰
中国科学院计算技术研究所研究员、所长，中国工程院院士
68
潘柱廷
北京启明星辰信息安全技术有限公司首席战略官
69
钱振宇
微软中国搜索技术中心总监
参选常务理事
70
沈继业
中联绿盟信息技术（北京有限公司）首席执行官
71
孙育宁
闪联信息技术工程中心有限公司总裁
72
唐卫清
北京中科辅龙计算机技术有限公司董事长
参选常务理事
73
唐振明
中软国际有限公司高级副总裁
74
王 伟
北京联索科技公司总经理
参选理事长、常务理事
18
李建中
哈尔滨工业大学教授
19
李俊山
第二炮兵工程学院教授
20
李仁发
湖南大学计算机与通信学院教授、院长
21
李宣东
南京大学计算机系教授、主任
参选常务理事
22
刘任任
湘潭大学信息工程学院教授、院长
23
罗军舟
东南大学计算机学院教授、院长
参选常务理事
24
马殿富
北京航空航天大学计算机学院教授、院长
参选常务理事
25
马华东
北京邮电大学计算机学院教授
26
马建峰
西安电子科技大学计算机学院教授、院长
27
孟祥旭
山东大学计算机学院教授、院长
参选常务理事
28
明 仲
深圳大学软件学院教授、副院长
29
齐 勇
西安交通大学计算机科学与技术系教授、主任
30
秦志光
电子科技大学计算机学院教授、院长
参选常务理事
31
史天运
中国铁道科学研究院电子所研究员、所长
参选常务理事
47
臧斌宇
复旦大学软件学院教授、院长
参选常务理事
48
赵 强
中国工程物理研究院计算所研究员、所长
49
周明全
北京师范大学信息学院教授、院长
参选常务理事
50
周兴社
西北工业大学计算机学院教授、院长
参选常务理事
51
朱巧明
苏州大学教授、科学技术处处长
52Biblioteka 朱清新电子科技大学计算机学院教授
53
朱庆生
重庆大学计算机学院教授、副院长
32
孙茂松
清华大学计算机系教授、主任
参选常务理事
33
孙凝晖
中国科学院计算技术研究所研究员
34
汤 庸
中山大学信息学院教授、副院长
35
唐振民
南京理工大学计算机学院教授、院长
36
王 沁
北京科技大学计算机系教授
37
王国胤
重庆邮电大学计算机学院教授、院长
38
王怀民
国防科技大学计算机学院教授
39
王永滨
中国传媒大学计算机学院教授，院长
CCF第九届理事会理事参选人名单（按界别和姓名拼音顺序排列）
教育与科研单位（UI）：53人
序号
姓名
单位和任职
备注1
备注2
1
操云甫
中国科学院软件研究所研究员
单位职位
参选常务理事
2
陈 明
中国石油大学计算机系教授
3
陈 钟
北京大学软件与微电子学院教授、院长
参选常务理事
4
陈志刚
中南大学软件学院教授、常务副院长
40
吴朝晖
浙江大学教授、副校长
参选副理事长、常务理事
41
肖创柏
北京工业大学计算机学院教授、副院长
42
徐 洸
空军指挥学院教授
43
徐晓飞
哈尔滨工业大学计算机学院教授、院长
参选副理事长、常务理事
44
许卓明
河海大学计算机及信息工程学院教授
45
姚淑珍
北京航空航天大学软件学院教授
46
尤新刚
北京电子技术应用研究所研究员、所长
86
顾乃杰
中国科技大学计算机系主任，安徽省计算机学会理事长
87
李 彤
云南大学软件学院教授、院长,云南省计算机学会理事长
88
梁吉业
山西大学计算机与信息技术学院教授、院长，山西计算机学会理事长
89
潘振宽
青岛大学信息工程学院教授、院长，青岛市计算机学会秘书长
90
孙星明
湖南大学计算机与通信学院教授、副院长，湖南省计算机学会秘书长
单位职位
参选常务理事
81
单志广
国家信息中心信息化研究部首席工程师
82
雷风云
国家外国专家局教科文卫司国际处处长
83
刘 克
国家自然科学基金委员会信息二处处长
84
刘保华
中国计算机报社执行总编
单位职位
在地方学会任领导职务的CCF高级会员（P）：10人
序号
姓名
单位和任职
备注1
备注2
85
高光来
内蒙古大学计算机学院教授、院长，内蒙古自治区计算机学会理事长
参选常务理事
企业界（E）：26人
序号
姓名
单位和任职
备注1
备注2
54
陈 佳
北京和佳软件技术有限公司总裁
参选常务理事
55
陈 沛
北京中搜在线软件有限公司总裁
56
陈宏刚
重庆宏信软件有限责任公司总经理
57
丁晓良
北京科创无限技术有限公司董事长、总经理
58
高以成
海尔信息科技（深圳）有限公司总裁
59
侯紫峰
联想集团企业技术中心主任
5
杜小勇
中国人民大学信息学院教授、院长
6
段洣毅
北京图形研究所研究员、所长
7
冯志勇
天津大学计算机学院教授、副院长
8
傅育熙
上海交通大学计算机科学与工程系教授、主任、软件学院院长
参选常务理事
9
高 文
北京大学数字媒体研究所教授、所长
参选常务理事
10
高 扬
华北计算技术研究所研究员、副所长
11
耿国华
西北大学计算机学院教授、副院长
备注1
备注2
95
陈道蓄
南京大学计算机系教授，CCF开放系统专委主任
96
陈国良
中国科学技术大学教授，中国科学院院士，CCF高性能计算专委主任
参选常务理事
97
戴 浩
总参第六十一研究所研究员，CCF传感器网络专委会主任
91
王守智
陕西省科技信息研究所研究员、副所长，陕西省计算机学会理事长
92
邢 薇
哈尔滨工程大学教授，黑龙江省计算机学会秘书长
93
薛锦云
江西省高性能计算重点实验室研究员，江西省计算机学会理事长
94
周清雷
郑州大学信息工程学院教授、副院长，河南省计算机学会理事长
CCF专业委员会（TC）：28人
序号
姓名
单位和任职
75
王恩东
浪潮集团有限公司副总裁
单位职位
参选副理事长、常务理事
76
臧根林
广州科韵信息股份有限公司总经理
77
张 龙
高等教育出版社计算机分社社长
78
周明陶
北京中科希望软件股份有限公司董事长兼总裁
79
朱冠舟
金蝶软件（中国）有限公司助理总裁
政府部门与媒体：5人
序号
姓名
单位和任职
备注1
备注2
80
陈 梅
中国计算机世界出版服务公司总裁