Mark your calendars! REMARO summer school will be taking place on June 26-30, 2023! The summer school will focus on active learning, search-based testing and self-adaptive systems and will take place at the Ole Johan Dahls hus – Oslo, Norway. For more information, click here!
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 »