Formal Methods in Mathematics / Lean Together 2020
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.
1/5/2020 - 1/11/2020
Cancel 24hrs prior to 6pm day of arrival to avoid a 1 night charge plus tax.
$12 Parking Per Night