Next week will see a first in computer science, with the launch of a scientific conference in which all of the papers — and all of the reviews — have been produced by machines. At the event known as ...

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