Mark your calendar! A fall school is going to happen on September 5-9, 2022! The school will take place at the RWTH Aachen University, Department of Computer Science. 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 »