Journée du département D4

Seminar
Starting on
Ending on
Location
IRISA Rennes
Room
Espace conférences Inria, Rennes

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