posted by user: sadegh_rk || 1286 views || tracked by 3 users: [display]

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


Conference Series : International Conference on Reliable Software Technologies
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

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
WSCG 2022   30. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision
IJPLA 2022   International Journal of Programming Languages and Applications
DATE 2022   Design, Automation, and Test in Europe
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
VLSIE 2022   3rd International Conference on VLSI Embedded Systems
BPM - CEE Forum 2022   20th International Conference on Business Process Management - Central and Eastern Europe Forum
SE for IoTs 2022   Special Issue on Software Engineering for Internet of Things: Architectures, Technologies, and Applications