July 7 - July 18 Summer School on Formalization of Mathematics ICARM 5000 Forbes Ave, Pittsburgh, PA, United States Workshop web page
