The close-knit computer engineering community has been rocked to its foundations by a scandal that has so far sparked three investigations. The facts to date: An engineering PhD student dies of ...

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