|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
|
CHENG 2025
2nd International Conference on Advances in Chemistry & Chemical Engineering
|
|
AI in Evidence Synthesis 2025
AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
|
|
ICCCP 2026
2026 15th International Conference on Chemistry and Chemical Process (ICCCP 2026)
|
|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
|
IJAC 2025
International Journal of Advances in Chemistry
|
|
SASIMI 2025
The 26th Workshop on Synthesis And System Integration of Mixed Information technologies
|
|
ADEIJ 2025
Advances in Engineering: an International Journal
|
|
HCVS 2025
12th Workshop on Horn Clauses for Verification and Synthesis
|
|
ICCBS 2026
2026 13th International Conference on Chemical and Biological Sciences (ICCBS 2026)
|
