Englischer Garten
Englischer Garten

Chinesischer Turm
Chinesischer Turm (Beer Garden)

Marienplatz
Marienplatz (City Center)

Nationaltheater
The Nationaltheater

Maximilianstraße
Maximilianstraße

The river Isar
The Isar river

Bid to host ITP 2015 in Nanjing

TUM

Nanjing is a situated in the heart of China — close to Shanghai and roughly equidistant between Beijing and Hong Kong. It is a former capital during the Ming Dynasty with a rich cultural heritage. We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by Xingyuan Zhang and Christian Urban.

Travel to Nanjing

Nanjing is a major city in China. There are international airline connections to Nanjing Lukou Airport directly 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.

Venue and Accommodation

The plan is to host the conference at the Hanyuan Hotel, which is in easy reach from the city centre (link at Google Maps). It has the usual amenities for hosting a conference (Wifi, conference rooms) and has links to the nearby universities.
Hanyuan Hotel
There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes a restaurant and there are innumerable restaurants around the hotel and in downtown Nanjing (link?).

Advantages of Hosting ITP in Nanjing

Many groups working on ITP, summerschool on Coq, never has been hosted in China, several centres (Shanghai, Beijing, ...) Good food, conference trip

Timing and programme

As is tradition, the conference will consist of 4 days of research presentations, invited talks and possibly poster sessions. Like in previous ITP conferences, we would allow ample time between the formal sessions for attendees to mingle and converse. We expect workshops to take place during one or two days before or after the main conference. Half a day will be dedicated to an excursion (see below).

Excursion

We have two possible destinations for excursions: one is in Yangzhou, the other more leisurly inside the city...

The Campus Garching 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.

Munich offers a wide range of accommodation facilities and restaurants. Late August is usually the best season for enoying the many beer gardens.

Finance

We will seek to keep the costs for attending the conference low.

[Validate this page.]