Séminaire
Date de début
Date de fin
Lieu
IRISA Rennes
Salle
Espace conférences Inria, Rennes
Département principal
Pensez à vous inscrire !
Au programme : présentation des équipes, focus sur un sujet de chaque équipe, posters.
Programme prévisionnel
| 09:30 - 09:40 | Opening |
| 09:40 - 10:15 | Presentations DiverSE (Olivier Barais ; Olivier Barais : Monitoring energy comsumption in DevOps pipelines) |
| 10:15 - 10:50 | Presentations Archware/SecReizh (Salah Sadou ; Nicolas Belloir : Human as a system. A tool-based method for detecting human vulnerability) |
| 10:50 - 11:20 | Coffee break |
| 11:20 - 11:55 | Presentations TEA (Jean-Pierre Talpin ; Benjamin Lion : Compositionality and monadic effects: challenges and perspectives for certification of real-time guarrantes) |
| 11:55 - 12:30 | Presentations Logica (Sophie Pinchinat ; François Bodin : Data logistics and collaborative systems of systems) |
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:00 |
Anne-Cécile Orgerie : Energy consumption and environmental impacts of distributed systems |
| 15:15 - 15:50 |
Presentations Sumo (Nathalie Bertrand ; Nicolas Waldburger : Parameterized verification of distributed shared-memory systems) |
| 15:50 - 16:25 | Presentations Epicure (Frédéric Besson; Théo Losekoot : Automata-based verification of relational properties of functions over algebraic data structures) |
| 16:25 - 17:00 | Presentations Hycomes (Benoît Caillaud ; Khalil Ghorbal : On Covering Euclidean Spaces with Q-arrangements of Cones) |
| 17:00 | Closing |