Author: lmvadm
[July 2023] Frédéric Gava’s talk
Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm
[June 2023] WG Domain Theory
The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month
[June 2023] Julien Tesson’s talk
Pratique professionnelle de git
SR3, June 9, 2023, 14:00
[May 2023] LMV Days
May 25-26, 2023 the team gathered at Château des Muids for a two days working session.
[May 2023] Thierry Lecomte’s Talk
Thierry Lecomte is R&D Project Director at CLEARSY. His talks is entitled: “Formalization for securing critical applications”
When: May 17, 2023, 2PM-3PM
Where: SR1, LIFO, Université d’Orléans, France
[May 2023] CSUR Paper Accepted
Just Accepted: Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey by Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
https://doi.org/10.1145/3595376
[Apr. 2023] Simon Robillard’s Talk
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
[Apr. 2023] Simon Robillard’s Keynote
Automated Deduction
SR1, April 17, 2023, 13:30
https://www.univ-orleans.fr/lifo/seminaire.php?lang=fr&sub=sub2#res536
[Apr. 2023] Adrien Guatto’s Talk
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