ICFEM 2024
International Conference on Formal Engineering Methods
|
IEEE WSAI 2024
IEEE--2024 the 6th World Symposium on Artificial Intelligence (WSAI 2024)
|
TASE 2024
18th Theoretical Aspects of Software Engineering Conference
|
ACM MLMI 2024
ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
|
AREA 2024
4th Workshop on Agents and Robots for reliable Engineered Autonomy
|
ICSCT 2024
2024 13th International Conference on Software and Computing Technologies (ICSCT 2024)
|
ISORC 2024
International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
|
SOEN 2024
9th International Conference on Software Engineering
|
ISCMI 2024
2024 11th International Conference on Soft Computing & Machine Intelligence (ISCMI 2024)
|
FM 2024
Formal Methods
|