ICFEM 2024
International Conference on Formal Engineering Methods
|
ITNG 2024
The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
|
ACIE 2024
CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
|
WSIS - 2024
XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
BDPC 2025
2025 3rd International Conference on Big Data and Privacy Computing (BDPC 2025)
|
ICAASE 2024
The 6th Edition of the International Conference on Advanced Aspectsof Software Engineering
|
ICCDE--EI 2025
2025 11th International Conference on Computing and Data Engineering (ICCDE 2025)
|
AFMAS 2024
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|
CRISIS 2024
19th International Conference on Risks and Security of Internet and Systems
|