This workshop is supported by the REMARO project

The REMARO ETN is a consortium of recognized submarine AI experts, software reliability experts, and a marine safety certification agency. This project, coordinated by Professor Andrzej Wasowski, was created to educate 15 ESRs able to realize the vision of reliable autonomy for underwater applications.

REMARO attacks one of the most pressing problems of modern computing, the safety of AI, in the well defined context of submarine robotics.

The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods. REMARO rests on two founding principles: (i) The submarine robot autonomy requires a comprehensive hybrid deliberative architecture, a robotic brain. (ii) Safety and reliability must be co-designed simultaneously with cognition, not separately, as an afterthought. These principles are used to construct the training program (to train ESRs to deliver required scientific breakthroughs) and the expert consortium (to supervise the ESRs, run secondments and courses).

The expertise accumulated in the consortium enables the execution of the interdisciplinary training in (i) computer vision and machine learning, (ii) knowledge, reasoning, and planning, (iii) testing, model-driven-engineering, bug- finding, (iv) verification and model-checking.

REMARO consortium involves both academy and industry. To know more about this project, please visit its social media:

• Webpage

• Instagram: @itnremaro

• Twitter: @ItnRemaro