posted by user: jyotirmoy || 3630 views || tracked by 11 users: [display]

HSCC 2014 : International Conference on Hybrid Systems: Computation and Control

FacebookTwitterLinkedInGoogle


Conference Series : Hybrid Systems
 
Link: http://2014.hscc-conference.org/dates.html
 
When Apr 15, 2014 - Apr 17, 2014
Where Berlin
Submission Deadline Oct 14, 2013
Notification Due Dec 17, 2013
Final Version Due Feb 3, 2014
Categories    hybrid systems   verification   automata
 

Call For Papers

Call for Submissions
Papers, Tool Papers, Case Studies, Workshops, Tutorials, Demos and Posters
Submission Guidelines

Submitted papers should present original research that is unpublished and not submitted elsewhere. Authors of accepted papers with a computational component will be invited to submit their code and data to an optional repeatability evaluation in late January 2014.
Regular Papers

10 pages max; 10pt, two-column ACM format
Submission deadline: October 14, 2013
Regular papers should present original research or industrial applications of techniques for design and/or analysis of hybrid systems, or their integration into industrial design flows.
Submit regular papers through EasyChair.

Tool Papers and Case Studies

6 pages max; 10pt, two-column ACM format
Submission deadline: October 14, 2013
Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques.
Submit tool papers and case studies through EasyChair.

Workshops and Tutorials

CPS Workshop and Tutorial Day: April 14, 2014
Submission deadline: September 29, 2013
Workshops should provide an arena for presentations and discussion about a special topic of relevance to CPS Week and HSCC. Tutorials should present in-depth content in a mini-course format aimed primarily at students, researchers and industry members.
Submit workshop and tutorials through CPS Week.

Demos

Approx. 2 pages; Title should begin with “Demo:”
Submission deadline: October 14, 2013
Demo sessions provide a forum for researchers to showcase ongoing work and obtain feedback from the HSCC community as a part of CPS Week’s joint poster/demo session. Demo proposals should clearly describe what will be demonstrated and how the contributions will be illustrated interactively. A table and power will be provided for each demo. If a demonstration requires special arrangements in addition to the above, please describe them clearly in your submission. Demo abstracts serve the sole purpose of selecting contributions for the demo session and will not be published in the conference proceedings.
Submit demo abstracts by email to hscc2014@easychair.org with “HSCC demo submission” in the subject line. Questions should be directed to the same address.

Posters

Approx. 2 pages; Title should begin with “Poster:”
Submission deadline: October 14, 2013
Poster sessions provide a forum for researchers to showcase ongoing work and obtain feedback from the HSCC. Accepted posters will be shown and presented as part of a joint CPS Week poster session. Poster abstracts serve the sole purpose of selecting contributions for the poster session and will not be published in the conference proceedings.
Submit poster abstracts by email to hscc2014@easychair.org with “HSCC poster submission” in the subject line. Questions should be directed to the same address.

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
CPP 2020   Certified Programs and Proofs
HSCC 2020   23rd ACM International Conference on Hybrid Systems: Computation and Control
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
HSB 2020   HSB 2020: Hybrid Systems and Biology
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
Emerg. Tech. for ITS 2019   Special Issue in Emerging Technologies for Intelligent Transportation Systems
CDC 2020   Conference on Decision and Control
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice