Bid to host ITP 2015 in Nanjing

Nanjing 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.

Travel to Nanjing

There are many airline connections directly to Nanjing Lukou Airport 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.

The Venue and Accommodation

The plan is to host the conference at the Hanyuan Hotel (Google Maps link) which is in easy reach from the city centre. (...There are also many other hotels nearby.)

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. As informal discussions are central to the conference, we will plan for 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.

Not updated

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.

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.

Our computer science building at the Campus Garching provides excellent facilities for lectures, coffee breaks, lunch, and Internet connectivity via WLAN.

Travel and Accomodation

Munich is situated at the heart of Europe, the Munich Aiport is an important European hub for international flights from around the world.

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. In particular, funding for invited speakers will be available from the Doctorate Program PUMA.

[Validate this page.]