Seminar details

Room 206 (2nd floor, badged access)
27 June 2024 - 14h00
TBA (Toward a verified compilation infrastructure for concurrent programs)
Nicolas Chappe from ENS-Lyon, LIP, CASH
invited by 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 | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3969394