We are now accepting payments on site only. You should still register by email, though!

The actual registration starts Friday, 22. July, in the morning of the first workshops day. At 22. we'd recommend to register either between 8.30-9.00, during the first coffee break 10:00-10:30 or later. We will not register people during Thursday, 21. July (just preparing everything and being awfully busy).

In case you run into any minor trouble, please email Tanel Tammet. In the worst kinds of situations (totally lost, away from email, etc) you may call Tanel: +3725524876.

You have to take two separate actions to register for CADE-20:

• Fill and e-mail the registration form here. Necessary instructions are present on the form.
• Make the actual payment according to the instructions in the next section of this page.

Registration fees:

• Regular, early (before 20. June): 370 EUR.
• Regular, late (from 20. June): 470 EUR.
• Student, early (before 20. June): 270 EUR.
• Student, late (from 20. June): 370 EUR.
• Workshop or OO tutorial: 40 EUR.
• Extra workshop/tutorial same day: 15 EUR.
• CASC: 50 EUR.

Registration includes proceedings, reception, banquet, two excursions, two coffee breaks and lunch per conference day. Workshop registration includes workshop materials, two coffee breaks and a lunch during the workshop day. CASC registration includes a T-shirt and the CASC dinner. Blanchet and Giunchiglia tutorials take place during the main conference, no extra fee to be paid.

Payment can be made either by bank transfer, credit card (VISA or Mastercard) or (as a last resort) cash on site. After 12. July the only option is paying cash on site (i.e. do not make any bank transfers or credit card payments after this date: just e-mail the registration form). All payments should be made in EUR.

• BANK TRANSFERS in EUR should be made to the following account:

  Bank's name: Hansapank
  Bank's address: Liivalaia 8, 15040 Tallinn, Estonia
  BIC/SWIFT code: HABA EE2X
  Beneficiary: Institute of Cybernetics at TUT
  Beneficiary's address: Akadeemia tee 21, 12618 Tallinn, Estonia
  Beneficiary's account: 22 100 712 2812
  IBAN : EE78 2200 2210 0712 2812
  Reference: CADE-20, <participant(s) name(s)>

  It is VITAL that you include the reference and make sure that you are paying both the sender's and receiver's charges.

• CREDIT CARD PAYMENTS in EUR can be made using Visa or Mastercard. Please fill out this form, submit it, then print and sign the generated pdf file and send it by fax or regular mail to Institute of Cybernetics at TUT, Akadeemia tee 21, 12618 Tallinn, Estonia, fax no. +372 620 4151.

Call for Nominations The call is now closed. Please observe that in case you will be reimbursed by the Award, you still have to pay the CADE registration fee as an ordinary student participant: the Award will reimburse you later, not pay your fee up front.

The Woody Bledsoe Student Travel Award was created to honor the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering much of their expenses.

In 2005, CADE will take place July 22-27, in Tallinn, Estonia (for further information see cade-20). The winners will be reimbursed (to a maximum of USD 800) for their conference registration, transportation, and accomodation expenses. Preference will be given to students who will play an active role in the conference, including satellite workshops, and do not have alternative funding. However, also students in other situations are very much encouraged to apply.

A nomination consists of a recommendation letter of up to 300 words from the student's supervisor. Nominations for CADE-20 should be sent by e-mail to

• Robert Nieuwenhuis, CADE-20 Program Chair (roberto@lsi.upc.es) and
• Tanel Tammet, CADE-20 Conference Chair (tammet@staff.ttu.ee)

with copies to

• Franz Baader, CADE Inc. President (baader@tcs.inf.tu-dresden.de) and
• Neil V. Murray, CADE Inc. Treasurer (nvm@cs.albany.edu).

Nominations must arrive no later than June 8 and the winners will be notified by June 15. The awards will be presented at CADE; in case a winner does not attend, the chairs and trustees may transfer the award to another nominee or give no award.