|
TPHOLs is a series of international conferences that started in 1988 and brings together researchers working in all areas of interactive theorem proving. The Theorem Proving Group at the Technische Universität München is pleased to host the 22nd TPHOLs.
Important DatesSubmission for main proceedings: Now closed.Submission for the emerging trends: Now closed. Registration: Now closed Conference: 17-20 August 2009 Committees and Invited SpeakersInvited Speakers:
Invited Tutorials about/by:
Programme Committee:
Workshop Chair:Makarius WenzelLocal Organisation:Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian UrbanProgrammeThe LNCS number of the proceedings will be 5674. You can find the accepted papers here. The programme is elsewhere. If you are an author and prepare your slides, please note that the contributed talks in the main conference are limited to 25 minutes (including time for questions). The talks in the poster session are limited to 7 minutes. The proceedings of the poster session is here.Workshops
Venue and TravellingThe conference will take place in the Novotel which is near the river Isar and close to the city centre. There are a number of beer gardens near the hotel.Local InformationMunich is situated at the heart of Europe.
Munich's airport is an important European hub for international flights from around the world. Novotel is close to the central station and in easy reach from the airport by public transportation. More detailed local information can be downloaded for
Hotel BookingThe registration deadline for the conference has passed. You can still book your hotel:
Our SponsorsWe are very grateful for the support provided by:
|