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: February 15 Notification for Authors: February 29 Camera ready: March 14 The papers will be peer reviewed, and the speakers can chose whether ...
Read More »Author Archives: Luiza Ribeiro Marnet
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, 2021. For more information about this course, click here!
Read More »