Bid to host TPHOLs 2007 at the IT University of Copenhagen, Denmark.

The Programming Languages, Logics, and Semantics Group at the IT University of Copenhagen, Denmark would like to host the 19th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) in Copenhagen, Denmark.

The IT University of Copenhagen is a young University that is dedicated to research and teaching in all areas of Information Technology. It was founded in 1999 by Mads Tofte and has since grown into an exciting and interesting research environment with special emphasis on logic design, semantics, model checking, program verification, and logical framework research.

Because of its location ITU's research agenda is nicely complemented by other outstanding research institutions, such as DIKU and DTU with long histories of numerous internationally renowned research contributions in the areas of programming languages, semantics, and model checking.

We plan to host the conference in our University building (see pictures above), which is modern and state of the art, and offers all amenities including large auditoriums and a cafeteria. It was finished in 2004.

We are confident that TPHOLs 2007 in Copenhagen will be a well-attended, intellectually stimulating, and enjoyable meeting.

Timing and Programme

We propose to hold the conference either late August or early September, following the timing of previous TPHOLs conferences. We expect the conference will 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 for attendees to mingle and converse, 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 for the conference.

Organizing Committee

The organizers of the conference will include: Carsten Schürmann (IT University of Copenhagen)

As is customary, we will construct the Programme 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

There is a direct train from Copenhagen International Airport (CPH) to downtown which leaves every 20 minutes. In the map below, 1 points to the location of the ITU, in the lower right corner you can see the aiport, and just above the ITU the old part of Copenhagen.

Finance

We will aim to keep the cost of attending the conference low, especially for students, by seeking financial support from sponsors.

Local Attractions

See visiting Copenhagen - AOK, or visit the official tourism site of Copenhagen.

Weather

Denmark has a mild climate with no extremes of heat or cold. In the light summer months of June to August, the average daytime temperature is 19.5 degrees centigrade and in February - the coldest month - the average is 1.2 degrees centigrade. This makes Copenhagen's weather much more like London's or Amsterdam's than that of the other Scandinavian capitals.