diff -r af623d2a1b3e -r abaa87d69a1d index.html~ --- a/index.html~ Thu Feb 13 00:06:01 2014 +0000 +++ b/index.html~ Thu Feb 13 11:51:44 2014 +0000 @@ -1,23 +1,37 @@ -Bid for TPHOLs 2009 - - + + +

- - + +
-Computer science building
+Linggusu

- - + +
-Main hall of the computer science building
+Mochou

- - + +
-Englischer Garten
+Nanjing city wall

- - + +
-Chinesischer Turm (Beer Garden)
+??

- - + +
-Marienplatz (City Center)
+??

- - + +
-The Nationaltheater
+Nanjing's skyline

- - + +
-Maximilianstraße
-

- -

- - -
-The Isar river
-

- +Science and Technology
Museum
+

+ @@ -107,93 +115,122 @@ - - + +

Bid to host TPHOLs 2009 by Technische Universität München

Bid to host ITP 2015 in Nanjing

-The Department of Computer Science at TU Munich (located at the -Campus Garching) -would like to host the 22nd TPHOLs. - - -

Timing and Programme

- -Following the traditional timing of TPHOLs, we propose to hold the -conference August 17-20 2009 (alternatively August 24-27). - -

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

Organising Committee

Travel to Nanjing

+Nanjing is a major city in China. +There are international 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 transport. + +

+ + +

Venue and Accommodation

- -

Travel and Accomodation

+The plan is to host the conference at the +Hanyuan Hotel, which is in easy +reach from the city centre (see here at Google Maps). It has the usual amenities for hosting +conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. -Munich is situated -at the heart of Europe, the Munich -Aiport is an important European hub for international flights from -around the world. + + + + + + + + + +

+ +	+ +
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, all usually very affordable. -

Advantages of Hosting ITP in Nanjing

-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. +There are several groups in the ITP area that are active in China. For example for the last +five years there have been popular +summershools in China about Coq +with 50 or so student participants each. ITP (and TPHOLs) have +never been hosted in +China, and this might be an opportunity for the ITP community to foster relations +with researchers from China and Asia, and for local researchers to become part of the +ITP community.

-Munich offers a wide range of accommodation facilities and -restaurants. Late August is usually the best season for enoying the -many beer gardens. +Being in China, Nanjing offers the usual conveniences of good and +affordable food. It has several +museums +and tourist attractions. +In the nearby vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??). +Travelling +visas +should not be difficult to obtain for participants +(anything else to add?) -

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

Timing and programme

+ +As is the tradition, the conference will consist of 4 days of research +presentations and invited talks. 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... + +

Excursion

+ +We have two possible destinations for an excursion in mind: one is to +Yangzhou, and the other is more leisurly — a tour of Nanjing... + + + +

Finance

+ +We will seek to keep costs low by negotiating discounts with +the hotel and by trying to find sponsoring where sensible. + +

Experience of the Programme Chairs

+ +Xingyuan and Christian are regular participants at ITP having had the good fortune to have +papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference +in 2009 in Munich. +

- - -Last modified: Fri Feb 29 19:07:15 CET 2008 - [Validate this page.]