Il a été convenu de remettre la présentation de Gabriel a plus tard (probablement en période d'audition) Le 2017-02-06 15:22, breuvart a écrit :

Salut à tous,

La semaine prochaine, pas de séminaire d'équipe à cause des vacances, mais pour cette semaine, on pourrait en avoir deux:

- Christophe animera un GdT sur les derniers travaux de Girard vendredi (titre et abstract à venir, mais je pense que tous le monde sais de quoi il s'agit)

- Gabriel Scherer serait dispo demain ou après demain pour présenter ses travaux (notamment un POPL en seul auteur...) mais uniquement demain ou après demain. Y aurait-il des personnes disponible? quand? Dites moi rapidement ;)

Amicalement,

Flavien