posted by user: vidhyab || 3771 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

ACM RSVT 2023   ACM--2023 The 4th International Conference on Robotics Systems and Vehicle Technology (RSVT 2023)
ICCCN 2023   The 32nd International Conference on Computer Communications and Networks
ICDM 2023   International Conference on Data Mining
ACM CPSS 2023   9th ACM Cyber-Physical System Security Workshop
CCGrid 2023   The 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
IEEE CEC 2023   IEEE Congress on Evolutionary Computation
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual) | Artificial Intelligence, Internet of Things (IoT), Blockchain, Big Data, Machine Learning
CDC 2023   IEEE Conference on Decision and Control
ICDM 2023   23rd Industrial Conference on Data Mining
GECCO 2023   Genetic and Evolutionary Computation Conference