Détails sur le séminaire

Room 206 (2nd floor, badged access)
27 juin 2024 - 14h00
TBA (Toward a verified compilation infrastructure for concurrent programs)
Nicolas Chappe de ENS-Lyon, LIP, CASH
invité(e) par Sylvain BOULME


Abstract: TBA

Nicolas Chappe est en 3° année de thèse avec Ludovic Henrio et Yannick Zakowski.
Il viendra nous présenter ses travaux, notamment sur les Choice Trees (POPL'23).

Contact | Plan du site | Site réalisé avec SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3974315