Guenot and Miller speak at ChoCola, Lyon
Chuck Liang speaks at GdT Théorie des types et réalisabilité
Zakaria Chihani is starting his M2 level internship at LIX on the topic of Proof certificates for some basic proof systems in classical logic.
© 2012 INRIA
Made with by Graphene Themes.