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

Symmetry-SI 2020   Special issue on Symmetry and Asymmetry in IoT and CPS Security and Privacy
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
BigDataCPS 2020   The Second IEEE International Workshop on Big Data Analytics of Cyber-Physical Systems
ACM--MSIE--EI Compendex, Scopus 2021   ACM--2021 3rd International Conference on Management Science and Industrial Engineering (MSIE 2021)--EI Compendex, Scopus
IoTDI 2021   6th ACM/IEEE Conference on Internet of Things Design and Implementation
ACM--ICSRT--Ei and Scopus 2021   ACM--2021 the 4th International Conference on Service Robotics Technologies (ICSRT 2021)--Scopus, Ei Compendex
IEEE Agents In Industry 2020   [IEEE JESTIE Journal] Industrial Agents: Concepts, Technologies, and Applications
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
ICACAR 2021   2021 4th International Conference on Advanced Control, Automation and Robotics (ICACAR 2021)
AISTATS 2020   The 23rd International Conference on Artificial Intelligence and Statistics