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, ...
A machine learning conference debating the use of machine learning? While that might seem so meta, in its call for paper submissions on Monday, the International Conference on Machine Learning did, ...
In-person conferences can be expensive and difficult to organize, making some wonder whether they are worth the cost and time. The COVID-19 pandemic had a significant impact on all aspects of society, ...