posted by user: sadegh_rk || 2582 views || tracked by 4 users: [display]

Ada-Europe 2022 : Ada-Europe International Conference on Reliable Software Technologies

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Reliable Software Technologies
 
Link: http://www.ada-europe.org/conference2022/
 
When Jun 14, 2022 - Jun 17, 2022
Where Ghent, Belgium
Submission Deadline Jan 16, 2022
Notification Due Mar 14, 2022
Final Version Due Mar 14, 2022
Categories    formal methods   reliability   embedded systems   software engineering
 

Call For Papers

The conference is an established international forum for providers, practitioners and
researchers in reliable software technologies. The conference presentations will
illustrate current work in the theory and practice of developing, running and
maintaining challenging long-lived, high-quality software systems for a variety of
application domains including manufacturing, robotics, avionics, space, health care,
transportation, Cloud environments, smart energy, serious games. 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:
- Real-Time and Safety-Critical Systems
o Design, implementation and verification challenges;
o Novel approaches, e.g., Mixed-Criticality Systems, novel scheduling
algorithms, novel design and analysis methods.
- High-Integrity Systems and Reliability
o Theory and practice of High-Integrity Systems;
o Languages vulnerabilities and countermeasures;
o Architecture-centred development methods and tools
- Reliability-oriented Programming Languages (not limited to Ada)
o Compilation and runtime challenges, language profiles;
o Use cases and experience reports;
o Language education and training initiatives.
- Experience Reports
o Case studies, lessons learned, and comparative assessments;

Related Resources

ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
CETA 2024   2024 3rd International Conference on Computer Engineering, Technologies and Applications (CETA 2024)
ICIEA(EU) 2024   ACM--2024 The 11th International Conference on Industrial Engineering and Applications (Europe)(ICIEA 2024)
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
ACM ICIEA(EU) 2024   ACM--2024 The 11th International Conference on Industrial Engineering and Applications (Europe)(ICIEA 2024)
ACM CIIS 2023   ACM--2023 The 6th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2023)
Wenzao European Forum 2023   6th Wenzao European Forum: The Role of Taiwan in Europe-Asia Relations
EPE 2024   SPIE Photonics Europe 2024
ICCTA 2024   2024 10th International Conference on Computer Technology Applications (ICCTA 2024)