Program
Videos of the three invited talks
Steve Kremer – Formal verification in action: an in-depth case study of LAKE-EDHOC
Dino Pedreschi – Social artificial intelligence https://videos-rennes.inria.fr/video/Pnj1GfNzfKLCQIi5kH7mt
Davide Scaramuzza – Learning agile vision based flight
Posters
Projects of call 2020:
Projects of call 2021:
Projects of call 2022:
Project related to education:
Chairs:
Follow-up actions: