posted by user: vidhyab || 1193 views || tracked by 5 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

ICPS 2020   IEEE International Conference on Industrial Cyber-Physical Systems
CIKM 2020   29TH ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT
AISTATS 2020   The 23rd International Conference on Artificial Intelligence and Statistics
ACM--ICMLC--Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
ICACAR 2020   2020 3rd International Conference on Advanced Control, Automation and Robotics(ICACAR 2020)
EDBT 2020   23rd International Conference on Extending Database Technology
MICCAI 2020   23rd International Conference on Medical Image Computing and Computer Assisted Intervention