Fourth International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2003)

To register for the ACL2-2002 Workshop, please print the following form and mail it, with a check made out to Jo Moore, to:

Jo Moore
1602 Austin Ave.
Georgetown, TX  78626
Non-US attendees may email the form and pay at the workshop. Please email with any questions.

The registration fee includes refreshments during the workshop, dinner Sunday night, and one T-shirt -- although this is only guaranteed if registration is sent by June 1. People are encouraged to register before the deadline. We need to know who is going to attend so that we have numbers for dinner/refreshments and so on. Therefore, the cost is less if your registration is sent by June 1, although on-site registration is also possible (cash or check only; no credit cards).

Note: Attendees are responsible for their own lodging. Information on lodging is available on the ACL2-2003 Workshop home page.





E-mail address:

Amount enclosed for registration (circle one):

    $85 for non-students if sent by June 1.

    $60 for students if sent by June 1.

   $100 for registration (students and non-students) after June 1.

Size and color of T-shirt (circle one):

     S/Red, S/Turquoise. M/Red. M/Turquoise, L/Red, L/Turquoise.

     Xlg/Red, Xlg/Turquoise, XXlg/Red, XXlg/Turquoise.

Additional shirts at $10 each (specify sizes/colors):

Additional dinner for spouse at $30 (circle one):  Yes  No

Total amount enclosed: