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

ACM--ICSCC--EI Compendex and Scopus 2021   ACM--2021 6th International Conference on Systems, Control and Communications (ICSCC 2021)--Ei Compendex, Scopus
Symmetry-SI 2020   Special issue on Symmetry and Asymmetry in IoT and CPS Security and Privacy
ICSCC--ACM, EI and Scopus 2021   ACM--2021 6th International Conference on Systems, Control and Communications (ICSCC 2021)--Ei Compendex, Scopus
WFCS 2021   IEEE International Conference on Factory Communication Systems
Industrial Agents 2021   [IEEE JESTIE Journal] Industrial Agents: Concepts, Technologies, and Applications
CEC 2021   IEEE Congress on Evolutionary Computation
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
EI-ICFoIT 2021   2021 International Conference on Frontiers of Industrial Technology (ICFoIT 2021)
20th ICTEL October, Dubai 2021   20th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 October, Dubai
GECCO 2021   Genetic and Evolutionary Computation Conference