Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities/tphols09/fee2.html
changeset 415 f1be8028a4a9 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/tphols09/fee2.html	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,303 @@
+<!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>
public_html