Dates

Early registration ends: March 31, 2025
Regular registration begins: April 1, 2025
Workshop: May 12-13, 2025

Website Link

Information on the accepted papers, keynote speakers, and venue/lodging is available at:

https://www.cs.utexas.edu/users/moore/acl2/workshop-2025/index.html

Your Information

Name

Institution Association

Registration Options

Student early registration ($50.00)
For use in Jan/Feb/March
Professional early registration ($150.00)
For use in Jan/Feb/March
Online only, no T-shirt ($0.00)
Online only with T-shirt ($25.00)
(Chairs won't be mailing T-shirts, so make sure you know someone willing to either hold onto it for you or mail it to you.)
Online only but only with banquet (no T-shirt) ($60.00)
Online only with banquet and T-shirt ($85.00)
$500 Donation ($500.00)
$1000 Donation ($1,000.00)

T-Shirt Size (registrations after April 15 may not receive a t-shirt)

The registration provider (regfox) mandates that we use their standard billing form, below. However, you may opt out of text messaging, and the billing will likely go through even with 000-000-0000 as your mobile phone.

We suggest leaving the below "I am representing an organization" box unchecked.

Billing Information

Name

I am representing an organization

Credit Card

Visa
Mastercard
American Express
Discover

Address

Mobile Phone Number

Yes, it's okay to send me text messages including confirmations, changes, updates, and/or promotions. Message frequency varies. Message and data rates may apply. View our terms of service & privacy policy.

The ACL2 Workshop 2025

Dates

Website Link

Your Information

Billing Information