HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and Control

posted by system || 4388 views || tracked by 3 users: [display]

HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and Control

Conference Series : Hybrid Systems

Link: https://berkeleylearnverify.github.io/HSCC_2020/

When	Apr 21, 2020 - Apr 24, 2020
Where	Sydney
Submission Deadline	Oct 23, 2019

Categories CPS

Call For Papers

Regular papers including papers submitted to three special tracks.

Artificial Intelligence and Machine Learning in CPS
Design Automation for CPS
Autonomy and Robotics

Maximum 10 pages

10pt font

two-column ACM format

Tool papers will be judged on the significance, clarity, and novelty of the implemented tool/technique described in the paper.

Case study papers should report the evaluation of a technique or tool on a challenging application and/or benchmarks.

Maximum 6 pages

10pt font

two-column ACM format

Related Resources

UKCI 2024 23rd UK Workshop on Computational Intelligence

SPIE-Ei/Scopus-DMNLP 2025 2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus

SPIE-Ei/Scopus-CMLDS 2025 2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus

HAIS 2024 19th International Conference on Hybrid Artificial Intelligence Systems

ICMLA 2024 23rd International Conference on Machine Learning and Applications

ACM SAC 2025 40th ACM/SIGAPP Symposium On Applied Computing

Ei/Scopus-ACAI 2024 2024 7th International Conference on Algorithms, Computing and Artificial Intelligence（ACAI 2024）

ASPLOS 2025 The ACM International Conference on Architectural Support for Programming Languages and Operating Systems

EI/Scopus-PRDM 2024 2024 5th International Conference on Pattern Recognition and Data Mining（PRDM 2024）

Ei/Scopus-CISDS 2024 2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)