Nominal/activities/tphols09/fee2.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 30 Mar 2016 17:27:34 +0100
changeset 415 f1be8028a4a9
permissions -rw-r--r--
updated

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>TPHOLs 2009</title>
</head>

<BODY TEXT="#000000" 
      BGCOLOR="#4169E1" 
      LINK="#0000EF" 
      VLINK="#51188E" 
      ALINK="#FF0000">

<TABLE WIDTH="100%" 
       BGCOLOR="#4169E1" 
       BORDER="0"   
       FRAME="border"  
       CELLPADDING="10"     
       CELLSPACING="2"
       RULES="all">

<!-- left column -->
<TR>
<TD BGCOLOR="#FFFFFF" 
    WIDTH="20%" 
    VALIGN="TOP" 
    ROWSPAN="2">

<p align=center>
<a href="pictures/marienplatz.jpg">
<img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a>
<br>
<small>Marienplatz (city centre)</small><br>
</p>

<p align=center>
<a href="pictures/englischer_garten.jpg">
<img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a>
<br>
<small>The English Garden</small><br>
</p>

<p align=center>
<a href="pictures/chinesischer_turm.jpg">
<img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a>
<br>
<small>Chinese Tower (famous beer garden)</small><br>
</p>

<p align=center>
<a href="pictures/cs_building.jpg">
<img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a>
<br><small>The Computer Science building of the TUM</small><br>
</p>

<p align=center>
<a href="pictures/magistrale.jpg">
<img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a>
<br>
<small>The main hall in the CS-building</small><br>
</p>

<p align=center>
<a href="pictures/isar.jpg">
<img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a>
<br>
<small>The Isar river</small><br>
</p>

<p align=center>
<A HREF="pictures/tphols09_poster.jpg">
<IMG ALT="poster" SRC="pictures/tphols09_poster_small.jpg" align="top"></A>
<BR>
<small>The conference poster</small><br>
</p>

</TD>


<!-- right column -->
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">

<CENTER>
[<a href="index.html#dates">Important Dates</a>]
[<a href="index.html#committees">Committees</a>]
[<a href="index.html#venueandprogramme">Venue and Programme</a>]
[<a href="index.html#workshops">Workshops</a>]
[<a href="index.html#travel">Travel Informations</a>]
[<a href="index.html#registration">Registration</a>]
[<a href="index.html#support">Our Sponsors</a>]
</CENTER>
<HR><p>

<H3>Conference Registration via M&uuml;nchenTicket</H3>

The registration for TPHOLs 2009 is via
<a href="http://www.muenchenticket.de/guide/tickets/ad9l/22nd+International+Conference+on+Theorem+Proving+in+Higher+Order+Logics+TPHOLs+2009.html" target="_blank">M&uuml;nchenTicket</a>.
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 <script language="JavaScript">site='in.tum.de';user='tphols';document.write('<a href=\"mailto:'+user+'@'+site+'\">');document.write(user+'@'+site+'</a>');</script>.

<h3>0. Open the link</h3>

Open the following link in a separate window.
<center>
<b><a href="http://www.muenchenticket.de/guide/tickets/ad9l/22nd+International+Conference+on+Theorem+Proving+in+Higher+Order+Logics+TPHOLs+2009.html" target="_blank">M&uuml;nchenTicket</a></b>
</center>


<h3>1. Overview page</h3>

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.
<p>
<center><img src="screenshots/overview.png" border=1></center>

<h3>2. Login</h3>

In order to book a ticket, you must have a valid user account at M&uuml;nchenTicket.

<ul>
<li>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. 

<li>Otherwise, click on the link
"Register as a new customer" to create a new account.
</ul>
<p>
<center><img src="screenshots/login.png" border=1></center>

<h3>3. Registration as a new user</h3>

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 <b>immediately
after submitting the form</b>. You will then get back to the login page. See below for 
translations of some country names.
<p>
<center><img src="screenshots/registration.png" border=1></center>
<p>
<b>List of countries</b>
<br>
<table>
<tr><td>Australien</td><td>=</td><td>Australia</td></tr>
<tr><td>D&auml;nemark</td><td>=</td><td>Danmark</td></tr>
<tr><td>Frankreich</td><td>=</td><td>France</td></tr>
<tr><td>Griechenland</td><td>=</td><td>Greece</td></tr>
<tr><td>Italien</td><td>=</td><td>Italy</td></tr>
<tr><td>Schweden</td><td>=</td><td>Sweden</td></tr>
<tr><td>Vereinigtes K&ouml;nigreich Gro&szlig;britannien</td><td>=</td><td>United Kingdom</td></tr>
<tr><td>Vereinigte Staaten von Amerika</td><td>=</td><td>United States of America</td></tr>
</table>

<h3>4. Choose ticket</h3>

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 <b>additional</b> 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.
<p>
<center><img src="screenshots/order.png" border=1></center>

<h3>5. Shopping cart</h3>

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".
<p>
<center><img src="screenshots/shopping_cart.png" border=1></center>

<h3>6. Enter address</h3>

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".
<p>
<center><img src="screenshots/address.png" border=1></center>

<h3>7. Select payment type</h3>

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".
<p>
<center><img src="screenshots/payment_type.png" border=1></center>

<h3>8. Summary</h3>

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.
<p>
<center><img src="screenshots/check_order.png" border=1></center>

<h3>9. Make payment</h3>

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.
<span style="color: #ff0000"><b>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&uuml;nchenTicket
website</b></span>.
<p>
<center><img src="screenshots/credit_card.png" border=1></center>

<h3>10. Confirmation</h3>

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.
<p>
<center>
<table frame=border bordercolor="#000000" cellpadding=5>
<tr><td>
<pre>
From: info@muenchenticket.de [mailto:info@muenchenticket.de] 
Date: ...
To: ...
Subject: Registrierungbestaetigung / Confirmation of registration TPHOLs 2009

Sehr geehrter Herr ...,

gerne best&auml;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&uuml;nchen City, ... , 


Gesamtpreis/Amount: ... EUR 

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

Bei R&uuml;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&uuml;&szlig;en / With kind regards

M&uuml;nchen Ticket GmbH
Postfach 20 14 13
80014 M&uuml;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&uuml;nchen, Sitz der 
Gesellschaft: M&uuml;nchen, Reg.-Ger. M&uuml;nchen, HRB 10 60 18, 
Gesch&auml;ftsf&uuml;hrer Stephan Rusch, Aufsichtsratsvorsitzende 
Brigitte v. Welser
</pre>
</td></tr>
</table>
</center>

<h3>11. Hotel Booking</h3>

If you have not done it yet, you can now proceed with the 
<A HREF="http://tphols.in.tum.de/index.html#registration">hotel reservation</A>.
</TD>
</TABLE>

<hr>
<!-- Created:  Thu Feb 28 19:21:12 CET 2008 -->
<!-- hhmts start -->
Last modified: Fri May 29 04:57:13 CEST 2009
<!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>