posted by user: vidhyab || 3076 views || tracked by 4 users: [display]

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

FacebookTwitterLinkedInGoogle


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

HSCC 2022   ACM International Conference on Hybrid Systems: Computation and Control
SSCC 2021   Symposium on Solutions for Smart Cities Challenges
ACM-CCEAI 2022   The 6th International Conference on Control Engineering and Artificial Intelligence (CCEAI 2022)
ECC 2022   European Control Conference 2022 (co-sponsored by IFAC)
WCSA--ACM, Ei, Scopus 2022   ACM--2022 International Workshop on Control Sciences and Automation (WCSA 2022)--Ei Compendex, Scopus
ACM--WCSA--Ei Compendex, Scopus 2022   ACM--2022 International Workshop on Control Sciences and Automation (WCSA 2022)--Ei Compendex, Scopus
FCT 2021   23rd International Symposium on Fundamentals of Computation Theory
FCT 2021   23rd International Symposium on Fundamentals of Computation Theory
ICBDB 2021   2021 3rd International Conference on Big Data and Blockchain(ICBDB 2021)
CoEEB 2022   2022 International Joint Conference on Environmental Engineering and Biotechnology (CoEEB 2022)