Talks:

  • Using GPU nodes on rioc (Inria cluster): the OpenACC alternative, Mauricio Diaz (SED), slides.
  • Coq and incremental cycle detection, Armaël Guéneau (Gallium), slides.
  • Software Heritage, Nicolas Dandrimont, slides.