equal
deleted
inserted
replaced
142 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
142 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
143 with 50 or so student participants each. ITPs (and TPHOLs) have |
143 with 50 or so student participants each. ITPs (and TPHOLs) have |
144 <A HREF="history.html">never</A> been hosted in |
144 <A HREF="history.html">never</A> been hosted in |
145 China, and this might be an opportunity for the ITP community to foster relations |
145 China, and this might be an opportunity for the ITP community to foster relations |
146 with researchers from China and Asia, and for local researchers to become part of the |
146 with researchers from China and Asia, and for local researchers to become part of the |
147 ITP community. We welcome everybody and hope they will have a beneficial time at ITP 2015. |
147 ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. |
148 </p> |
148 </p> |
149 |
149 |
150 <p> |
150 <p> |
151 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
151 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
152 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
152 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |