Colloquium MATHSTIC / EUR M&CS
L’EUR M&CS, en collaboration avec le laboratoire LAGA, a le plaisir de vous inviter à une nouvelle séance de son Colloquium MathSTIC / EUR M&CS. Nous accueillerons à cette occasion Ulrik Buchholtz, chercheur à l’Université de Nottingham, pour une présentation à la frontière des mathématiques fondamentales et de l’informatique théorique. The infinity-category of infinity-categories in …

