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

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

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

The Treaty on the Non-Proliferation of Nuclear Weapons (NPT) was opened for signature in 1968 and entered into force in 1970. As set out in Article VIII of the Treaty, the Parties agreed to regularly ...