HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and Control

posted by user: vidhyab || 3967 views || tracked by 4 users: [display]

HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and Control

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

HSCC 2024 ACM International Conference on Hybrid Systems: Computation and Control

GECCO 2024 The Genetic and Evolutionary Computation Conference (GECCO 2024)

ICDM 2023 International Conference on Data Mining

ISSTA 2024 The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)

SIGMETRICS / Performance 2024 2024 ACM SIGMETRICS / IFIP Performance

AUEN 2024 3rd International Conference on Automation and Engineering

GIRES_HARLEM Renaissance 2024 Celebrating the Centenary of the Harlem Renaissance: Legacy, Influence, and Contemporary Perspectives

GIRES_CIVIL RIGHTS 2024 Civil Rights Act of 1964: Historical Significance, Impact, and Legacy

ICACAR 2024 2024 7th International Conference on Advanced Control, Automation and Robotics (ICACAR 2024)

SIUSAI 2024 2024 3rd International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2024)