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