Activities per year
Activities
- 4 results
Search results
-
Third Summer School on Robotic Mission Engineering
Ribeiro, P. (Keynote/plenary speaker)
11 Mar 2025 → 14 Mar 2025Activity: Participating in or organising an event › Seminar/workshop/course
-
Co-verification for robotics: from simulation to verification of hybrid systems
De Oliveira Salazar Ribeiro, P. F. (Speaker)
4 Sept 2023Activity: Talk or presentation › Workshop
-
Co-verification for robotics: simulation and verification by proof
De Oliveira Salazar Ribeiro, P. F. (Invited speaker)
5 Jun 2023Activity: Talk or presentation › Invited talk
-
RoboScience: can using robots add up to a safer world?
Miyazawa, A. (Presenter), De Oliveira Salazar Ribeiro, P. F. (Presenter), Foster, S. D. (Presenter) & Li, W. (Presenter)
16 May 2018Activity: Other › Public engagement and outreach (general)