posted by user: jyotirmoy || 5686 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

SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
CAV 2025   37th International Conference on Computer Aided Verification
ICoSR 2025   2025 4th International Conference on Service Robotics
MBMV 2025   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
SPIN 2025   31st International Symposium on Model Checking Software
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
CRET--EI 2025   2025 International Conference on Control, Robotics Engineering and Technology (CRET 2025)
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus