posted by user: sadegh_rk || 2900 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

IEEE ICCTech 2025   IEEE--2025 the 4th International Conference on Computer Technologies (ICCTech 2025)
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
AIAT 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
EJEA-GRANITE 2024   GRANITE – EJEA: Europe meets Japan: Intercultural Workshop on Data Sovereignty and Generative AI: Applications, Design, Social, Ethical and Technological Impact
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
EURINT 2024   Debating Europe: new approaches, action tools and integration scenarios
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
Civo Navigate EU 2024   Civo Navigate Europe 2024
CyFRP 2024   Advances in Interdisciplinary Cybersecurity: Insights from Funded Research Projects