ITP 2019 will be held on the campus of Portland State University, in the heart of downtown Portland, Oregon. It will consist of three or four days of research presentations and invited talks, with the possibility of additional workshops to take place during the days before or after the main conference. In addition to the scientific program, the schedule will include an excursion and a conference dinner. Reasonably-priced hotel accommodation will be available directly adjacent to the conference site.
Portland is a hub of formal methods theory and practice. It is famous for its easy access to areas of outstanding natural beauty (including the Pacific coast, the Columbia River gorge, Mt. Hood, and Mt. St. Helens) and outdoor activities, its world-class food and beer culture, and its overall hipness and weirdness
Portland International Airport is currently served by 18 international and domestic airlines offering over 500 scheduled passenger arrivals and departures daily. Sixty U.S. cities offer nonstop flights to Portland, including Atlanta, Denver, Dallas, New York, Boston, San Francisco, Los Angeles, Seattle, Orlando, Washington, DC and Chicago. Internationally, you can fly direct to PDX from Amsterdam, Calgary, Frankfurt, Guadalajara, London, Puerto Vallarta, Reykjavik, Tokyo, Toronto and Vancouver. The largest international carrier in and out of Portland is Delta Airlines and Alaska Airlines has the largest presence domestically.
Getting to and from the airport
The airport is located 9 miles (14.5 km) northeast of downtown Portland and is conveniently connected to the city center via MAX light rail train.
The MAX light rail Red Line is the easiest way to travel to and from the airport. Here are some quick facts:
- The trip between the airport and downtown Portland takes about 38 minutes.
- An adult ticket costs $2.50 (Youth $1.25, Honored Citizen $1). MAX ticket machines return change in coins, so small bills are recommended.
- You can roll your luggage on board.
- The first train of the day arrives at PDX at 4:45 a.m. The last train departs PDX at 11:50 p.m.
- The MAX station and ticket machines are located on the lower level, next to the south baggage claim area (turn right at the base of the escalator). View airport map.
- Getting Here – Everything you need to know about arriving in Portland by plane or train.
- Getting Around – Traveling by light rail, streetcar, bus, bike, foot or car.
- Maps – Find maps of the city and region and specialized transportation maps.
- Food & Drink – America’s best food city (per the Washington Post) offers farm-to-table dining, innovative food carts, acclaimed craft beer, stellar coffee and more.
- Activities & Attractions – Portland’s attractions range from gardens and museums to retailers of coffee, doughnuts and books; tax-free shopping, cycling and hiking top the to-do list.
- Neighborhoods & Regions – It’s easy and fun to explore Portland’s neighborhoods filled with cultural offerings, local retailers, restaurants and shopping.