更多会议截稿信息，期刊Special Issue，以及盛会的讨论qun，请移步gzh(CS Conferences)查看。
以上为未来三个月已公布截稿日期的CCF推荐，软件工程领域会议，按照时间排序。 个别会议因为没有公布截稿信息而不在所列时间线内。
录取率信息为网络上可获得的最近年份数据，不一定是上一年的，文中尽量选择同时带有投稿量的数据年份供大家参考.
Core Ranking会排除Not primarily CS，regional或者是national的会议，个别未上榜会议不代表会议水平差。
具体列表如下：
| ATVA |
| 会议全称：International Symposium on Automated Technology for Verification and Analysis 会议网址：https://formal-analysis.com/atva/2021/ 会议地点： Gold Coast, Australia CCF分类：C 类 Core分类：A 类 H5指数：18 影响力值：2.15 录取率：ATVA'20 36% (27/75) |
| IMPORTANT DATES: Workshop Proposals Due: 28 Feb 2021 (email to Workshop Co-chairs) Full Paper Submissions Due: 9 April (AOE) 2021 Notification: 4 June 2021 Camera-ready Due: 4 July 2021 |
| SPECIFIC AREAS OF INTEREST: Formalisms for modeling hardware, software and embedded systems Specification and verification of finite-state, infinite-state and parameterized system Program analysis and software verification Analysis and verification of hardware circuits, systems-on-chip and embedded systems Analysis of real-time, hybrid, priced, weighted and probabilistic systems Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification Analytical techniques for safety, security, and dependability Testing and runtime analysis based on verification technology Analysis and verification of parallel and concurrent systems Verification in industrial practice Synthesis for hardware and software systems Applications and case studies Automated tool support Analysis and verification of machine learning and other AI systems |
| IMPORTANT DATES: Optional early paper submission: March 1, 2021
Improvement suggestions to early papers: April 1, 2021
Normal paper submission: April 15, 2021
Rebuttal phase: June 1 - 7, 2021
Final notification to authors: June 17, 2021
Camera-ready paper and registration due: July 1, 2021 |
| SPECIFIC AREAS OF INTEREST: [Special Track] Quantum Software and Services
(Organized jointly with the inaugural Symposium on Quantum Software and Services) Cloud quantum service model Orchestration of hybrid quantum applications Web and cloud access to quantum computers Development tools for quantum software Programming model for quantum software [Special Track] Software Service Engineering Advanced models for software service engineering Theoretical foundations of software service engineering Software service engineering for innovative application domains (e.g., service-based cyber-physical systems, intelligent services for a smart world, etc.) Services Discovery, Selection and Recommendation Service publishing Service search engines Collaborative filtering Service recommendation Service reasoning Machine learning powered service discovery Services Composition Automatic service composition Scientific workflows Business process integration and management Service coordination and cooperation Service-based data integration Data-driven service composition Service orchestration and choreography for the future Internet Services QoS Management Quality-of-Service (QoS) modeling and management Service QoS evaluation and prediction Autonomic services Web services testing Performance aspects of cloud and service virtualization Service level agreements Services Security, Privacy and Trust Internet service security Service privacy protections Dependable and secure services Service auditing Service policy control Service Applications beyond the Web Data-centric big services Web services for Internet of Things Social services Cloud services Mobile web services XaaS (everything as a service) Semantic Services Semantic service modeling Semantics-based service discovery Semantics-based service composition Service-Oriented Software Engineering Service-Oriented Architecture (SOA) Service specification and modeling Service evolution Service-oriented software engineering Methodologies Formal methods in services Software engineering for adaptive service-oriented systems |
| IMPORTANT DATES: Optional early paper submission: March 1, 2021
Improvement suggestions to early papers: April 1, 2021
Normal paper submission: April 15, 2021
Rebuttal phase: June 1 - 7, 2021
Final notification to authors: June 17, 2021
Camera-ready paper and registration due: July 1, 2021 |
| SPECIFIC AREAS OF INTEREST: [Special Track] Future of Financial Services
(Organized jointly with the Symposium on Future of Financial Services) Foundational Technologies: financial engineering, financial informatics, AI in investment management (knowledge graphs, ML/DL) and key technology enablers (IoT, security, cloud, 5G, blockchain, APIs, quantum computing) Emerging Business Models: digital finance (FinTech, InsurTech, RegTech, new payment rails, behavioral finance), climate-responsible finance, cryptocurrency, financial inclusion Operational Intelligence: financial risk and regulation (Basel, MiFID, DSA, DMA, DORA, PSD2), omnichannel, process automation, AML, KYC, data protection, liquidity management and real-time reporting [Special Track] Industrial Internet Internet+, Industry 4.0, Internet of Things (IoT) as a Service Data quality issues for analytics IoT-enabled edge and cloud computing Prognostics and Health Management Smart homes, cities, manufacturing, and power grid Serviceology and Foundations of Services Computing Service modeling, semantics, registry, discovery, and recommendation Service composition, patterns, algebra, and calculus Service-oriented architecture (SOA) and microservice-oriented architecture (MOA) Service-oriented system engineering (SOSE) Education in service science and engineering Scientific Workflows and Business Process Integration & Management Workflow composition, execution & resource scheduling, and enterprise service bus (ESB) Value network, supply chain, and API economy Service QoS, Lifecycle Management, and DevOps SLA (Service Level Agreements), SLM (service level management), business impact management GRC (governance, regulation, and compliance), and monitoring & event management Business support services (BSS), and operations support services (OSS) Continuous integration, continuous delivery/deployment, continuous improvement AI@Scale in Services Computing and Human-Centered Services AI@Scale in services computing AI-enabled accelerated scientific discovery, model risk management, and application and process modernization AIOps |
| OOPSLA |
| 会议全称：Conference on Object-Oriented Programming Systems, Languages, and Applications 会议网址：https://2021.splashcon.org/track/splash-2021-oopsla 会议地点： Chicago, Illinois, USA CCF分类：A 类 Core分类：A* 类 H5指数：34 影响力值：4.79 录取率：OOPSLA'20 36% (109/302) |
| IMPORTANT DATES: Fri 16 Apr 2021 Paper Submissions - 1st round Sun 13 Jun 2021 Reviews - 1st round |
| SPECIFIC AREAS OF INTEREST: Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). |
| ESEM |
| 会议全称：International Symposium on Empirical Software Engineering and Measurement 会议网址：https://conf.researchr.org/home/esem-2021 会议地点： Bari, Italy CCF分类：B 类 Core分类：A 类 H5指数：20 影响力值：2.97 录取率：ESEM'20 21% (26/123) |
| IMPORTANT DATES: Mon 12 Apr 2021 Technical Papers Abstract deadline Mon 19 Apr 2021 Technical Papers Submission deadline |
| SPECIFIC AREAS OF INTEREST: ESEM is the premier conference for presenting research results related to empirical software engineering. ESEM provides a stimulating forum where researchers and practitioners can present and discuss recent research results on a wide range of topics, in addition to exchanging ideas, experiences and challenging problems. |
| SPIN |
| 会议全称：International SPIN Workshop on Model Checking Software 会议网址：https://conf.researchr.org/home/spin-2021 会议地点：Online CCF分类：C 类 Core分类：NA H5指数：NA 影响力值：NA 录取率：SPIN'20 37.9% (11/29) |
| IMPORTANT DATES: Tue 20 Apr 2021 Submission deadline Thu 20 May 2021 Author notification Sun 30 May 2021 Camera-ready version Mon 12 - Tue 13 Jul 2021 Conference |
| SPECIFIC AREAS OF INTEREST: Formal verification techniques for automated analysis of software Formal analysis for modeling languages, such as UML/state charts Formal specification languages, temporal logic, design-by-contract Model checking Automated theorem proving, including SAT and SMT Verifying compilers Abstraction and symbolic execution techniques Static analysis and abstract interpretation Combination of verification techniques Modular and compositional verification techniques Verification of timed and probabilistic systems Automated testing using advanced analysis techniques Combination of static and dynamic analyses Derivation of specifications, test cases, or other useful material via formal analysis Case studies of interesting systems or with interesting results Engineering and implementation of software verification and analysis tools Benchmark and comparative studies for formal verification and analysis tools Formal methods of education and training Insightful surveys or historical accounts on topics of relevance to the symposium Relevant tools and algorithms for modern hardware, e.g.: parallel, GPU, TPU, cloud, and quantum |
| ASE |
| 会议全称：International Conference on Automated Software Engineering 会议网址：https://conf.researchr.org/home/ase-2021 会议地点： Melbourne, Australia CCF分类：A 类 Core分类：A* 类 H5指数：40 影响力值：5.94 录取率：ASE'20 22.5% (93/414) |
| IMPORTANT DATES: Fri 16 Apr 2021 Research Papers Abstract deadline Fri 23 Apr 2021 Research Papers Paper Submission deadline |
| SPECIFIC AREAS OF INTEREST: The ASE conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. |
| SAS |
| 会议全称：International Static Analysis Symposium 会议网址：https://conf.researchr.org/home/sas-2021 会议地点： Chicago, Illinois, USA CCF分类：B 类 Core分类：A 类 H5指数：0 影响力值：1.49 录取率：SAS'20 41.2% (14/34) |
| IMPORTANT DATES: Paper submission: April 25, 2021 Artifact submission: April 29, 2021 Author response period: June 11-17 Author notification: July 4 Final version due: August 4 (approximate) Conference: Oct 17-22, 2021 |
| SPECIFIC AREAS OF INTEREST: Abstract domains Abstract interpretation Automated deduction Data flow analysis Debugging techniques Deductive methods Emerging applications Model checking Data science Program optimizations and transformations Program synthesis Program verification Security analysis Tool environments and architectures Theoretical frameworks Type checking |
| ICSME |
| 会议全称：International Conference on Software Maintenance and Evolution 会议网址：https://icsme2021.github.io/ 会议地点： Virtual CCF分类：B 类 Core分类：A 类 H5指数：33 影响力值：4.46 录取率：ICSME'20 28.7% (58/207) |
| IMPORTANT DATES: Abstract Submission: April 26th, 2021 Paper Submission: April 29th, 2021 Author Notification: June 14th, 2021 Camera-ready Submission: June 30th, 2021 |
| SPECIFIC AREAS OF INTEREST: Change and defect management Code cloning and provenance Concept and feature location Continuous integration/deployment Empirical studies of software maintenance and evolution Evolution of non-code artefacts Human aspects of software maintenance and evolution Maintenance and evolution of model-based methods Maintenance and evolution processes Maintenance and evolution of mobile apps Maintenance versus release process Mining software repositories Productivity of software engineers Release engineering Reverse engineering and re-engineering Run-time evolution and dynamic configuration Service oriented and cloud computing Software and system comprehension Software migration and renovation Software quality assessment Software refactoring and restructuring Software testing theory and practice Source code analysis and manipulation |
| FM |
| 会议全称：International Symposium on Formal Methods 会议网址：https://lcs.ios.ac.cn/fm2021/ 会议地点： CCF分类：B 类 Core分类：A 类 H5指数：17 影响力值：2.64 录取率：FM'19 34.1% (44/129) |
| IMPORTANT DATES: April 30, 2021 Deadline for abstract submission May 6, 2021 Deadline for full paper submission July 16, 2021 Paper notification August 16, 2021 Final version November 20-26, 2021 Conference |
| SPECIFIC AREAS OF INTEREST: Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems.The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. |
| ISSRE |
| 会议全称：International Symposium on Software Reliability Engineering 会议网址：http://2021.issre.net/ 会议地点： Wuhan, China CCF分类：B 类 Core分类：A 类 H5指数：21 影响力值：1.98 录取率：ISSRE'20 25.7% (38/148) |
| IMPORTANT DATES: Abstract submission deadline: April 30rd Full paper submission deadline: May 7th Author rebuttal period: July 7th-9th Notification to authors: July 30th Camera ready papers: August 15th |
| SPECIFIC AREAS OF INTEREST: Primary dependability attributes (i.e., security, safety, maintainability) impacting software reliability Secondary dependability attributes (i.e., survivability, resilience, robustness) impacting software reliability Reliability threats, i.e. faults (defects, bugs, etc.), errors, failures Reliability means (fault prevention, fault removal, fault tolerance, fault forecasting) Metrics, measurements and threat estimation for reliability prediction and the interplay with safety/security Reliability of software services Reliability of open source software Reliability of Software as a Service (SaaS) Reliability of software dealing with Big Data Reliability of model-based and auto-generated software Reliability of software within specific types of systems (e.g., autonomous and adaptive, green and sustainable, mobile systems) Reliability of software within specific technological spaces (e.g., Internet of Things, Cloud, Semantic Web/Web 3.0, Virtualization, Blockchain) Normative/regulatory/ethical spaces pertaining to software reliability Societal aspects of software reliability |
| MoDELS |
| 会议全称：International Conference on Model Driven Engineering Languages and Systems 会议网址：https://conf.researchr.org/home/models-2021 会议地点： Fukuoka City, Japan CCF分类：B 类 Core分类：A 类 H5指数：21 影响力值：2.97 录取率：MoDELS'19 20% (18/89) |
| IMPORTANT DATES: Sun 11 Apr 2021 Workshops Workshop Proposal Submissions Deadline Fri 30 Apr 2021 Technical Papers Abstract submission Sun 2 May 2021 Workshops Workshop Proposal Acceptance Notification Fri 7 May 2021 Technical Papers Paper submission Mon 12 Jul 2021 Technical Papers Author notification Sat 31 Jul 2021 Technical Papers Camera Ready Due |
| SPECIFIC AREAS OF INTEREST: MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers and industrial professionals. MODELS 2021 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling and model-based software and systems. This year’s edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability. In 2021, MODELS has a special theme on “Modeling for Human-AI Collaborative Society”. We especially encourage contributions where model-driven engineering intersects with research and applications on, not exclusively, artificial intelligence, Internet of Things, smart cities, robot ethics and value-based Software Engineering. We invite you to join us at MODELS 2021, Fukuoka, Japan and to help shape the modelling methods and technologies of the future! |
| SOSP |
| 会议全称：ACM Symposium on Operating Systems Principles 会议网址：https://sosp2021.mpi-sws.org/ 会议地点： Koblenz, Germany CCF分类：A 类 Core分类：A* 类 H5指数：42 影响力值：6.11 录取率：SOSP'19 14% (38/276) |
| IMPORTANT DATES: Deadline to Register Abstracts: April 30, 2021 (2:59 PM US/Pacific) Submission Deadline (No extensions): May 7, 2021 (2:59 PM US/Pacific) Reviews available for author response: July 20, 2021 Author Response due: July 23, 2021 (2:59 PM US/Pacific) Acceptance Notification: August 9, 2021 Camera Ready due: September 27, 2021 Workshops Date: October 25, 2021 Conference Dates: October 26-28, 2021 |
| SPECIFIC AREAS OF INTEREST: SOSP takes a broad view of the systems area and solicits contributions from many fields of systems practice, including, but not limited to, operating systems, file and storage systems, distributed systems, cloud computing, mobile systems, secure and reliable systems, systems aspects of big data and machine learning, embedded systems, virtualization, and management and troubleshooting of complex systems. We also welcome work that explores the interaction with related areas such as computer architecture, networking, programming languages, verification, and databases. In keeping with SOSP tradition, we will favor work that explores new territory, continues a significant research dialogue, or reflects on experience with or measurements of state of the art implementations. |
| CP |
| 会议全称：International Conference on Principles and Practice of Constraint Programming 会议网址：https://cp2021.a4cp.org/ 会议地点： Montpellier France CCF分类：B 类 Core分类：A 类 H5指数：21 影响力值：2.15 录取率：CP'20 45% (55/122) |
| IMPORTANT DATES: Abstract Submission: May 14, 2021 Full Paper Submission: May 21,2021 Author Response due: June 21, 2021 Final Notification: July 5, 2021 Camera ready: July 19, 2021 |
| SPECIFIC AREAS OF INTEREST: The CP 2021 programme will include presentations of high-quality scientific papers and tutorials on both theory and applications. Invited talks will describe important topics relevant to the field. The CP programme also welcomes workshops for discussing in-progress work and provides support to students through its doctoral program, which includes a dedicated one day doctoral conference, mentorship by experienced researchers and more. Tracks: The conference features a main /Technical Track/, and /Thematic/ tracks: Application CP and Machine Learning CP and Operations Research Testing and Verification Papers are submitted directly to one of the five tracks. Submissions that reach beyond classic constraint programming concepts are encouraged and welcomed alongside papers on constraint solving, NP-hard problem solving and optimization in general. Any underlying computational technique operating on a declarative constraint model are also welcome. Papers in specialized tracks will be reviewed by experts in that area. |
| Middleware |
| 会议全称：International Middleware Conference 会议网址：https://middleware-conf.github.io/2021/ 会议地点： Québec City, Québec, Canada CCF分类：B 类 Core分类：A 类 H5指数：22 影响力值：1.98 录取率：Middleware'20 25.2% (30/119) |
| IMPORTANT DATES: Abstract Submission Deadline: May 15, 2021 Full paper submissions due: May 22, 2021 Notification to authors (Accept/ Accept minor-revision/ Revise/ Reject): August 15, 2021 Revised submissions due: September 15, 2021 Notifications of decisions of revised papers (Accept/Reject): September 30, 2021 Final paper files (camera ready copy) due: October 15, 2021 |
| SPECIFIC AREAS OF INTEREST: Cloud and data centers Virtualization, auto-scaling, provisioning, and scheduling Data-intensive computing (big data) and data analytics Stream Processing Middleware Systems for Machine learning Mobile and pervasive systems and services Middleware techniques for Internet-of-Things, smart cities Fog, Edge computing Middleware for cyber-physical and real-time systems Energy and power-aware techniques Event-based, publish/subscribe, and peer-to-peer solutions Networking, network function virtualization, software-defined networking Middleware for multimedia systems Fault tolerance and Consistency Blockchains Middleware support for Security and privacy Monitoring, resource management and analysis Middleware Design principles Programming abstractions and paradigms for middleware Reconfigurable, adaptable, and reflective middleware Reviews of middleware paradigms, e.g., object models, aspect orientation, etc. Methodologies and tools for middleware systems design, implementation, verification, and evaluation |
| APLAS |
| 会议全称：Asian Symposium on Programming Languages and Systems 会议网址：https://conf.researchr.org/home/aplas-2021 会议地点： Chicago, Illinois CCF分类：C 类 Core分类：B 类 H5指数：12 影响力值：1.81 录取率：APLAS'20 41.3% (19/46) |
| IMPORTANT DATES: Wed 16 Jun 2021: Research Papers Submission deadline Wed 28 - Fri 30 Jul 2021: Research Papers Author response Wed 11 Aug 2021: Research Papers Author notification Wed 1 Sep 2021: Research Papers Final version |
| SPECIFIC AREAS OF INTEREST: Semantics, logics, foundational theory Design of languages, type systems, and foundational calculi Domain-specific languages Compilers, interpreters, abstract machines Program derivation, synthesis, and transformation Program analysis, verification, model-checking Logic, constraint, probabilistic, and quantum programming Software security Concurrency and parallelism Tools and environments for programming and implementation Applications of SAT/SMT to programming and implementation |
| SCAM |
| 会议全称：IEEE International Working Conference on Source Code Analysis and Manipulation 会议网址：http://www.ieee-scam.org/2021/ 会议地点： Québec City, Québec, Canada CCF分类：C 类 Core分类：C 类 H5指数：14 影响力值：2.31 录取率：SCAM'20 39.6% (21/53) |
| IMPORTANT DATES: Abstract Submission: June 21st, 2021 Conflict Declaration: June 21st - June 28h, 2021 Paper Submission: June 28th, 2021 Reviews due Date: July 26th, 2021 Paper Discussion: July 27th - August 1st, 2021 Author Notification: August 2nd, 2021 Camera Ready: August 9th, 2021 |
| SPECIFIC AREAS OF INTEREST: abstract interpretation bad smell detection bug location and prediction clone detection concern, concept, and feature localization and mining decompilation energy efficient source code natural language analysis of source code artifacts program comprehension program slicing program transformation and refactoring repository, revision, and change analysis security vulnerability analysis source level metrics source level optimization source-level testing and verification static and dynamic analysis |
