|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
|
ICCCP 2026
2026 15th International Conference on Chemistry and Chemical Process (ICCCP 2026)
|
|
AI in Evidence Synthesis 2025
AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
|
|
IJASA 2025
The International Journal of Ambient Systems and applications
|
|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
|
ICCBS 2026
2026 13th International Conference on Chemical and Biological Sciences (ICCBS 2026)
|
|
HCVS 2025
12th Workshop on Horn Clauses for Verification and Synthesis
|
|
ICCFE 2026
2026 11th International Conference on Chemical and Food Engineering (ICCFE 2026)
|
|
SASIMI 2025
The 26th Workshop on Synthesis And System Integration of Mixed Information technologies
|
|
AT4SSL 2025
Third International Workshop on Automatic Translation for Sign and Spoken Languages
|
