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