Skip to content

Latest commit

 

History

History
executable file
·
42 lines (30 loc) · 1.52 KB

activities.md

File metadata and controls

executable file
·
42 lines (30 loc) · 1.52 KB
layout title permalink order
page
Activities
activities.html
2
<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/vis/4.20.1/vis.min.js"></script>

Visits Simula & Inria

2024

9 - 12 April, Simula, Oslo

  • "RIPOST Team presentation / context / goals" - Arnaud Gotlieb, Mathieu Acher
  • "Reproducibility and the NARPS Challenges" - Gauthier Le-Bartz-Lyan
  • "Reproducibility Experiments on the Verification Results of Neural Networks" - Dennis Groß
  • "Reproducibility + Floating point case study" - Mathieu Acher
  • "Performance Analysis x264" - Gauthier Le-Bartz-Lyan
  • "Testing for Fault Diversity in Reinforcement Learning" - Quentin Mazouni
  • "Rashomon-Differential Critical States in Reinforcement Learning" - Jørn Eirik Betten
  • "Exploiting Qualitative eXplainable Graphs for Enhancing Trustworthiness" - Nassim Belmecheri
  • "Symbolic Execution of Floating-Point Computations" - Arnaud Gotlieb

Visit of Helge Spieker, 8 - 15 July, Inria, Rennes

  • configuration knowledge
  • partial configuration
  • default configuration
  • reproducibility

Remote meetings (bi-monthly)

Open Workshops

  • Talk at WS SIMULA - 7 & 8 Octobre 2024: Mathieu Acher “From Software Resilience to Reproducibility”
  • Talk at WS SIMULA - 7 & 8 Octobre 2024: Arnaud Gotlieb: "AI for the Validation of Autonomous Systems"