9th edition of CASH reading group will be on
Oct 30 at 14:00

Salle 316

Program:

• Julien: Interpolants pour la verification de programmes
• Amaury  Maillé:
  “Extending smart containers for data locality-aware skeleton programming” —August Ernstsson, Christoph Kessler — CCPE 2018