Hoskinson Center web pages

Stream: general

[Jeremy Avigad]

The Hoskinson Center for Formal Mathematics finally has a home page: https://www.cmu.edu/hoskinson/.

Also, construction is almost done on a suite in Baker Hall, a nice meeting space and a couple of offices. If any of you are coming through Pittsburgh, come visit!

[Filippo A. E. Nuccio]

I read here that you are organising with Heather and Patrick a summer school at Berkely in the summer of... 2022. Isn't it in the summer of 2023, perhaps? Or is it really happening this month?

[Patrick Massot]

This is indeed a typo @Jeremy Avigad

[Patrick Massot]

Those pages already look nice but quickly adding pictures would make them much nicer (mostly pictures of people but places too).

[Jeremy Avigad]

Thanks, Filippo. The typos is fixed. Patrick, I agree -- I'll work on it.