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

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 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, ...

The main theme of the Conference is to bring lessons learned from past experiences to drive future advancements in nuclear installation safety, which implies covering the wide range of nuclear safety ...