equal
deleted
inserted
replaced
143 <H4>Advantages of Hosting ITP in Nanjing</H4> |
143 <H4>Advantages of Hosting ITP in Nanjing</H4> |
144 |
144 |
145 Many groups working on ITP, summerschool on Coq, never has been hosted |
145 Many groups working on ITP, summerschool on Coq, never has been hosted |
146 in China, several centres (Shanghai, Beijing, ...) |
146 in China, several centres (Shanghai, Beijing, ...) |
147 |
147 |
|
148 Good food, conference trip |
|
149 |
148 <H4>Not updated</H4> |
150 <H4>Not updated</H4> |
149 |
151 |
150 |
152 |
151 <p> |
153 <p> |
152 We expect the conference will consist of four days of fully refereed |
154 We expect the conference will consist of four days of fully refereed |