LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
WPTE 2025
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
|
Humanoids 2025
2025 IEEE-RAS 24th International Conference on Humanoid Robots
|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
SOAP 2025
SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
|
EVALSUP & CIMQUSEF 2025
The 7th International Conference on Evaluation in Higher Education and the 22th International Conference on the Quality of Education
|
Humanoids 2025
IEEE-RAS International Conference on Humanoid Robots
|
IISWC 2025
IEEE International Symposium on Workload Characterization
|
GENEA 2025
Generation and Evaluation of Non-verbal Behaviour for Embodied Agents Workshop 2025
|
EDLW - CUNY 2025
Eating Disorders in Life Writing [The Program in Biography and Memoir, CUNY]
|