The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle, 2 blocks away from the Westlake Light Rail station.

The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay.

Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass.

Further details on travel information, accommodation, and local attractions will appear shortly.