FMCAD 2011
Formal Methods in Computer-Aided Design
Austin, TX, USA
October 30 - November 2

 FMCAD 2011 Registration Fee Schedule

Early registration ends September 27th
All prices in US Dollars
Registration Type
 IEEE/ACM Membership*
 Member $470.00
 Non-Member $495.00  $595.00
 Member  $370.00 $470.00
 Non-Member $395.00
Tutorials Only
 N/A $200.00
Panel Only (panelists-only)
 N/A $150.00
 N/A $135.00

*by "member" we mean an active ACM or IEEE member.

To register, please click here. The footnotes of each page contain answers to questions we have anticipated, but please email for anything not addressed there. Unfortunately, regonline goes down sometimes (at least, it's down as of Sept 7 13:00). In this case, please try again later (sometimes one only need wait a few minutes).

Room sharing information is available at this Google group.

Official Cancellation Policy (exceptions may be made in extenuating circumstances):

  1. No cancellation fees before September 27. However, the creditcard holder is responsible for any credit card fees (if any occur) resulting from the transaction.
  2. A refund request received after September 27 and before October 7 is eligible for a full refund, minus $50.
  3. A refund request received after October 7 and before October 24 is eligible for a refund of 50% of the fees.
  4. There will be no refunds after October 24.
Cancellations occuring before September 27th can be made through the registration website. To cancel after September 27th, one should email