44 <TD BGCOLOR="#FFFFFF" |
44 <TD BGCOLOR="#FFFFFF" |
45 WIDTH="20%" |
45 WIDTH="20%" |
46 VALIGN="TOP" |
46 VALIGN="TOP" |
47 ROWSPAN="2"> |
47 ROWSPAN="2"> |
48 |
48 |
49 <p align=center> |
|
50 <a href="pictures/cs_building.jpg"> |
|
51 <img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a> |
|
52 <br> |
|
53 <b>Computer science building</b><br> |
|
54 </p> |
|
55 |
|
56 <p align=center> |
|
57 <a href="pictures/magistrale.jpg"> |
|
58 <img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a> |
|
59 <br> |
|
60 <b>Main hall of the computer science building</b><br> |
|
61 </p> |
|
62 |
49 |
63 <p align=center> |
50 <p align=center> |
64 <a href="pictures/englischer_garten.jpg"> |
51 <a href="pictures/englischer_garten.jpg"> |
65 <img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a> |
52 <img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a> |
66 <br> |
53 <br> |
110 <!-- right column --> |
97 <!-- right column --> |
111 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
98 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
112 <TABLE> |
99 <TABLE> |
113 <TR> |
100 <TR> |
114 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD> |
101 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD> |
115 <TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD> |
102 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
116 </TR> |
103 </TR> |
117 </TABLE> |
104 </TABLE> |
118 <BR> |
105 <BR> |
119 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
106 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
120 is a situated in the heart of China. It is a former capital during the Ming |
107 is a situated in the heart of China — close to Shanghai and roughly equidistant |
|
108 between Beijing and Hong Kong. It is a former capital during the Ming |
121 Dynasty with a rich |
109 Dynasty with a rich |
122 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistant |
110 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
123 between Beijing and Hong Kong. We like to propose to hold the 5th International Conference |
111 We like to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by |
124 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
|
125 Xingyuan Zhang and Christian Urban. |
112 Xingyuan Zhang and Christian Urban. |
126 |
113 |
127 |
114 |
128 <H4>Travel to Nanjing</H4> |
115 <H4>Travel to Nanjing</H4> |
129 |
116 |
130 There are international airline connections directly to |
117 Nanjing is a major city in China. |
131 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> |
118 There are international airline connections to |
|
119 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly |
132 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
120 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
133 are also very convenient train connections from Shanghai and Beijing, which |
121 are also very convenient train connections from Shanghai and Beijing, which |
134 take slightly more than 1h from Shanghai and about 4h from Beijing. |
122 take slightly more than 1h from Shanghai and about 4h from Beijing. |
135 Travel within Nanjing can be done cheaply via taxi and public transportation. |
123 Travel within Nanjing can be done cheaply via taxi and public transportation. |
136 |
124 |