+
+
+
+Marienplatz (city centre)
+
+
+
+
+The English Garden
+
+
+
+
+Chinese Tower (famous beer garden)
+
+
+
+
The Computer Science building of the TUM
+
+
+
+
+The main hall in the CS-building
+
+
+
+
+The Isar river
+
+
+
+
+The conference poster
+
+ +
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. +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 ++ |