There are three types of papers that will be considered. Authors submit a full manuscript (blinded), which includes an abstract (250-300 words) and is complete (authors should not expect to make ...

Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...

Contributions on the topics listed in the Conference Announcement under Section C are welcome as oral or poster presentations. All submissions, apart from invited papers, must present original work, ...