SOAP 2025
SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
WPTE 2025
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
|
ACM SAC 2025
40th ACM/SIGAPP Symposium On Applied Computing
|
Ei/Scopus-CCNML 2025
2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
|
Ei/Scopus-SGGEA 2025
2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
|
IEEE-ACAI 2025
2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
|
RASF-PDE 2025
SPECIAL ISSUE: Recent Advancements in Special Function Theory, Boundary Value Problems, and Partial Differential Equations
|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
ASPLOS 2026
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer
|