Re: [GdT Log&Prog] Double GdT?

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