|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
|
FACS 2024
20th International Conference on Formal Aspects of Component Software
|
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
|
CAV 2025
37th International Conference on Computer Aided Verification
|
|
ERAS 2025
The 1st IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS)
|
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|
|
ACM SAC 2025
40th ACM/SIGAPP Symposium On Applied Computing
|
|
ISORC 2025
International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
|
