<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Bid for ITP 2015</title>
<script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg"
type="text/javascript"></script>
<script type="text/javascript">
function initialize() {
if (GBrowserIsCompatible()) {
var map = new GMap2(document.getElementById("map_canvas"));
var TUM = new GLatLng(48.2630841153, 11.66718006134);
map.setCenter(TUM, 0);
map.setMapType(G_HYBRID_MAP);
map.addControl(new GSmallMapControl());
map.addOverlay(new GMarker(TUM));
}
}
</script>
</head>
<BODY TEXT="#000000"
BGCOLOR="#4169E1"
LINK="#0000EF"
VLINK="#51188E"
ALINK="#FF0000"
onload="initialize()" onunload="GUnload()">
<TABLE WIDTH="100%"
BGCOLOR="#4169E1"
BORDER="0"
FRAME="border"
CELLPADDING="10"
CELLSPACING="2"
RULES="all">
<!-- left column -->
<TR>
<TD BGCOLOR="#FFFFFF"
WIDTH="20%"
VALIGN="TOP"
ROWSPAN="2">
<p align=center>
<a href="pictures/cs_building.jpg">
<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>
<br>
<b>Computer science building</b><br>
</p>
<p align=center>
<a href="pictures/magistrale.jpg">
<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>
<br>
<b>Main hall of the computer science building</b><br>
</p>
<p align=center>
<a href="pictures/englischer_garten.jpg">
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
<br>
<b>Englischer Garten</b><br>
</p>
<p align=center>
<a href="pictures/chinesischer_turm.jpg">
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
<br>
<b>Chinesischer Turm (Beer Garden)</b><br>
</p>
<p align=center>
<a href="pictures/marienplatz.jpg">
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
<br>
<b>Marienplatz (City Center)</b><br>
</p>
<p align=center>
<a href="pictures/nationaltheater.jpg">
<img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a>
<br>
<b>The Nationaltheater</b><br>
</p>
<p align=center>
<a href="pictures/maximilianstrasse.jpg">
<img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a>
<br>
<b>Maximilianstraße</b><br>
</p>
<p align=center>
<a href="pictures/isar.jpg">
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
<br>
<b>The Isar river</b><br>
</p>
</center>
</TD>
<!-- right column -->
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<TABLE>
<TR>
<TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD>
<TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD>
</TR>
</TABLE>
<BR>
<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
is a situated in the heart of China, a former capital during the Ming
Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant
between Beijing and Hong Kong. This is a bid to host the 5th International Conference
on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
Xingyuan Zhang and Christian Urban.
<H4>Travel to Nanjing</H4>
There are many airline connections directly to
<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
are also very convenient train connections from Shanghai and Beijing, which
take slightly more than 1h from Shanghai and about 4h from Beijing.
Travel within Nanjing can be done cheaply via taxi and public transportation.
<H4>The Venue and Accommodation</H4>
The plan is to host the conference at the
<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A> which is in easy
reach from the city centre. (...There are also many other hotels nearby.)
<center>
<img src="pics/hotel1.jpg">
<img src="pics/hotel2.jpg">
</center>
<H4>Advantages of Hosting ITP in Nanjing</H4>
Many groups working on ITP, summerschool on Coq, never has been hosted
in China, several centres (Shanghai, Beijing, ...)
<H4>Not updated</H4>
<p>
We expect the conference will consist of four days of fully refereed
research paper presentations, invited talks, and poster presentations
for work-in-progress. Moreover, half a day will be dedicated to an
excursion, followed by the conference dinner in the evening. We aim
to provide plenty of time between the formal sessions for attendees to
mingle and converse, since we believe this to be a very valuable
aspect of the conference.
<p>
As in previous years we will seek to publish the main proceedings as a
volume of Springer's Lecture Notes in Computer Science, and also to
continue the tradition of offering a venue for the presentation of
work-in-progress. The latter will be published as a separate
volume. Both volumes will be prepared in time to be available for the
conference.
<p>
Our computer science building at the Campus Garching provides
excellent facilities for lectures, coffee breaks, lunch, and Internet
connectivity via WLAN.
<H4>Travel and Accomodation</H4>
<A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated
at the heart of Europe, the <a
href="http://www.munich-airport.de/en/consumer/index.jsp">Munich
Aiport</a> is an important European hub for international flights from
around the world.
<p>
<div id="map_canvas" style="width: 300px; height: 170px"></div>
<p>
The <a href="http://www.in.tum.de/campus/index.html.en">Campus
Garching</a> is located 10 km north of the city of Munich. There are
frequent Underground connections, taking about half an hour from the
very center of Munich to the department of Computer Science.
<p>
Munich offers a wide range of accommodation facilities and
restaurants. Late August is usually the best season for enoying the
many beer gardens.
<H4>Finance</H4> We will seek to keep the costs for attending the
conference low. In particular, funding for invited speakers will be
available from the <a
href="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA">Doctorate
Program PUMA</a>.
<center>
<img src="pics/ITP-Linggusu.jpg">
<img src="pics/ITP-Mochou.jpg">
<img src="pics/ITP-najing-cit-walk.jpg">
</center>
</TD>
</TR>
</TABLE>
<hr>
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>