Seminars

Links' Seminars and Public Events Add to google calendar
2023
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

Lien Permanent pour cet article : https://team.inria.fr/links/fr/seminars/