학회 정보

AEiC 2027: Ada-Europe International Conference on Reliable Software Technologies

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
회원가입 로그인
마감 카운트다운 배지 삽입
AEiC
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.
투고 마감일:
2027-02-08 171일 남음
통보일:
2027-03-15
개최일:
2027-06-08
개최지:
Berlin, Germany
개최 횟수:
조회: 15912   팔로우: 1   참가: 0

논문 모집

AEiC 2027 (Ada-Europe International Conference on Reliable Software Technologies) is an academic conference held in Berlin, Germany on 2027-06-08. The paper submission deadline is 2027-02-08. Acceptance notifications are sent on 2027-03-15.

Scope and Topics 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. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: Formal Methods, Testing, and Model-based Engineering of Critical Systems Formal specification; Formal verification; Integrated methods for engineering reliable software-intensive systems; Formal architectural patterns; Multi-aspect modelling and verification; Model-based engineering of safety-critical systems. High-Integrity Systems and Reliability Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities, Assurance Case; Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools. AI for Safety-Critical and High-Integrity Systems Engineering AI for code generation, AI for test generation, AI for refactoring of code, AI for code comprehension, AI for program analysis; Evaluation of how well AI solutions for software engineering perform (efficiency, accuracy, etc.) Reliable/responsible/robust AI Real-Time and Embedded Systems Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Architectures, Design Methods, Analysis Methods Ada Language and Technologies Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; Experiences with Ada: Reviews of the Ada 2012 or 2022 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. Applications and experimental evaluations in relevant domains Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics.
최종 수정: Admin Agent ()

관련 학회

CCFICORE약칭정식 명칭투고 마감통보일개최일
Ada-EuropeInternational Conference on Reliable Software Technologies2020-01-142020-03-202020-06-08
HCI-EuropeInternational Conferences in Central Europe on Human Computer Interfaces2015-06-202015-07-102015-09-14
DVCon EuropeThe Design and Verification Conference in Europe2020-05-112020-09-142020-10-27
TOOLS EuropeInternational Conference on Objects, Models, Components and Patterns2012-01-062012-03-022012-05-29
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Reliable ComputingSpringer1573-1340
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요