105 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
105 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
106 <HR> |
106 <HR> |
107 |
107 |
108 |
108 |
109 <p> |
109 <p> |
110 The 6th conference on Interactive Theorem Proving will be held in |
110 The 6th conference on Interactive Theorem Proving was held in |
111 Nanjing, China. |
111 Nanjing, China. |
112 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
112 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
113 in the heart of China — close to Shanghai and roughly |
113 in the heart of China — close to Shanghai and roughly |
114 equidistant between Beijing and Hong Kong. It is a former capital |
114 equidistant between Beijing and Hong Kong. It is a former capital |
115 during the Ming Dynasty with a rich <A |
115 during the Ming Dynasty with a rich <A |
116 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
116 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
117 The proceedings will be published as usual in the |
117 The proceedings will be published as usual in the |
118 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A> |
118 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A> |
119 Series. There will be an |
119 Series. There was an |
120 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
120 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
121 conference (21 - 23 August), and |
121 conference (21 - 23 August), and |
122 a <A HREF="coq.pdf">Coq tutorial</A> after the conference |
122 a <A HREF="coq.pdf">Coq tutorial</A> after the conference |
123 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>). |
123 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>). |
124 |
124 |
138 Conference: 24-27 August 2015<BR> |
138 Conference: 24-27 August 2015<BR> |
139 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
139 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
140 |
140 |
141 <center> |
141 <center> |
142 <a href="itp-photo.jpg"> |
142 <a href="itp-photo.jpg"> |
143 <img src="itp-photo.jpg" width="40%" height="40%"></a> |
143 <img src="itp-photo-small.jpg" width="40%" height="40%"></a> |
144 </center> |
144 </center> |
145 |
145 |
146 <H4><A NAME="programme">Programme</H4> |
146 <H4><A NAME="programme">Programme</H4> |
147 |
147 |
148 As is the tradition, the conference consists of 4 days |
148 As is the tradition, the conference consists of 4 days |