Thank you for registering for the ACL2 Workshop 2009! As in previous years, we are using the PayPal account of Happy Jack Software to handle payment details, so you will see their logo on the registration payment page. Do not panic! Your money really will go to the workshop!
To register, give us your name and select (1) either the regular or student registration fee, and (2) your T-shirt size. You can also buy additional banquet tickets, if you like. (Note that registration to the workshop automatically signs you up for the banquet.) When you're ready, select the view cart button, and you will go to the PayPal page where you can enter payment details.
Note: You will be able to provide a credit card through PayPal. You do not need to sign up with PayPal to register for the workshop.
Step 1: Sign up for the workshop.
Step 2: Optionally, sign up for additional banquet tickets.
Step 3: Send PayPal your payment details.
Problems? If you run into problems using PayPal (and we have seen problems with government-issued cards, for example), send a check to
ACL2 2009 Registration
C/O Sandip Ray
Department of Computer Sciences
University of Texas at Austin
1 University Station M/S C0500
Austin, TX 78712. USA.