Proofs and algorithms seminar:  on 

===== Seminar of the proofs and algorithms pole =====

Dear all,

Reminder: Recall that next seminar will be on Tuesday 10 June 2025 at 14h30 by Gioele Zardini: Compositional Design of Society-Critical Systems: From Autonomy to Future Mobility.

Notice that for another  seminar of the seminar of the pole "Proofs and algorithms", we are happy to welcome   (LABORATORY). 

***** ,  *****

 -- 



Following seminars: TBA


The list of next seminars can be found at:
https://bournez.gitlabpages.inria.fr/seminar-idia-fcs/seminar/

The calendar of seminars can be found at:
https://bournez.gitlabpages.inria.fr/seminar-idia-fcs/seminar/calendar.ics