# HG changeset patch # User Christian Urban # Date 1417343251 0 # Node ID 483f2656cd4a7f8725cc8a93719d5685c867b471 # Parent 01007191df40005331fd9e761e3e8e329eecd421 u diff -r 01007191df40 -r 483f2656cd4a index.html --- a/index.html Sun Nov 30 10:24:20 2014 +0000 +++ b/index.html Sun Nov 30 10:27:31 2014 +0000 @@ -304,7 +304,7 @@ five years there have been popular summerschools in China about Coq with 50 or so student participants each. ITP (and TPHOLs) have -never been hosted in +never been hosted in China, and this might be an opportunity for the ITP community to foster relations with researchers from China and Asia, and for local researchers to become part of the ITP community.