LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
WPTE 2025
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
|
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
|
AIM 2025
ICCV - Advances in Image Manipulation workshop and challenges
|
Humanoids 2025
2025 IEEE-RAS 24th International Conference on Humanoid Robots
|
SOAP 2025
SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
|
GENEA 2025
Generation and Evaluation of Non-verbal Behaviour for Embodied Agents Workshop 2025
|
EVALSUP & CIMQUSEF 2025
The 7th International Conference on Evaluation in Higher Education and the 22th International Conference on the Quality of Education
|
Bench 2025
The 17th BenchCouncil International Symposium on Evaluation Science and Engineering
|