Marienplatz
Marienplatz (city centre)

Englischer Garten
The English Garden

Chinesischer Turm
Chinese Tower (famous beer garden)

Computer science building
The Computer Science building of the TUM

Main hall of the computer science building
The main hall in the CS-building

The river Isar
The Isar river

poster
The conference poster

[Important Dates] [Committees] [Venue and Programme] [Workshops] [Travel Informations] [Registration] [Our Sponsors]

Conference Registration via MünchenTicket

The registration for TPHOLs 2009 is via MünchenTicket. Since the booking website is in German, we have provided some instructions that will guide you through the registration process. Read carefully the instructions! If you have problems email us at .

0. Open the link

Open the following link in a separate window.
MünchenTicket

1. Overview page

After clicking on the above link, you will see a page showing an overview of all possible ticket categories. You can start booking your conference ticket by clicking on the "Order tickets" button.

2. Login

In order to book a ticket, you must have a valid user account at MünchenTicket.
  • If you already have a user account with them, enter your email or login and your password, and then press the "Submit" button to log in.
  • Otherwise, click on the link "Register as a new customer" to create a new account.

3. Registration as a new user

Please completely fill out the form shown below. All fields marked with * are mandatory. Your login information consists of your email address and a password. The password will be generated automatically and sent to you by email immediately after submitting the form. You will then get back to the login page. See below for translations of some country names.

List of countries
Australien=Australia
Dänemark=Danmark
Frankreich=France
Griechenland=Greece
Italien=Italy
Schweden=Sweden
Vereinigtes Königreich Großbritannien=United Kingdom
Vereinigte Staaten von Amerika=United States of America

4. Choose ticket

You now have to choose your type of registration. At the bottom of the page shown below, you can see a table showing all available event / reduction types, together with their price. In the rightmost column of the table, there is a drop-down menu allowing you to choose the number of tickets of the corresponding type that you want to buy. Unless you want to order additional excursion and dinner tickets for persons accompanying you, you will usually have to choose "1" for just one of the event / reduction types. Before choosing a student reduction, please make sure that you are eligible. If you are happy with your selection, press the "Next: put in shopping cart" button.

5. Shopping cart

The booking system will now display the contents of your shopping cart. Unless you want to cancel your booking (in which case you would have to click on the "Discard" button), you just have to click on "Next: enter address".

6. Enter address

The booking system will now display the customer address, which is the one that you have entered in step 3. In addition, you are also offered to enter a delivery address. However, since the conference ticket is an electronic ticket, it does not make sense to enter anything here, so just click on "Next: select payment type".

7. Select payment type

The system now offers you to select the delivery / payment type. The only delivery type is "online registration", and the only payment type is "credit card", so just click on the "Next: show summary / check order".

8. Summary

You will now be shown a summary of your booking. You can either continue by clicking on the "Next: make payment / booking" button, or change the contents of your shopping cart, your address or payment type.

9. Make payment

Payment can only be made by credit card (Master Card, Visa, or American Express). The booking system will show you the total amount to be paid, and ask you to enter your credit card number, the expiry date, the owner of the credit card, and the card security code. If you are sure you have entered everything correctly and finally want to book your ticket, click on the "Finish / really book ticket" button. Note that after clicking on this button, your credit card will be charged with the total amount, and it is no longer possible to cancel or alter your booking via the MünchenTicket website.

10. Confirmation

Upon successful completion of your booking, you will receive a confirmation of your booking via email. Please keep this confirmation for your records. If you have mistyped your credit card information, or your card is not valid, an error message will appear.

From: info@muenchenticket.de [mailto:info@muenchenticket.de] 
Date: ...
To: ...
Subject: Registrierungbestaetigung / Confirmation of registration TPHOLs 2009

Sehr geehrter Herr ...,

gerne bestätigen wir namens des Veranstalters nachstehende Registrierung:

This is a confirmation of your registration on behalf of the organiser for:

Bestellnummer / order number: ... Datum / Date: ... Kundennummer / customer number: ...

*****************************


1 Ticket(s)

22nd International Conference on Theorem Proving in Higher 
Order Logics (TPHOLs) 17 to 21 August 2009 
    ... | ... EUR | ...
    Novotel München City, ... , 


Gesamtpreis/Amount: ... EUR 

******************************

Bei Rückfragen zur Buchung wenden Sie sich bitte an unseren Kundenservice:
For any further questions on your booking please conctact our customer care center:

info@muenchenticket.de

Weitere Informationen zur Konferenz finden Sie auf:
For further information on the conference please visit:

http://tphols.in.tum.de


Mit freundlichen Grüßen / With kind regards

München Ticket GmbH
Postfach 20 14 13
80014 München
Tel. 0180 / 54 81 81 81 (0,14EUR/Min. aus dem dt. Festnetz - Mobilfunk abweichend)
Fax: 089 / 54 81 81 54
Email: info@muenchenticket.de
Internet: www.muenchenticket.de

Serviceeinrichtung der Landeshauptstadt München, Sitz der 
Gesellschaft: München, Reg.-Ger. München, HRB 10 60 18, 
Geschäftsführer Stephan Rusch, Aufsichtsratsvorsitzende 
Brigitte v. Welser

11. Hotel Booking

If you have not done it yet, you can now proceed with the hotel reservation.

Last modified: Fri May 29 04:57:13 CEST 2009 [Validate this page.]