Make a Reservation

Welcome to the Wyndham Pittsburgh University Center! You can make your room reservation for the Formal Methods in Mathematics / Lean Together 2020 group by clicking here.

Stay dates:

1/5/2020 - 1/11/2020

Cancellation Policy: 

Cancel 24hrs prior to 6pm day of arrival to avoid a 1 night charge plus tax.

Additional Info: 

$12 Parking Per Night