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

ACMSIBlock 2019   SI ACM TOIT: Decentralized Blockchain Applications and Infrastructures for Next Generation Cyber-Physical Systems
SACMAT 2020   25th ACM Symposium on Access Control Models and Technologies
ICPS 2020   IEEE International Conference on Industrial Cyber-Physical Systems
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
PMC5 2020   Powertrain Modelling and Control 2020
Romansy 2020   23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control
EuroGP 2020   23rd European Conference on Genetic Programming
AISTATS 2020   The 23rd International Conference on Artificial Intelligence and Statistics
CDC 2020   Conference on Decision and Control