更多会议截稿信息,期刊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 |
ICWS |
会议全称:International Conference on Web Services 会议网址:https://conferences.computer.org/icws/2021/about/ 会议地点: NA CCF分类:B 类 Core分类:A 类 H5指数:NA 影响力值:NA 录取率:ICWS'20 24.3% (78/321) long+short |
IMPORTANT DATES: Optional early paper submission: March 1, 2021 |
SPECIFIC AREAS OF INTEREST: [Special Track] 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 |
SCC |
会议全称:International Conference on Service Computing 会议网址:https://conferences.computer.org/scc/2021/ 会议地点: Virtual CCF分类:C 类 Core分类:A 类 H5指数:19 影响力值:1.81 录取率:SCC'20 20.5% (41/200) |
IMPORTANT DATES: Optional early paper submission: March 1, 2021 |
< |