posted by user: vidhyab || 3303 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
AIoTS 2022   [CFP] 4th International workshop in Artificial Intelligence and Industrial Internet-of-Things Security (AIoTS)
AITC--ACM, Ei and Scopus 2022   ACM--2022 4th International Artificial Intelligence Technology Conference (AITC 2022)--EI Compendex, Scopus
DESTION 2022   Design Automation for CPS and IoT
IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
ESEC/FSE 2022   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Middleware 2022   23rd ACM/IFIP International Conference Middleware 2022
ICINCO 2022   19th International Conference on Informatics in Control, Automation and Robotics