Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
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 ...
The Institute for Advanced Architecture of Catalonia (IAAC) and the Green Skills for Cities partnership are delighted to announce the Call for Papers for the biennial international symposium, ...