R E G I S T R A T I O N   F O R M

CADE-20
The 20th International Conference on Automated Deduction
22 July - 27 July, 2004 
Tallinn, Estonia

http://www.ttu.ee/it/cade

Please edit this form with a text editor and send it by E-MAIL 
to Tanel Tammet: tammet@staff.ttu.ee. Please use
"CADE-20 registration Your Name" as a subject of the e-mail.

__________________________________________________________________________

                     D E L E G A T E   D E T A I L S

Family Name  [   ]
First Name   [   ]
Title        [   ]
Affiliation  [   ]
Address      [   ]
City         [   ]
Zip          [   ]
Country      [   ]
Telephone    [   ]
Fax          [   ]
e-mail       [   ]


Student : Yes / No

NOTE: Students must (a) send together with their registration
an indication of their student identity (b) present written proof
(student card, etc) later on site.

__________________________________________________________________________

                   R E G I S T R A T I O N   T Y P E

I wish to register as follows (place an `X' in a box on the left-hand-side):
The registration fee includes: full access to the technical programme,
a copy of the conference proceedings, the opening reception of the conference,
the banquet and excursion, plus all lunches and refreshment breaks on the
24th, 25th, 26th and 28th.


Early (payment made before 20. June):

[ ] Full Conference Delegate (cost 370 EURO)
[ ] Student Conference Delegate (cost 270 EURO)

Late (payment made after 19. June):

[ ] Full Conference Delegate (cost 470 EURO)
[ ] Student Conference Delegate (cost 370 EURO)


REGISTRATION FEE PAYABLE........................................[        ]

__________________________________________________________________________

    A D D I T I O N A L   S O C I A L   P R O G R A M M E   T I C K E T

If delegates wish to bring a partner/spouse to the conference and would
like them to attend the social programme (reception, excursions 
and banquet), tickets can be purchased at a cost of EURO 100. Please  tick the
box below if you would like to purchase a ticket.

ADDITIONAL SOCIAL PROGRAMME TICKET..............................[        ]

__________________________________________________________________________

        W O R K S H O P  &  T U T O R I A L   R E G I S T R A T I O N
                 
Please place an `X' beside the workshops/tutorials for which you would
like to register. The cost of workshop/tutorial registration is EURO 40,
including the notes for one workshop or tutorial, coffee breaks, lunch and
free access to all other workshops/tutorials. Only workshop and tutorial
registrants are permitted to the lunches and coffee-breaks on both the 22th
and 23th.

If you want to officially register for multiple workshops/tutorials, put
an X next to the primary event and then order the proceedings of the
other events down below.) 

WORKSHOPS:

[ ] WS 1: Empirically Successful Classical AR (ESCAR) 
          - 1 day workshop, July 23-24

[ ] WS 2: Non-Theorems, Non-Validity, Non-Provability (DISPROVING)
          - 1 day workshop, July 22

[ ] WS 3: Constraints in Formal Verification (CFV'05) 
          - 1 day workshop, July 23

TUTORIALS:

[ ] T 1: Integrating Object-Oriented Design and 
         Deductive Verification of Software (OO)
         - July 23
         
Notice that the Blanchet and Giunchiglia tutorials take place during the
main conference: conference registration necessary, no extra fees.

Additional Workshop/Tutorial Notes

If you would like to purchase additional workshop/tutorial notes, at a
charge of EURO 15 each, please list them below using the appropriate
identifiers:

    [ <insert list of additional workshop/notes here> ]


WORKSHOP/TUTORIAL REGISTRATION COSTS PAYABLE:
    - WORKSHOP/TUTORIAL REGISTRATION FEE........ [        ]
    - TOTAL COST OF ADDITIONAL NOTES............ [        ]
    TOTAL CHARGE (sum of the above) ............................[        ]

__________________________________________________________________________

                    C A S C   R E G I S T R A T I O N

                  http://www.cs.miami.edu/~tptp/CASC/20/

The CADE ATP System Competition (CASC) will be held in conjunction with
CADE-20. Formal registration for CASC is available only for nominated
entrants and their associates.

The registration fee includes: access to the technical programme of CASC,
a dinner organised for the event and a commemorative t-shirt.

If you are entitled to register for this event, please indicate this below:

[ ] CASC: The CADE ATP System Competition (cost 50 EURO)


CASC REGISTRATION FEE.......................................... [        ] 


__________________________________________________________________________


TOTAL AMOUNT DUE (sum of all charges on your registration)......[        ]

__________________________________________________________________________

ACTUAL PAYMENT: Please follow the payment procedure on the page
http://www.ttu.ee/it/cade/registration.html

YOUR REGISTRATION IS NOT COMPLETED UNTIL YOU HAVE MADE THE PAYMENT
__________________________________________________________________________

ACCOMMODATION PLEASE BOOK DIRECTLY AT THE HOTEL FOLLOWING THE
INSTRUCTIONS AT: http://www.ttu.ee/it/cade
__________________________________________________________________________

ADDITIONAL NOTES: please write any additional notes to the organizers here