|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
2 <html> |
|
3 <head> |
|
4 <title>TPHOLs 2009</title> |
|
5 </head> |
|
6 |
|
7 <BODY TEXT="#000000" |
|
8 BGCOLOR="#4169E1" |
|
9 LINK="#0000EF" |
|
10 VLINK="#51188E" |
|
11 ALINK="#FF0000"> |
|
12 |
|
13 <TABLE WIDTH="100%" |
|
14 BGCOLOR="#4169E1" |
|
15 BORDER="0" |
|
16 FRAME="border" |
|
17 CELLPADDING="10" |
|
18 CELLSPACING="2" |
|
19 RULES="all"> |
|
20 |
|
21 <!-- left column --> |
|
22 <TR> |
|
23 <TD BGCOLOR="#FFFFFF" |
|
24 WIDTH="20%" |
|
25 VALIGN="TOP" |
|
26 ROWSPAN="2"> |
|
27 |
|
28 <p align=center> |
|
29 <a href="pictures/marienplatz.jpg"> |
|
30 <img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a> |
|
31 <br> |
|
32 <small>Marienplatz (city centre)</small><br> |
|
33 </p> |
|
34 |
|
35 <p align=center> |
|
36 <a href="pictures/englischer_garten.jpg"> |
|
37 <img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a> |
|
38 <br> |
|
39 <small>The English Garden</small><br> |
|
40 </p> |
|
41 |
|
42 <p align=center> |
|
43 <a href="pictures/chinesischer_turm.jpg"> |
|
44 <img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a> |
|
45 <br> |
|
46 <small>Chinese Tower (famous beer garden)</small><br> |
|
47 </p> |
|
48 |
|
49 <p align=center> |
|
50 <a href="pictures/cs_building.jpg"> |
|
51 <img src="pictures/cs_building_small.jpg" alt="Computer science building" border=0></a> |
|
52 <br><small>The Computer Science building of the TUM</small><br> |
|
53 </p> |
|
54 |
|
55 <p align=center> |
|
56 <a href="pictures/magistrale.jpg"> |
|
57 <img src="pictures/magistrale_small.jpg" alt="Main hall of the computer science building" border=0></a> |
|
58 <br> |
|
59 <small>The main hall in the CS-building</small><br> |
|
60 </p> |
|
61 |
|
62 <p align=center> |
|
63 <a href="pictures/isar.jpg"> |
|
64 <img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a> |
|
65 <br> |
|
66 <small>The Isar river</small><br> |
|
67 </p> |
|
68 |
|
69 <p align=center> |
|
70 <A HREF="pictures/tphols09_poster.jpg"> |
|
71 <IMG ALT="poster" SRC="pictures/tphols09_poster_small.jpg" align="top"></A> |
|
72 <BR> |
|
73 <small>The conference poster</small><br> |
|
74 </p> |
|
75 |
|
76 </TD> |
|
77 |
|
78 |
|
79 <!-- right column --> |
|
80 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
|
81 |
|
82 <CENTER> |
|
83 [<a href="index.html#dates">Important Dates</a>] |
|
84 [<a href="index.html#committees">Committees</a>] |
|
85 [<a href="index.html#venueandprogramme">Venue and Programme</a>] |
|
86 [<a href="index.html#workshops">Workshops</a>] |
|
87 [<a href="index.html#travel">Travel Informations</a>] |
|
88 [<a href="index.html#registration">Registration</a>] |
|
89 [<a href="index.html#support">Our Sponsors</a>] |
|
90 </CENTER> |
|
91 <HR><p> |
|
92 |
|
93 <H3>Conference Registration via MünchenTicket</H3> |
|
94 |
|
95 The registration for TPHOLs 2009 is via |
|
96 <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ünchenTicket</a>. |
|
97 Since the booking website is in German, we have provided some instructions that |
|
98 will guide you through the registration process. Read carefully the instructions! |
|
99 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>. |
|
100 |
|
101 <h3>0. Open the link</h3> |
|
102 |
|
103 Open the following link in a separate window. |
|
104 <center> |
|
105 <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ünchenTicket</a></b> |
|
106 </center> |
|
107 |
|
108 |
|
109 <h3>1. Overview page</h3> |
|
110 |
|
111 After clicking on the above link, you will see a page showing an overview |
|
112 of all possible ticket categories. You can start booking your conference |
|
113 ticket by clicking on the "Order tickets" button. |
|
114 <p> |
|
115 <center><img src="screenshots/overview.png" border=1></center> |
|
116 |
|
117 <h3>2. Login</h3> |
|
118 |
|
119 In order to book a ticket, you must have a valid user account at MünchenTicket. |
|
120 |
|
121 <ul> |
|
122 <li>If you already have a user account with them, enter your email or login and your password, |
|
123 and then press the "Submit" button to log in. |
|
124 |
|
125 <li>Otherwise, click on the link |
|
126 "Register as a new customer" to create a new account. |
|
127 </ul> |
|
128 <p> |
|
129 <center><img src="screenshots/login.png" border=1></center> |
|
130 |
|
131 <h3>3. Registration as a new user</h3> |
|
132 |
|
133 Please completely fill out the form shown below. All fields marked with * are |
|
134 mandatory. Your login information consists of your email address and a password. |
|
135 The password will be generated automatically and sent to you by email <b>immediately |
|
136 after submitting the form</b>. You will then get back to the login page. See below for |
|
137 translations of some country names. |
|
138 <p> |
|
139 <center><img src="screenshots/registration.png" border=1></center> |
|
140 <p> |
|
141 <b>List of countries</b> |
|
142 <br> |
|
143 <table> |
|
144 <tr><td>Australien</td><td>=</td><td>Australia</td></tr> |
|
145 <tr><td>Dänemark</td><td>=</td><td>Danmark</td></tr> |
|
146 <tr><td>Frankreich</td><td>=</td><td>France</td></tr> |
|
147 <tr><td>Griechenland</td><td>=</td><td>Greece</td></tr> |
|
148 <tr><td>Italien</td><td>=</td><td>Italy</td></tr> |
|
149 <tr><td>Schweden</td><td>=</td><td>Sweden</td></tr> |
|
150 <tr><td>Vereinigtes Königreich Großbritannien</td><td>=</td><td>United Kingdom</td></tr> |
|
151 <tr><td>Vereinigte Staaten von Amerika</td><td>=</td><td>United States of America</td></tr> |
|
152 </table> |
|
153 |
|
154 <h3>4. Choose ticket</h3> |
|
155 |
|
156 You now have to choose your type of registration. At the bottom of the page shown |
|
157 below, you can see a table showing all available event / reduction types, together |
|
158 with their price. In the rightmost column of the table, there is a drop-down menu |
|
159 allowing you to choose the number of tickets of the corresponding type that you |
|
160 want to buy. Unless you want to order <b>additional</b> excursion and dinner tickets |
|
161 for persons accompanying you, you will usually have to choose "1" for just one of |
|
162 the event / reduction types. Before choosing a student reduction, please make sure |
|
163 that you are eligible. If you are happy with your selection, press the |
|
164 "Next: put in shopping cart" button. |
|
165 <p> |
|
166 <center><img src="screenshots/order.png" border=1></center> |
|
167 |
|
168 <h3>5. Shopping cart</h3> |
|
169 |
|
170 The booking system will now display the contents of your shopping cart. Unless |
|
171 you want to cancel your booking (in which case you would have to click on |
|
172 the "Discard" button), you just have to click on "Next: enter address". |
|
173 <p> |
|
174 <center><img src="screenshots/shopping_cart.png" border=1></center> |
|
175 |
|
176 <h3>6. Enter address</h3> |
|
177 |
|
178 The booking system will now display the customer address, which is the one |
|
179 that you have entered in step 3. In addition, you are also offered to enter |
|
180 a delivery address. However, since the conference ticket is an electronic |
|
181 ticket, it does not make sense to enter anything here, so just click on |
|
182 "Next: select payment type". |
|
183 <p> |
|
184 <center><img src="screenshots/address.png" border=1></center> |
|
185 |
|
186 <h3>7. Select payment type</h3> |
|
187 |
|
188 The system now offers you to select the delivery / payment type. The only |
|
189 delivery type is "online registration", and the only payment type is |
|
190 "credit card", so just click on the "Next: show summary / check order". |
|
191 <p> |
|
192 <center><img src="screenshots/payment_type.png" border=1></center> |
|
193 |
|
194 <h3>8. Summary</h3> |
|
195 |
|
196 You will now be shown a summary of your booking. You can either |
|
197 continue by clicking on the "Next: make payment / booking" button, |
|
198 or change the contents of your shopping cart, your address or |
|
199 payment type. |
|
200 <p> |
|
201 <center><img src="screenshots/check_order.png" border=1></center> |
|
202 |
|
203 <h3>9. Make payment</h3> |
|
204 |
|
205 Payment can only be made by credit card (Master Card, Visa, or |
|
206 American Express). The booking system will show you the total |
|
207 amount to be paid, and ask you to enter your credit card number, |
|
208 the expiry date, the owner of the credit card, and the card |
|
209 security code. If you are sure you have entered everything |
|
210 correctly and finally want to book your ticket, click |
|
211 on the "Finish / really book ticket" button. |
|
212 <span style="color: #ff0000"><b>Note that |
|
213 after clicking on this button, your credit card will be charged |
|
214 with the total amount, and it is no longer possible |
|
215 to cancel or alter your booking via the MünchenTicket |
|
216 website</b></span>. |
|
217 <p> |
|
218 <center><img src="screenshots/credit_card.png" border=1></center> |
|
219 |
|
220 <h3>10. Confirmation</h3> |
|
221 |
|
222 Upon successful completion of your booking, you will receive a |
|
223 confirmation of your booking via email. Please keep this confirmation |
|
224 for your records. If you have mistyped your credit card information, |
|
225 or your card is not valid, an error message will appear. |
|
226 <p> |
|
227 <center> |
|
228 <table frame=border bordercolor="#000000" cellpadding=5> |
|
229 <tr><td> |
|
230 <pre> |
|
231 From: info@muenchenticket.de [mailto:info@muenchenticket.de] |
|
232 Date: ... |
|
233 To: ... |
|
234 Subject: Registrierungbestaetigung / Confirmation of registration TPHOLs 2009 |
|
235 |
|
236 Sehr geehrter Herr ..., |
|
237 |
|
238 gerne bestätigen wir namens des Veranstalters nachstehende Registrierung: |
|
239 |
|
240 This is a confirmation of your registration on behalf of the organiser for: |
|
241 |
|
242 Bestellnummer / order number: ... Datum / Date: ... Kundennummer / customer number: ... |
|
243 |
|
244 ***************************** |
|
245 |
|
246 |
|
247 1 Ticket(s) |
|
248 |
|
249 22nd International Conference on Theorem Proving in Higher |
|
250 Order Logics (TPHOLs) 17 to 21 August 2009 |
|
251 ... | ... EUR | ... |
|
252 Novotel München City, ... , |
|
253 |
|
254 |
|
255 Gesamtpreis/Amount: ... EUR |
|
256 |
|
257 ****************************** |
|
258 |
|
259 Bei Rückfragen zur Buchung wenden Sie sich bitte an unseren Kundenservice: |
|
260 For any further questions on your booking please conctact our customer care center: |
|
261 |
|
262 info@muenchenticket.de |
|
263 |
|
264 Weitere Informationen zur Konferenz finden Sie auf: |
|
265 For further information on the conference please visit: |
|
266 |
|
267 http://tphols.in.tum.de |
|
268 |
|
269 |
|
270 Mit freundlichen Grüßen / With kind regards |
|
271 |
|
272 München Ticket GmbH |
|
273 Postfach 20 14 13 |
|
274 80014 München |
|
275 Tel. 0180 / 54 81 81 81 (0,14EUR/Min. aus dem dt. Festnetz - Mobilfunk abweichend) |
|
276 Fax: 089 / 54 81 81 54 |
|
277 Email: info@muenchenticket.de |
|
278 Internet: www.muenchenticket.de |
|
279 |
|
280 Serviceeinrichtung der Landeshauptstadt München, Sitz der |
|
281 Gesellschaft: München, Reg.-Ger. München, HRB 10 60 18, |
|
282 Geschäftsführer Stephan Rusch, Aufsichtsratsvorsitzende |
|
283 Brigitte v. Welser |
|
284 </pre> |
|
285 </td></tr> |
|
286 </table> |
|
287 </center> |
|
288 |
|
289 <h3>11. Hotel Booking</h3> |
|
290 |
|
291 If you have not done it yet, you can now proceed with the |
|
292 <A HREF="http://tphols.in.tum.de/index.html#registration">hotel reservation</A>. |
|
293 </TD> |
|
294 </TABLE> |
|
295 |
|
296 <hr> |
|
297 <!-- Created: Thu Feb 28 19:21:12 CET 2008 --> |
|
298 <!-- hhmts start --> |
|
299 Last modified: Fri May 29 04:57:13 CEST 2009 |
|
300 <!-- hhmts end --> |
|
301 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
|
302 </body> |
|
303 </html> |