ATVA 2024
22nd International Symposium on Automated Technology for Verification and Analysis
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
ACM SAC 2025
40th ACM/SIGAPP Symposium On Applied Computing
|
IDEAL 2024
Intelligent Data Engineering and Automated Learning
|
Hong Kong-MIST 2025
2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
|
BS LAB 2025
9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
|
ICPRS 2025
15th International Conference on Pattern Recognition Systems
|
OOPSLA 2025 Round 2 2025
Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
|