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
