VMCAI 2024

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2024 will be the 25th edition in the series.

所属领域：软件工程

CCF分级：B类

时间地点：2024年1月15日-伦敦

截稿时间：2023年8月31日

大会官网：

大会征文

程序验证，模型检查，摘要解释

抽象域，程序综合，静态分析

类型系统，演绎方法，程序逻辑

一阶理论，决策程序，插值

Horn子句求解，项目认证，分离逻辑

概率规划与分析，错误诊断

Bug和安全漏洞的检测，程序转换

混合和网络物理系统，并发和分布式系统

数值特性分析，智能合约分析，神经网络分析

ETAPS 2024

ETAPS is the primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2024 is the twenty-seventh event in the series.

所属领域：软件工程

CCF分级：B类

时间地点：2024年4月6日-卢森堡

截稿时间：2023年10月12日

大会官网：

SANER 2024

The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) is the premier event on the theory and practice of recovering information from existing software and systems. The event explores innovative methods to extract the many kinds of information that can be recovered from software, software engineering documents, and systems artifacts, and examines innovative ways of using this information in system renewal and program understanding.

所属领域：软件工程

CCF分级：B类

时间地点：2024年3月12日-芬兰

截稿时间：2023年10月29日

大会官网：

大会征文

人工智能软件工程

用于软件进化和维护的软件工具

软件分析、解析和事实提取

软件逆向工程与再造

程序理解，软件进化分析

软件体系结构恢复和反向体系结构

程序转换和重构

挖掘软件存储库和软件分析

软件可视化，软件重建和迁移；

软件维护和演进，程序修复

软件发布工程、持续集成和交付

对上述所有主题的实证研究

与上述所有主题相关的教育

CAiSE 2024

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. AI-powered 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.

所属领域：软件工程

CCF分级：B类

时间地点：2024年6月3日-塞浦路斯

截稿时间：2023年12月1日

大会官网：