Conference Overview
The tables below summarize the conferences in reliability engineering, prognostics and health management, and formal methods that have been discussed in RAWG meetings in recent years.
Reliability Conferences
| Conference Name |
Organizer |
Frequency |
Homepage |
Approx. number of attendees |
Scope |
| Accelerator Reliability Workshop (ARW) |
Various |
Biennially |
ARW 2026 |
150-200 |
Workshop to discuss challenges and solutions in the field of accelerator reliability |
| European Conference of the PHM society (PHME) |
Prognostics and Health Management Society |
Biennially |
PHME |
150 |
PHM, Computer Science |
| European Safety and Reliability Conference (ESREL) |
European Safety and Reliability Association |
Annually |
ESREL 2026 |
400 |
Reliability Engineering, Safety, PHM |
| Intelligence Maintenance Conference (IMC) |
Intelligent Maintenance and Operations Systems lab at EPFL |
Annually |
IMC |
100 |
Maintenance, Condition Monitoring, PHM |
| Reliability, Availability and Maintainability Symposium (RAMS) |
8 sponsor societies |
Annually |
RAMS |
300-500 |
Reliability Engineering, Availability and Maintainability |
| International Conference on System Reliability and Safety (ICSRS) |
IEEE Reliability Society (Italy Chapter) |
Annually |
ICSRS |
NA |
Risk Analysis, Safety Management, PHM |
| International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR) |
Institute of Mathematics & its Applications (IMA) |
Biennially |
MIMAR 2025 |
80-100 |
Maintenance Modeling and Optimization, PHM, Reliability |
| Conference Name |
Organizer |
Frequency |
Homepage |
Approx. number of attendees |
Comment |
| International Conference on Formal Methods and Models for System Design (MEMOCODE) |
ACM and IEEE |
Annually |
MEMOCODE |
NA |
|
| International Federation of Automatic Control (IFAC) World Congress |
IFAC |
3-yearly |
IFAC 2026 |
3,000 (2023) |
More generic topics on controls and automation |
| International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) |
DisCoTec |
Annually |
FORTE 2025 |
250 (2020) |
|
| International Workshop on Discrete Event Systems (WODES) |
IFAC |
Biennially |
WODES 2024 |
NA |
|
| IEEE International Conference on Industrial Informatics (INDIN) |
IEEE |
Annually |
INDIN 2024 |
250 (2023) |
|
| International Conference on Formal Methods in Software Engineering (FormaliSE) |
Formal Methods Europe (FME) |
Annually |
FormaliSE |
NA |
Well matching CERN activities in formal methods |
| International Conference on Computer-Aided Verification (CAV) |
Independent |
Annually |
CAV |
NA |
Very prestigious and quite theoretical |
| NASA Formal Methods Symposium |
Rotation between NASA research centers |
Annually |
NFM 2025 |
150 |
|
| International Conference on Engineering Applications of Neural Networks (EAAAI ex EANN) |
International Neural Networks Society (INNS) |
Annually |
EAAAI |
NA |
For verification of neural networks |
| Swiss Verification Day |
Various |
Annually |
2025 Edition |
NA |
Workshop to connect researchers working on formal methods in Switzerland |
| International Conference on Formal Engineering Methods (ICFEM) |
Various |
Annually |
ICFEM 2025 |
NA |
Formal Methods, Software Engineering |
| Chinese Academy of Sciences (CAS) President's International Fellowship Initiative (CAS PIFI) |
Chinese Academy of Sciences |
Annually |
PIFI 2025 |
NA |
Workshop related to ICFEM |