ICFEM 2024
International Conference on Formal Engineering Methods
|
FM 2024
Formal 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)
|
ICSE 2025
The 47th International Conference on Software Engineering (Second Cycle)
|
WSIS - 2024
XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
|
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
|
FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems
|
AFMAS 2024
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|