LOGO
Formal Methods in
Computer-Aided Design
October 23-27, 2023
Ames, Iowa, USA

Venue, Travel & Accommodation

Venue

Reiman Gardens is a living garden … always changing, adapting, evolving with the seasons and with its annual theme.

For additional information about directions and map please check this link at thier website (https://www.reimangardens.com/plan-your-visit/admissions-directions/).

Travel

By plane

The closest airport is DSM.

How to get from the airport to Ames:

By car

For detailed driving directions to Ames you can use google-maps or any other navigation app.

Local transportation

We do not recommend on taking a taxi in Ames. This is a less favorable option around Ames, you can use other local transportation options. You can alwasys walk or take\rental a bike.

Bus

Ames has a city bus system called CyRide.

You can use the real-time bus prediction service called MyRide.

For routes, timetables, fares and more information, call 515-292-1100 or visit www.cyride.com.

Ride share

If you need a door-to-door ride you can use uber or lyft.

Car

You can rent a car, either at the airport or in Ames.

Accommodation

We will have a conference hotel room block at the gateway, for other sleeping arrangements you could check this options: