Three people join the team today
November 2, 2015:
Zak’s defense will take plan in the Gilles Kahn room of the Alan Turing building at 14h. His thesis title is “Certification of First-order proofs in classical and intuitionistic logics”.
© 2012 INRIA
Made with by Graphene Themes.