Bid to host ITP 2016 at the University of Innsbruck

The computational logic group of the institute of computer science at the University of Innsbruck would like to host the seventh International Conference on Interactive Theorem Proving in Innsbruck, Austria.

Venue

We offer to host ITP in the week starting on Monday, September 12th, on the technology premises (“Campus Technik”) of the university. Since lecture rooms are free of charge, we anticipate a low registration fee. We already made preliminary reservations of a big lecture hall, for ITP proper, as well as some smaller meeting rooms, for workshops etc. The venue is easily reachable from the city center via public transportation (every 5 minutes, a direct bus taking around 10 minutes).

Organizers

The organizing chairs will be

• Christian Sternagel (christian.sternagel@uibk.ac.at) and
• René Thiemann (rene.thiemann@uibk.ac.at).

We would like to ask the ITP steering committee to search for a suitable program chair. In collaboration with the PC we will then determine the exact length and dates of the conference and determine the workshop day(s).

During the conference we plan to include daily coffee breaks and lunches, an opening reception as well as an excursion including a conference dinner.

Travel

Innsbruck is centrally located in the heart of Europe.

Innsbruck airport has daily connections to Frankfurt, London, and Vienna. As an alternative, one can take a flight connection to Munich airport, and then travel further to Innsbruck via train or airport shuttle (approximately 2.5 hours, 45 EUR).

Finances

In order to keep the costs for participants low, we will apply for at least two different funds at the University of Innsbruck, and in addition watch out for sponsors.

Host Institution

The institute of computer science was founded in the year 2001 as part of the “Technology Initiative” in western Austria. Despite its youth, there are strong connections to the interactive theorem proving community, which are exemplified by regular submissions to ITP, by a curricula reform which includes interactive theorem proving in the master program, and by three current research projects having interactive theorem proving as main topic.

Local Information

Innsbruck, the capital of Tyrol, is surrounded by nature and high mountains. Free time activities in a spectacular landscape are easily organized and within short distance. Besides the scenic view, Innsbruck offers a beautiful old town, including the Imperial Palace, the Court Church, the Tyrolean State Theater, and the Golden Roof, consisting of 2,657 fire-gilded copper tiles.

The small size of Innsbruck in combination with its good coverage by public transportation, admits visitors to easily reach touristic attractions as well as the conference site within a few minutes.

There are plenty of restaurants in Innsbruck which offer traditional Tyrolean food as well as international cuisine, at varying prices. Concerning accommodation, there are over 100 hotels where the price range is between 50 and 120 EUR per night, not including special fees for a selection of conference hotels.