FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
SIMULTECH 2025
15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
|
BDAB 2025
6th International Conference on Big Data and Blockchain
|
CST 2024
11th International Conference on Advances in Computer Science and Information Technology
|
SBMF 2024
27th Brazilian Symposium on Formal Methods
|
DSML 2024
5th International Conference on Data Science and Machine Learning
|