CCF第九届理事会理事参选人名单(按界别和姓名拼音顺序排
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 页。
CCF编程培训师资认证ppt
03
CCF编程培训师资认证实践
编程实践项目
具备丰富的编程实践经验，能够独立完成各类编程项目，包括但不限于Web开发、移动应用开发、游 戏开发等。
熟悉多种编程语言和开发框架，如Java、Python、C、React、Vue等，并能够根据项目需求选择合适 的语言和框架。
掌握常用的开发工具和技术，如Git、Docker、MySQL等，并能够高效地使用这些工具和技术进行项目 开发。
实践经验
评估师资是否具备丰富的编程实践经 验，能否将实际应用与教学相结合，
提高学生的实际操作能力。
教学能力
评估师资是否具备良好的教学能力和 教学方法，能否有效引导学生学习和 掌握编程知识。
职业素养
评估师资是否具备高度的职业素养和 责任心，能否为学生提供良好的学习 环境和指导。
评估结果反馈和改进建议
总结词
具备课程设计能力，能够根据学生需求和实际情况制定合理的教学计划，并采用有效的 教学方法进行教学。
详细描述
课程设计和教学方法是CCF编程培训师资认证不可或缺的一部分。认证要求教师能够根 据学生的需求和实际情况，制定合理的教学计划和课程设计，并采用多种有效的教学方 法，如案例教学、项目教学、讨论式教学等，以激发学生的学习兴趣和提高学习效果。
认证标准包括专业知识、教学能力、教学方法、教学效果等多个方面，通过严格的评估和考核，确保师资具备专 业的教学素养和能力。
02
CCF编程培训师资认证内容
编程语言基础
总结词
熟练掌握一门或多门编程语言，包括语法、变量、函数、面向对象编程等概念。
详细描述
编程语言基础是CCF编程培训师资认证的重要内容之一。认证要求教师熟练掌握至少一门主流编程语 言，如Python、Java、C等，并能够清晰地解释语法、变量、函数、控制结构、面向对象编程等基本 概念。
中国计算机用户协会打印显象应用分会理事会名单
中国计算机用户协会打印显象应用分会理事会名单（2010年4月）名誉理事长陈冲信息产业部电子信息产品管理司正司级巡视员顾问刘彦明中国计算机用户协会资深副理事长顾问华平澜北京市软件行业协会会长顾问刘雅英《电脑爱好者》杂志社总编辑顾问邱学信公安部第一研究所证件技术部研究员理事长陈可兵北京公达数码科技有限公司董事长副理事长盛智龙中国航天信息中心顾问副理事长张云卿信息产业部电子信息产品管理司副司级巡视员副理事长张克明国家质量技术监督检疫局信息中心原总工副理事长梁眉北京市民卡管理中心副局级巡视员副理事长蔡魁元中国路桥集团总公司技术发展部副经理副理事长杨平铁道部信息技术中心处长副理事长周正飞中国民航信息网络股份有限公司处长副理事长王浩国家税务总局信息中心副处长副理事长戴凯歌中国工商银行科技部处长副理事长王伟雄国家电子计算机外部设备质量监督检测中心常务副主任副理事长何伟起中国软件评测中心副总监副理事长侯建仁信息产业部电子信息产品管理司处长副理事长胡红升国家电力监管委员会信息中心处长副理事长孙宝华中央国家机关政府采购中心副处长副理事长晏磊中国感光学会数字成像技术专业委员会副主任副理事长郭淳学北京公达数码科技有限公司兼秘书长常务理事张广沛建筑材料工业信息中心副主任常务理事栗演兵民政部信息中心副主任常务理事樊小英中国农业银行科技部处长常务理事杨志国中国银行信息科技部处长常务理事韦晶国家统计局计算中心处长常务理事黄文化中国建设银行信息技术管理部技术管理处高级经理常务理事刘洪联想集团有限公司助理总裁常务理事张志方正科技消费类产品业务群副总经理常务理事汤晓宇南京紫金电子信息设备有限公司副总工常务理事欧国伦江裕映美信息科技有限公司总经理常务理事丛强滋山东新北洋信息技术有限公司总经理常务理事林钦泉广东江门天翔打印机设备公司副总经理常务理事刘勇北京四通投资有限公司副总裁常务理事李志刚上海湘计算机信息设备有限公司总经理常务理事周庚申中国长城计算机深圳股份有限公司显示器事业部总经理常务理事李孝庆南京富士通计算机设备有限公司副总经理常务理事陈丽华中国电子器件工业总公司总经理常务理事黄志祥北京智凯办公自动化设备有限公司总经理常务理事张大荣福建实达电脑设备有限公司副总工常务理事郑西振全国复印机械标准化技术委员会主任委员常务理事陈宇峰南天信息股份公司专业打印机部总经理常务理事王凯爱普生（中国）有限公司品牌战略部部门经理常务理事钱越惠普（中国）IPG集团副总裁常务理事苏雷富士施乐（中国）有限公司打印机事业部总监常务理事牟伦安佳能中国有限公司影像信息消费产品部市场宣传科副经理常务理事陈健利盟国际（中国）有限公司北京代表处市场经理常务理事远藤治彦冲电气实业（深圳）有限公司北京办事处总经理常务理事屠卫平北京得实电子有限公司总经理常务理事黄立青 IBM公司打印系统大中华区总经理常务理事呼晓风日本柯尼卡美能达商用科技株式会社深圳代表处销售经理常务理事李冬三星（中国）投资有限公司产品经理理事饶望平财政部信息网络中心处长理事汤保卫国家机械局经济信息中心处长理事杨连红国家工商总局经济信息中心处长理事李晓群中国化工信息中心网络管理中心主任理事杨威冶金工业信息中心副主任理事祁伟教育部教育管理信息中心副处长理事吴飞鹏中国科学院理化技术研究所研究员理事晏国英中华全国商业信息中心副处长理事孔东升中国物流信息中心副处长理事辜体仁国家电力信息中心处长理事黄东祖卫生部统计信息中心高工理事门小兵国家海关总署信息中心副处长理事于光正新闻出版署信息中心室主任理事吕加令中国专利信息中心部长理事谭朝珲北京朗新信息系统有限公司技术总监理事王依群长城计算机软件与系统有限公司副总经理理事钟振祥北京方正奥德计算机系统有限公司副总裁理事刘燕清华紫光股份有限公司耗材产品事业部总经理理事艾英海沈阳东软软件股份有限公司设备主管理事许诗军信息产业部电子15所(太极公司) 部门经理理事田海波大唐软件技术有限责任公司技术管理部部门经理理事曾志雄珠海格力磁电有限公司总经理理事孔德珠珠海纳思达数码科技有限公司副总经理理事李菁京中山创富打印机耗材有限公司销售总监理事孙荣华浙江嘉兴天马打印机耗材有限公司董事长理事陈智河西安三豪科技有限公司总工理事石磊北京莱盛技贸公司总经理理事孙希斌北京东方千禧科技发展有限公司总经理理事娄刚杭州欧赛普办公科技有限公司总经理理事续守民邯郸汉光办公自动化耗材有限公司总经理理事王学春山东力美彩喷墨水有限公司总经理理事曹波辽宁丹东锦龙科技开发有限公司总经理理事田京辉河北福达科技发展有限公司董事长理事陈文伟北京实创科技产业发展公司副总经理理事何武贵州博士文化体育用品有限公司营销部经理理事高有行西安电子科技大学计算机外设研究所所长理事凡伟美国SD Pacitic,Ine.BETA Trading Co. 主任理事刘义波广州刘氏橡塑制品有限公司总经理理事安妮厦门安妮纸业有限公司总经理理事刘国荣厦门顶尖电子有限公司经理理事张保平北京宝兰达数码图象技术有限公司总经理理事毛根强上海汇德利文化用品有限公司总经理理事罗云华广州博施新技术有限公司总经理理事殷怀义保定乐凯数码影象有限公司部门经理理事金大光沈阳长达计算机外部设备有限公司董事长理事洪登玉上海邮电通信设备股份有限公司常务副厂长理事董述恂山东华菱电子有限公司部长理事崔慕丽《计算机世界》《消费电子世界》专题组长理事李曼雪《视窗世界》副总编理事王喧《中国计算机报》主编（助理总编）理事石文江《电脑报》发展部主任理事季元宏中国青年报信息编辑部主任理事孙希智 Rechargeasia Magazine（《亚洲再生业》杂志）主编理事陈拥军网易（科技频道）主编理事蔡尚文《喷绘与打印业》杂志社经理理事刘峰北京永胜和吉投资公司总经理理事张皓四川中维科技发展有限公司首席执行官理事史锦文上海邦达展览服务有限公司总经理理事贾瑞新北京工业大学网络信息中心主任。
(按协会职务、单位名称拼音顺序排序)
董事长
浙江正元智慧科技股份有限公司
朱军
副总裁
董舒
董事长
杭州电魂网络科技股份有限公司
胡建平
董事长
杭州东忠科技股份有限公司
张志宏
CTO
杭州国芯科技股份有限公司
张明
资深副总经理
杭州顺网科技股份有限公司
华勇
董事长
杭州天宽科技有限公司
蔡荣
副总经理
杭州新世纪电子科技有限公司
滕学军
董事长
杭州新中大软件股份有限公司
石钟韶
董事长
杭州中威电子股份有限公司
石旭刚
总经理
申屠祖斌
董事长
浙江网新恩普软件有限公司
江正元
总裁
浙江维尔科技股份有限公司
陆捷
总裁
浙江无限新能源股份有限公司
方昭敏
总工程师
浙江五洲工程项目管理有限公司
朱瑛斌
副总经理
浙江星汉信息技术股份有限公司
袁学群
总经理
浙江雄猫软件开发有限公司
陈建可
CEO
浙江宇视科技有限公司
赵辉
总裁办主任
浙江元亨通信技术股份有限公司
朱义潜
董事长
浙江华瑞信息资讯股份有限公司
赖天明
总经理
浙江华是科技股份有限公司
俞永方
董事长
浙江汇信科技有限公司
张玮兰
总经理
浙江建达科技股份有限公司
刘洪健
高级副总裁
浙江力得科技有限公司
卢俊
董事长
浙江丽水东华宏泰科技有限公司
邵芳
董事长
浙江蚂蚁小微金融服务集团有限公司
周毅
税务部总经理
浙江每日互动网络科技股份有限公司
北京大学校友会第七届理事会组织成员
（按姓氏拼音排序）
一、名誉会长
陈佳洱 侯仁之 闵维方 任彦申 吴阶平 朱光亚
丁石孙 胡启立 彭珮云（女） 汪家镠（女） 吴树青 朱穆之
韩启德 林丽蕴（女） 彭瑞骢 王德炳 许智宏 朱善璐
韩天石 罗豪才 曲绵域 王汉斌 周光召
何鲁丽（女） 马旭 任建新 王学珍 周铁农
张泉灵（女） 张兆东 郑昌学 朱善璐
六、秘书长 李宇宁
七、副秘书长
林百学 郑孝云（女）
孙莉莉（女）
肖渊
许诤（女）
张向英（女）
陈福今
陈建功
陈云峰
陈子明
大山（加拿大） 戴旭瀛
丁健
董晓华（女）
段震文
方伟岗
龚文东
关成华
海闻
郝斌
胡亚美（女） 黄鹰
贾爱民
江孝绰
雷虹
李靖
李鹰（女）
李莹（女）
李建新
李立明
李岩松
李彦宏
李
吕兆丰
马句
孟晓苏
缪劲翔
宁琦（女）
欧阳旭
齐宏
齐惠卿
沈克琦
沈仁道
汪建成
王廼
王丽真（女） 王璞
王维民
王伟光
穆毅锐
潘爱华
潘忠宇
秦春华
邱曙熙
诗琳通（女，泰国）宋振清（女）
王春梅（女） 王立华
王其芬（女） 王少峰
王宪
王志东
吴建伟
吴历山
肖渊
肖东发
徐韬
徐海锋
许振东
杨锋
袁纯清
曾钫
张璨（女） 张维迎 章森桂 郑孝云（女） 朱月霞（女）
张蕾（女） 张文彬 赵勇 钟南山 祝家麟
学代会会议材料
目录会议议程 (2)学代会章程 (3)筹备委员会名单 (7)学生代表名单 (8)上届团学联工作汇报 (9)监票人、计票人、选举现场监督人名单 (14)主席团选举办法 (15)主席团候选人简介 (19)会议笔记 (22)物理学院第十三次学代会会议议程日期：2012年3月27日时间：19:00--21:30地点：科技楼南楼104第一项介绍到场领导和嘉宾，宣布大会开始第二项全体起立，奏唱团歌第三项物理学院党总支副书记姜芳致开幕词第四项校学生会代表宣读贺信第五项物理学院第十二届团学联主席钱果裕做工作报告第六项颁发物理学院第十二届主席团、部长聘书休会五分钟第七项物理学院第十二届分团委副书记王伟介绍选举方案第八项团学联副主席孙毅宣布监票人、计票人第八项主席团候选人发表竞选演说第九项代表投票并由监票人、计票人统计票数结果第十项由分团委书记黄琎老师宣布投票结果并总结发言第十一项大会闭幕物理学院第十六次学生代表大会章程第一章总则第1条为促进华中科技大学物理学院的学生工作有章可依，结合学院全体同学、党支部、学生会、资助委员会的实际情况，并从院情出发，特制订本章程。
第2条华中科技大学物理学院2012届主席团换届大会（以下简称学代会）是全院学生的最高权力机构，是学院民主管理和民主监督的基本形式之一，是学生参与民主管理的权力机构，代表全院学生的权益，并履行应尽的义务。
代表全院学生的意志，维护全院学生的利益。
第3条学院学代会是在院党总支领导和院分团委指导下，按照本章程的规定程序行使职权的学生机构。
第4条学院学代会的组织原则是民主集中制，学生代表由全院学生通过民主选举产生。
第5条学代会的基本职责(1)全面贯彻党的教育方针，团结和引导广大同学刻苦学习科学文化知识，积极投身社会实践，成为热爱祖国，适应建设有中国特色社会主义现代化事业的合格人才；(2)发挥联系学院各职能部门和广大同学的桥梁纽带作用，参与学院有关学生事务的民主管理，维护广大同学的正当利益，反映同学的意见和要求，推动学院民主建设；(3)指导学生并组织广大同学开展健康有益、丰富多彩的活动，推动学院文明建设，创造富有特色的学院文化氛围；(4)制订、修改学院学代会章程，并监督章程的实施；(5)听取和审议学院学生会工作报告；(6)选举产生华中科技大学物理学院学生会主席团；(7)处理其他事关全院同学的重大事件；第二章权力机构——2012届主席团换届大会第6条按照《华中科技大学2012届主席团换届大会章程》的有关要求，结合工作实际，华中科技大学物理学院学代会代表的总人数按照全院本科生总数10％的比例产生.由全院每个学生班推荐3名代表组成36个代表席位，班级代表任期一年，代表不能出席会议时不得由非代表顶替。
中国空间科学学会
组织刊物
组织刊物
学会编辑出版的《空间科学学报》是国内空间科学及其应用领域中极有影响的综合性学术期刊（双月刊）， 已列入"中国自然科学核心期刊"，已入网国家科技部"万方数据资源系统数字化期刊群"和中国知识基础设施工程 网站"中国期刊网"，并为《中国学术期刊（光盘版）》的全文收录期刊。
发展历史
发展历史
学会大力普及空间科学知识、出版系列科普书籍，如组织编写《走向空间》、《神秘的太空城》、《恐龙灭 绝之迷》、《遥感的魔力》以及《神秘的太空》科普系列丛书等科普读物；开展青少年科技教育活动，举办多种 形式的夏令营、参观、讲座、录相、展览、知识有奖问答、采访活动等；与中国科技馆联合举办"飞向太空"全国 巡回展览；与中央电视台合作举办"国际空间年空间科技讲座"等；取得了较好的社会效益，1999年被科学技术部、 中共中央宣传部、中国科协评为全国科普工作先进集体。
四位空间科学学者获2015年“赵九章优秀中青年科学奖”
新华网北京10月14日电（**吴晶晶）2015年度“赵九章优秀中青年科学奖”14日在京揭晓。4名空间科学领 域的优秀中青年科学家分别获得大气物理、地球物理、空间物理、空间探测四类奖项。
据介绍，2015年度赵九章科学奖有来自北京大学、中国科学技术大学、中科院国家空间科学中心等19个单 位的28名中青年科学家提出申请。经过严格评审，中科院大气物理研究所段安民、中科院南海海洋研究所王志、 中科院国家空间科学中心刘颍、中科院电子学研究所王宇脱颖而出，分别获得四个奖项。他们在各自研究领域为 提升中国空间科学创新能力、对地观测和综合信息应用能力、海洋探测和应用研究能力、战略性资源深部勘察与 开发能力做出了突的结合，做出了不懈的努力。
CCF NOI2019获奖名单
CCF-NOI19-087 周禹 湖南
男 长沙市雅礼中学高二
432
5
437
CCF-NOI19-088 苏畅
广东
佛男山市南海区石门中高学二
431
5
436
CCF-NOI19-089 徐源 江苏
男 南京外国语学校高一
433
0
433
CCF-NOI19-090陈子木 四川
男 成都外国语学校高二
432
0
432
男 杭州第二中学 高一
462
0
北京
中男国人民大学附属中高学二
457
5
广东
男 广州市第六中学高二
461
0
湖南
男 长沙市雅礼中学高二
455
5
湖南
男 长沙市第一中学高二
456
0
福建
男福建省福州第三中高学二
454
0
安徽
安男徽师范大学附属中高学二
447
5
江苏
男江苏省常州高级中高学二
447
5
上海
男 华东师大二附中高一
5
424
CCF-NOI19-103姜兆祥 上海
男 华东师大二附中高二
419
5
424
CCF-NOI19-104 刘展
安徽 安男徽省马鞍山市第二高中二学
422
0
422
CCF-NOI19-105杨熙全 广东
男 广州市第二中学高二
422
0
422
CCF-NOI19-106李文超 湖北
男 武汉市武钢三中高二
422
446
5
河北
男 衡水第一中学 高二
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
18
李建中
哈尔滨工业大学教授
19
李俊山
第二炮兵工程学院教授
20
李仁发
湖南大学计算机与通信学院教授、院长
21
李宣东
南京大学计算机系教授、主任
参选常务理事
22
刘任任
湘潭大学信息工程学院教授、院长
23
罗军舟
东南大学计算机学院教授、院长
参选常务理事
24
马殿富
北京航空航天大学计算机学院教授、院长
参选常务理事
47
臧斌宇
复旦大学软件学院教授、院长
参选常务理事
48
赵 强
中国工程物理研究院计算所研究员、所长
49
周明全
北京师范大学信息学院教授、院长
参选常务理事
50
周兴社
西北工业大学计算机学院教授、院长
参选常务理事
51
朱巧明
苏州大学教授、科学技术处处长
52
朱清新
电子科技大学计算机学院教授
53
朱庆生
重庆大学计算机学院教授、副院长
CCF第九届理事会理事参选人名单（按界别和姓名拼音顺序排列）
教育与科研单位（UI）：53人
序号
姓名
单位和任职
备注1
备注2
1
操云甫
中国科学院软件研究所研究员
单位职位
参选常务理事
2
陈 明
中国石油大学计算机系教授
3
陈 钟
北京大学软件与微电子学院教授、院长
参选常务理事
4
陈志刚
中南大学软件学院教授、常务副院长
参选副理事长、常务理事
100
何新贵
北京大学信息科学技术学院教授，中国工程院院士，CCF数据库专委主任
101
姜静波
北京系统工程研究所所长，CCF抗恶劣环境计算机专委会主任
参选常务理事
102
蒋宗礼
北京工业大学计算机学院教授、副院长，CCF教育专委主任
103
李丕征
中国邮政集团公司信息技术局局长，CCF网络与数据通信专委会主任
60
黄勇刚
北京学门科技有限公司总经理
61
历 军
曙光信息产业（北京）有限公司总裁
62
刘 超
中国建设银行金融信息化专家
63
刘 伟
惠普中国实验室主任
64
刘淮松
太极计算机股份有限公司总裁
参选常务理事
65
卢长顺
中卫星空移动多媒体网络有限公司副总经理
66
卢先和
清华大学出版社副社长兼副总编辑
67
吕京建
北京英贝多嵌入式网络技术有限公司总经理
40
吴朝晖
浙江大学教授、副校长
参选副理事长、常务理事
41
肖创柏
北京工业大学计算机学院教授、副院长
42
徐 洸
空军指挥学院教授
43
徐晓飞
哈尔滨工业大学计算机学院教授、院长
参选副理事长、常务理事
44
许卓明
河海大学计算机及信息工程学院教授
45
姚淑珍
北京航空航天大学软件学院教授
46
尤新刚
北京电子技术应用研究所研究员、所长
单位职位
参选常务理事
81
单志广
国家信息中心信息化研究部首席工程师
82
雷风云
国家外国专家局教科文卫司国际处处长
83
刘 克
国家自然科学基金委员会信息二处处长
84
刘保华
中国计算机报社执行总编
单位职位
在地方学会任领导职务的CCF高级会员（P）：10人
序号
姓名
单位和任职
备注1
备注2
85
高光来
内蒙古大学计算机学院教授、院长，内蒙古自治区计算机学会理事长
浙江大学教授，CCF计算辅助设计与图形学专委主任
109
沈昌祥
第33研究所研究员，中国工程院院士，CCF信息保密专委会主任
参选常务理事
110
史元春
清华大学计算机系教授，CCF普适计算专委主任
参选常务理事
111
王维航
北京华胜天成科技股份有限公司总裁，CCF计算机应用专委会主任
112
吴 威
北京航空航天大学计算机应用系主任，CCF虚拟现实专委秘书长
127
谭铁牛
中国科学院自动化所研究员、中科院副秘书长，YOCSEF荣誉委员
信息学奥林匹克（NOI）（N）：2人
序号
姓名
单位和任职
备注1
备注2
128
王 宏
清华大学计算机系副教授、NOI科学委员会主席
参选常务理事
129
尹宝林
北航计算机学院教授、NOI科学委员会副主席
CCF第八届常务理事会推举的人士（R）：20人
单位职位
140
廖湘科
国防科大计算机学院教授、副院长
参选副理事长、常务理事
141
刘爱民
中国电子科技集团公司第十五研究所所长
单位职位
参选副理事长、常务理事
142
倪光南
中科院计算所研究员、中国工程院院士
143
倪明选
香港科技大学讲座教授兼系主任
144
邵 凯
北京用友软件工程有限公司总裁
参选副理事长、常务理事
145
118
杨学军
国防科学技术大学教授、教育长，CCF体系结构专委主任
119
殷建平
国防科技大学计算机学院教授、CCF理论计算机科学专委主任
120
于 剑
北京交通大学计算机学院教授，CCF人工智能与模式识别专委秘书长
121
张 兴
北京大学微电子学系教授、常务副院长，CCF微机专委主任
122
张民选
国防科技大学计算机学院教授，CCF计算机工程与工艺专委主任
91
王守智
陕西省科技信息研究所研究员、副所长，陕西省计算机学会理事长
92
邢 薇
哈尔滨工程大学教授，黑龙江省计算机学会秘书长
93
薛锦云
江西省高性能计算重点实验室研究员，江西省计算机学会理事长
94
周清雷
郑州大学信息工程学院教授、副院长，河南省计算机学会理事长
CCF专业委员会（TC）：28人
序号
姓名
单位和任职
王 坚
微软亚洲研究院常务副院长
参选常务理事
146
王小川
搜狐公司副总裁
147
吴恩华
澳门大学教授、科技学院副院长
148
肖建国
北京大学计算机科学技术研究所教授、所长
参选常务理事
149
郑纬民
清华大学教授
参选副理事长、常务理事
秘书长候选人名单
1
杜子德
中国科学院计算所研究员
仅参选秘书长
附注：经审查，中山大学、北京航空航天大学、电子科技大学的CCF会员数不足80人，按选举条例规定各单位最多可有1人参选理事，实际申报参选理事各2人。根据选举委员会的解释，将在理事预选中选取一人。由于预选取消并经资格审查，决定允许他们参选，但在选举时应这些单位各自最多只能有1人当选（按超过半数并且按得票多少决定）。
86
顾乃杰
中国科技大学计算机系主任，安徽省计算机学会理事长
87
李 彤
云南大学软件学院教授、院长,云南省计算机学会理事长
88
梁吉业
山西大学计算机与信息技术学院教授、院长，山西计算机学会理事长
89
潘振宽
青岛大学信息工程学院教授、院长，青岛市计算机学会秘书长
90
孙星明
湖南大学计算机与通信学院教授、副院长，湖南省计算机学会秘书长
参选常务理事
企业界（E）：26人
序号
姓名
单位和任职
备注1
备注2
54
陈 佳
北京和佳软件技术有限公司总裁
参选常务理事
55
陈 沛
北京中搜在线软件有限公司总裁
56
陈宏刚
重庆宏信软件有限责任公司总经理
57
丁晓良
北京科创无限技术有限公司董事长、总经理
58
高以成
海尔信息科技（深圳）有限公司总裁
59
侯紫峰
联想集团企业技术中心主任
参选常务理事
青年计算机论坛（YOCSEF）（Y）：5人
序号
姓名
单位和任职
备注1
备注2
123
陈天洲
浙江大学计算机学院教授，YOCSEF杭州分论坛主席
124
胡事民
清华大学计算机系教授，YOCSEF荣誉委员
参选常务理事
125
孟 丹
中国科学院计算技术研究所副所长，YOCSEF学术委员会委员
126
孟小峰
中国人民大学信息学院教授、副院长，YOCSEF荣誉委员
5
杜小勇
中国人民大学信息学院教授、院长
6
段洣毅
北京图形研究所研究员、所长
7
冯志勇
天津大学计算机学院教授、副院长
8
傅育熙
上海交通大学计算机科学与工程系教授、主任、软件学院院长
参选常务理事
9
高 文
北京大学数字媒体研究所教授、所长
参选常务理事
10
高 扬
华北计算技术研究所研究员、副所长
11
耿国华
西北大学计算机学院教授、副院长
备注1
备注2
95
陈道蓄
南京大学计算机系教授，CCF开放系统专委主任
96
陈国良
中国科学技术大学教授，中国科学院院士，CCF高性能计算专委主任
参选常务理事
97
戴 浩