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. gpu rioc cluster openacc coq software heritage