|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
|
ATVA 2024
22nd International Symposium on Automated Technology for Verification and Analysis
|
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
|
ICAPS 2024
The 34th International Conference on Automated Planning and Scheduling
|
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|
|
IDEAL 2024
Intelligent Data Engineering and Automated Learning
|
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
|
CAV 2024
36th International Conference on Computer Aided Verification
|
|
JSS VSI:AI-testing-and-analysis 2024
[JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
|
