9月06日 - 2026年9月06日
International Conference on Reliable Software Technologies
暂无关注者。
概览
The 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) will take place in Västerås, Sweden. The conference is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. Topics include: Formal Methods, Testing, and Model-based Engineering of Critical Systems; High-Integrity Systems and Reliability; AI for Safety-Critical and High-Integrity Systems Engineering; Real-Time and Embedded Systems; Ada Language and Technologies; Applications and experimental evaluations in relevant domains.
The 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) will take place in Västerås, Sweden. The conference is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. Topics include: Formal Methods, Testing, and Model-based Engineering of Critical Systems; High-Integrity Systems and Reliability; AI for Safety-Critical and High-Integrity Systems Engineering; Real-Time and Embedded Systems; Ada Language and Technologies; Applications and experimental evaluations in relevant domains.
会议日期
Conference Date
2026年9月6日
- 2025年6月10日 - 2025年6月13日
投稿
Paper submission
新2026年3月3日
通知
Notification date
新2026年10月4日
来源排名
来源: CORE2023
排名: Journal Published
研究领域: Software engineering