LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
WPTE 2025
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
RASF-PDE 2025
SPECIAL ISSUE: Recent Advancements in Special Function Theory, Boundary Value Problems, and Partial Differential Equations
|
Eval4NLP 2025
5th Workshop on Evaluation and Comparison for NLP systems (Eval4NLP)
|
LREC 2025
Fifteenth biennial Language Resources and Evaluation Conference
|
USIC 2025
Asia Conference on Unmanned System and Intelligent Control (USIC 2025)
|
AIM 2025
ICCV - Advances in Image Manipulation workshop and challenges
|
SOAP 2025
SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
|
PEMWN 2025
Performance Evaluation & Modeling in Wired and Wireless Networks
|