Note in particular that there are two special offers from Kluwer for expensve books at half-price.
Please fill in as much as you can on this form, including adjustment of radio buttons etc, and submit to our web server: this calculates the total and sends a form for you to fill in with credit card details.
Complete the details on that form and either post or (preferably) FAX it to
FTP/Tableaux 2000 School of Computer Science St Andrews University St Andrews, KY16 9SS Scotland FAX number +44-1334-463278
A receipt will be sent by e-mail., when the credit card details have been confirmed. This normally takes a few days and may take up to a week.
Payment is preferably by credit card (not a charge card such as American Express or Diners Club, please). You can also pay by personal cheque or money order (on a UK bank) or by money transfer, with payment of all bank charges your responsibility.
Late bookings (i.e. payments sent) after 31 May will be subject to a 15% surcharge.
Apologies for not organising a secure e-commerce solution to the problem of arranging this transaction!
Registration covers copies of all conference documentation, the conference dinner and access to all conference events; no extra is charged for tutorial attendance. If you are a full-time student, please note that reduced registration fees may be available to such students: see here for details.
FTP 2000 alone 100 pounds Tableaux 2000 alone 120 pounds Both FTP 2000 and Tableaux 2000 150 pounds
Personal details
Please enter here (by editing the prefilled bits, etc) the details that will be used on the conference participants list:
Kluwer Press, publishers of the Handbook of Tableau Methods, edited by Marcello D'Agostino, Dov Gabbay, Reiner Hähnle and Joachim Posegga, offer it at about half-price (i.e. at 90 pounds) to participants in FTP/Tableaux 2000. If you wish to take advantage of this offer, please tick here: . Provided 30 people express interest by 31 May, the deal is on; if so, we will let you know between 31 May and 5 June, invoice you accordingly and order the books. They will then be available for distribution at the conference.
Kluwer Press, publishers of the three volume work Automated Deduction: A Basis for Applications, edited by Wolfgang Bibel and Peter Schmitt, offer it at about half-price (i.e. at 190 pounds) to participants in FTP/Tableaux 2000. If you wish to take advantage of this offer, please tick here: . Provided 30 people express interest by 31 May, the deal is on; if so, we will let you know between 31 May and 5 June, invoice you accordingly and order the books. They will then be available for distribution at the conference.
If your wishes are complex, like "I'll take only one of these two offers, whichever is available", please send me email.
For details of the offered University accommodation (including all meals), look here.
If you are instead arranging accommodation privately, please book for 0 days in the table below and select the amount payable to us in consequence here: 20 30 40 50 60 pounds. (If you book for more than 0 days below, then the amount in this menu will be ignored.)
Otherwise, for University accommodation, prices are as follows:
Start date: 2 July 3 July 4 July 5 July 6 July.
(No checks are done to prevent you booking for 5 days from 6 July, etc.)
After 31 May, a 15% surcharge will be payable on registration and accommodation charges.
You may enter your comments (if any) here
: