We are pleased to announce our REMARO workshop at ETAPS 2024! 🎉 The goal of this workshop is to discuss challenges in the development of autonomous systems in open environments, for example in underwater. Important Dates Submission Deadline: January 10 Notification for Authors: January 19 Camera ready: January 28 The papers will be peer reviewed, and the speakers can chose whether ...
Read More »General News
Reading Group on Introductory Formal Methods
We are happy to announce that our reading group is being prepared! The first day is going to be November 15th. For more information about this course, click here!
Read More »Can we rely on AI-controlled underwater robots?
What happens in the brain of AI-based robots operating under water? Researchers will investigate this question in a new European Horizon 2020 research project. Experts in AI and reliability analysis will cooperate with companies developing underwater robots.
Read More »