Login



Conference Information

- Please login above if you have already created an account.

Welcome to Carnegie Mellon University Conference & Event Services web registration portal.

If you already started your registration for the event you are attending, enter your email address and the supplied password above to view your registration or complete your payment. Please do not begin a second registration. If you need to create an account, please scroll to the bottom of the page and click on the Sign Up button to begin the registration process. 

Please contact us if you have questions related to the registration process:

    telephone: 412-268-1125 or 800-590-4139

    e-mail: confserv@andrew.cmu.edu

Computer Aided Verification (CAV) Conference

Start Date:
7/18/2015
End Date:
7/24/2015
Maximum Attendees:
No limit
Registered Attendees:
368
Description:
Workshops: July 18-19, 2015

Main Conference (including tutorials): July 20-24, 2015


Registration Details



Early Registration (if full payment is received by June 10th at 11:59pm EST):
General Registration Workshops: $300.00
General Registration Main Conference: $600.00
General Registration Workshops & Main Conference: $900.00

Student Registration Workshops: $200.00
Student Registration Main Conference: $400.00
Student Registration Workshops & Main Conference: $600.00

Daily Registration: $150 per day (NOTE: This option only permits you to select one date.
If you plan to attend more than one day, you will need to register for the main conference
or workshops)


Registration beginning June 11th:
General Registration Workshops: $400.00
General Registration Main Conference: $700.00
General Registration Workshops & Main Conference: $1,100.00

Student Registration Workshops: $300.00
Student Registration Main Conference: $500.00
Student Registration Workshops & Main Conference: $800.00

Daily Registration: $200 per day(NOTE: This option only permits you to select one date.
If you plan to attend more than one day, you will need to register for the main conference
or workshops)


Cancellation Policy for Registration


No refunds will be issued after June 10, 2015

Available Options

TypeDescriptionStart DateEnd DateTotalAvailableFee
MiscExtra Banquet Ticket7/22/2015 8:00:00 PM7/22/2015 11:00:00 PMUnlimitedUnlimited$100.00