Section: Partnerships and Cooperations
National Initiatives
Tsinghua Grant
contract: Tsinghua National Laboratory for Information Science and Technology, Cross-discipline Foundation grant 2011-9
title: An Intensional Logical Framework and Its Implementation
Participants: Jean-Pierre Jouannaud, Jianqi Li
duration: 2011 - 2012
Amount: 100,000 RMB
NSFC Grant
contract: National Science Foundation of China grant 61272002
title: The meta-theories of higher-order rewriting and their proof automation: toward the next generation theorem prover
PIs: Jean-Pierre Jouannaud, Jianqi Li
duration: 2013-2016
Amount: 600,000 RMB