CCF推荐会议 | 软件工程：截稿日期纵览（含OSDI, CAiSE等）

VMCAI

会议全称: International Conference on Verification, Model Checking, and Abstract Interpretation

会议网址: https://popl24.sigplan.org/home/VMCAI-2024

会议地点:  London, United Kingdom

CCF分类:  B类

Core分类:  B类

H5 指数: 15

影响力值: 1.32

录取率: VMCAI'23 50% (17/34)

IMPORTANT DATES:

Paper submission: Thu 31 Aug 2023

Notification of acceptance: Wed 11 Oct 2023

Final paper files due: Tue 31 Oct 2023

Conference date: Wed 17 - Fri 19 January 2024

SPECIFIC AREAS OF INTEREST:

Program Verification

Model Checking

Abstract Interpretation

Abstract Domains

Program Synthesis

Static Analysis

Type Systems

Deductive Methods

Program Logics

First-Order Theories

Decision Procedures

Interpolation

Horn Clause Solving

Program Certification

Separation Logic

Probabilistic Programming and Analysis

Error Diagnosis

Detection of Bugs and Security Vulnerabilities

Program Transformations

Hybrid and Cyber-physical Systems

Concurrent and distributed Systems

Analysis of numerical properties

Analysis of smart contracts

Analysis of neural networks

Case Studies on all of the above topics

ICST

会议全称: IEEE International Conference on Software Testing, Verification and Validation

会议网址: https://conf.researchr.org/home/icst-2024

会议地点:  Toronto, Canada

CCF分类:  C类

Core分类:  A类

H5 指数: 30

影响力值: 1.8

录取率: ICST'23 28.9% (26/90)

IMPORTANT DATES:

Abstract registration: Wed 18 Oct 2023

Paper submission: Wed 25 Oct 2023

Notification of acceptance: Wed 6 Dec 2023

Final paper files due: Fri 19 Jan 2024

Conference date: Mon 27 - Fri 31 May 2024

SPECIFIC AREAS OF INTEREST:

Automated test generation, e.g., fuzz testing, search-based test generation, (dynamic) symbolic execution

Manual testing practices and techniques

Security testing

Model-based testing

Test automation

Static analysis and symbolic execution

Formal verification and model checking

Software reliability

Social aspects of software testing process

Testability and design

Testing and development processes

Testing education

Testing in specific domains, such as mobile, web, embedded/cyber-physical systems, concurrent, distributed, cloud, GUI, and real-time systems

Testing for learning-enabled software, including deep learning

Testing video games, augmented reality

Testing/debugging tools

Theory of software testing

Empirical studies

Experience reports

SANER

会议全称: International Conference on Software Analysis, Evolution, and Reengineering

会议网址: https://conf.researchr.org/home/saner-2024

会议地点:  Rovaniemi , Finland

CCF分类:  B类

Core分类:  NA

H5 指数: 42

影响力值: 4.4

录取率: SANER'22 25.5% (48/188)

IMPORTANT DATES:

Abstract registration: October 13, 2023 AoE

Paper submission: October 29, 2023 AoE

Notification of acceptance: December 15, 2023 AoE

Final paper files due: January 12, 2024 AoE

Conference date: Tue 12 - Fri 15 March 2024

SPECIFIC AREAS OF INTEREST:

-Software Engineering for AI;

-Software Tools for Software Evolution and Maintenance;

-Software Analysis, Parsing, and Fact Extraction;

-Software Reverse Engineering and Reengineering;

-Program Comprehension;

-Software Evolution Analysis;

-Software Architecture Recovery and Reverse Architecting;

-Program Transformation and Refactoring;

-Mining Software Repositories and Software Analytics;

-Software Visualization;

-Software Reconstruction and Migration;

-Software Maintenance and Evolution;

-Program Repair;

-Software Release Engineering, Continuous Integration and Delivery;

-Empirical studies on all the above topics;

-Education related to all of the above topics;

-Legal aspects.

CAiSE

会议全称: International Conference on Advanced Information Systems Engineering

会议网址: https://cyprusconferences.org/caise2024/

会议地点:  Limassol, Cyprus

CCF分类:  B类

Core分类:  A类

H5 指数: 23

影响力值: 3

录取率: CAiSE'23 22.4% (36/161)

IMPORTANT DATES:

Abstract registration: 24th November 2023

Paper submission: 1st December 2023

Notification of acceptance: 23rd February 2024

Final paper files due: 5th April 2024

Conference date: June 03-07  2024

SPECIFIC AREAS OF INTEREST:

The CAiSE’24 organization calls for full papers with a special emphasis

on the theme of Information Systems in the Age of Artificial Intelligence.

Artificial Intelligence (AI) has emerged as a transformative technology,

revolutionizing various industries, and its significance in Information

Systems cannot be overstated. AI-powered systems have the potential

to streamline operations, enhance decision-making processes, and

drive innovation across organizations. From data analysis to automated

processes, AI is reshaping the way we leverage information in the digital

age. The relevance of AI in IS extends beyond internal operations. AIpowered predictive analytics enables organizations to forecast trends,

anticipate customer needs, and optimize resource allocation. This

empowers businesses to adapt swiftly to changing market dynamics, gain

a competitive edge, and make proactive decisions. AI algorithms can also

detect anomalies and patterns that indicate potential security breaches,

contributing to robust cybersecurity measures in information systems.

However, while acknowledging the benefits, it is essential to consider the

ethical implications of AI in information systems. Ensuring data privacy,

addressing bias in algorithms, and maintaining transparency are vital

aspects that need to be carefully managed and regulated to foster trust and accountability.

OSDI

会议全称: USENIX Symposium on Operating Systems Design and Implementations

会议网址: https://www.usenix.org/conference/osdi24

会议地点:  SANTA CLARA, CA, USA

CCF分类:  A类

Core分类:  A*类

H5 指数: 39

影响力值: 4.9

录取率: OSDI'23 19.6% (50/255)

如需入投稿交流群，请添加助手微信并备注【OSDI+昵称+单位】

IMPORTANT DATES:

Abstract registrations due: Thursday, November 30, 2023, 5:59 pm EST (10:59 pm UTC)

Complete paper submissions due: Thursday, December 7, 2023, 5:59 pm EST (10:59 pm UTC)

Author Response Period

     Reviews available: Monday, March 4, 2024

     Author responses due: Wednesday, March 6, 2024

Notification to authors: Thursday, March 21, 2024

Final paper files due: Tuesday, June 4, 2024

Conference date: JULY 10–12, 2024

SPECIFIC AREAS OF INTEREST:

The 18th USENIX Symposium on Operating Systems Design and Implementation seeks to present innovative, exciting research in computer systems. OSDI brings together professionals from academic and industrial backgrounds in a premier forum for discussing the design, implementation, and implications of systems software. OSDI emphasizes innovative research and quantified or insightful experiences in systems design and implementation.

OSDI takes a broad view of the systems area and solicits contributions from many fields of systems practice, including operating systems, file and storage systems, distributed systems, cloud computing, mobile systems, secure and reliable systems, systems aspects of big data, embedded systems, virtualization, networking as it relates to operating systems, and management and troubleshooting of complex systems. We also welcome work that explores the interface to related areas such as computer architecture, networking, programming languages, analytics, and databases. We encourage contributions with highly original ideas, new approaches, and groundbreaking results.