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)
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|
OPODIS 2024
International Conference on Principles of Distributed Systems
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
SANDY 2024
The Second International Workshop on Scalable Algorithms for Network Dynamics
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
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
|