|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
|
ACM ICBBE 2025
ACM--2025 12th International Conference on Biomedical and Bioinformatics Engineering (ICBBE 2025)
|
|
AI in Evidence Synthesis 2025
AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
|
|
CHENG 2025
2nd International Conference on Advances in Chemistry & Chemical Engineering
|
|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
|
ICCCP 2026
2026 15th International Conference on Chemistry and Chemical Process (ICCCP 2026)
|
|
SASIMI 2025
The 26th Workshop on Synthesis And System Integration of Mixed Information technologies
|
|
IJAC 2025
International Journal of Advances in Chemistry
|
|
HCVS 2025
12th Workshop on Horn Clauses for Verification and Synthesis
|
|
AT4SSL 2025
Third International Workshop on Automatic Translation for Sign and Spoken Languages
|
