TACAS 2024
Tools and Algorithms for Construction and Analysis of Systems
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
DSIT 2024
2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
|
AREA 2024
4th Workshop on Agents and Robots for reliable Engineered Autonomy
|
IEEE-Ei/Scopus-ACEPE 2024
2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|
CCBDIOT 2024
2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
|
ICTAI 2024
36th International Conference on Tools with Artificial Intelligence
|