Seminars

Links' Seminars and Public Events Add to google calendar
2023
Fri 20th Oct
10:30 am
12:30 pm
Add event to google
Aurelien part II

Fri 22nd Sep
11:00 am
12:00 pm
Add event to google
Séminaire Théo Losekoot
Title: Automata-based verification of relational properties of functions over algebraic data structures
Fri 15th Sep
11:00 am
12:30 pm
Add event to google
Charles: Présentation de rsonpath

Permanent link to this article: https://team.inria.fr/links/seminars/