Third International Conference on Formal Methods in Computer-aided Design Directions Local Transportation

From the Austin airport

The expected taxi fare from the airport to the hotel is $15.

The recommended way to get from the airport to the hotel is by using the Super Shuttle van service which leaves approximately every 15 minutes, costs $8.00, and goes to downtown hotels as needed by passengers.

The driving directions from Austin Begstrom International Airport:

• From the airport exit turn West on Hwy. 71 to Interstate I-35 North
• Exit from I-35 at the 6th-12th Street exit.
• Turn left on 11th Street. Cross over I-35 and the hotel will be on the left.