Month: April 2023

Analyse de boucle par quantification sur les itérations
SR3, April 18, 2023, 10:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res541

Automated Deduction
SR1, April 17, 2023, 13:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res536

Title: Une approche sous-structurelle des déformations temporelles
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr#res537
When: April 12, 2023, 10:30AM
Where: SR3, LIFO, Université d’Orléans, France