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