TPHOLs 2007 will be held in Kaiserslautern. Visit the conference homepage.

Bid to host TPHOLs 2007 by the University of Kaiserslautern, Germany

The Department of Computer Science at the University of Kaiserslautern would like to host the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007) in Kaiserslautern, Germany.

Timing and Program

We propose to follow the timing of previous conferences and would hold the conference either late August or early September. We expect the conference to consist of four days of fully refereed research paper presentations, talks by invited speakers and poster sessions for work-in-progress. We aim to provide plenty of time between the formal sessions to mingle and converse with other attendees, since we believe this to be a central 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 at the conference.

Organizing Committee

The organizers of the conference will include:
  • Klaus Schneider, University of Kaiserslautern
  • Jens Brandt, University of Kaiserslautern
As is customary, we will form the Program Committee with the aim of maintaining and strengthening a broad representation from the user communities of the various higher order logic theorem provers and from the major application areas.

Travel and Accomodation

Kaiserslautern is located in southwest Germany, about 100 kilometers from Frankfurt. Frankfurt International Airport is the second largest airport in Europe, serving as an important hub for international flights from around the world. Direct flights from all major cities are available. From the airport, there are ICE (high-speed train) services to Kaiserslautern. For European travellers, an alternative is Frankfurt Hahn Airport, which serves low-cost airlines.

There is no mass tourism in Kaiserslautern. Reasonably priced accomodation will be easy to get. We will arrange conference rates at one of the nearby hotels.

Finance

We will seek financial support from sponsors to keep the cost of attending the conference low, especially for students. The excellent air travel connections and the moderate accomodation costs will help to keep costs low.

Local Attractions

The pictures on the right give an impression of Kaiserslautern. Local attractions include
  • the Stiftskirche (Collegiate Church) dating from the 16th century and considered to be the most important late gothic hall church in southwest Germany
  • the ruins of the Kaiserspfalz (Imperial Palace) of Barbarossa
  • the Fruchthalle, which was the seat of the revolutionary government of the Palatinate
  • the Fritz-Walter-Stadion, one of the arenas of the FIFA World Cup 2006
  • the Garden Show Kaiserslautern and the Japanese Gardens
  • Kaiserlautern's old town and its restaurants and pubs

The centrepiece of the Western Palatinate region is the Palatinate Forest Conservation Area, the largest and also warmest forestland in Germany where nature is mostly untouched. With a surface area of 180 000 hectares, it covers approximately one third of the Palatinate. It is a perfect background for relaxing walks as well as for intensive active sports.

Some places to visit further afield are the Rhine Valley (40 castles and fortresses, stretched along a mere 65 km of the River Rhine between the cities of Bingen and Coblence, constitute one of the most favorite tourist attractions), the city of Heidelberg (the picturesque old town and its castle are world-famous) and the villages along the German Wine Route.

Weather

The weather in late August/ early September is usally warm with an average temperature about 20°C.

We have every expectation that TPHOLs 2007 at Kaiserslautern will be well-attended, intellectually stimulating, and enjoyable.

The Fruchthalle is a beautiful concert and banqueting hall in the center of Kaiserslautern. Its style reminds of the Florentine patrician palaces of Early Renaissance.

The Fritz Walter Stadium is among the classical arenas in Germany. Kaiserslautern has been selected as an official venue for the Soccer World Cup 2006.

The Palatinate region has the largest continuous stretch of vineyards and forestland in Germany.

The historical hostelry Zum Spinnrädl (The Spinning Wheel), a half-timbered building dating from 1740.

The Japanese Garden of Kaiserslautern is among the largest parks of this kind in Europe.

The logo of the University of Kaiserslautern: the Gate of Sciences