Four papers accepted to CSL-LICS 2014
Chuck Liang visits during May and June
This summer, Parsifal is hosting two interns from the University of Minnesota: Yuting Wang and Mary Southern. They will be working on the theory and implementation of Abella.
© 2012 INRIA
Made with by Graphene Themes.