Zulip Chat Archive

Stream: Geographic locality

Topic: Pittsburgh, PA


view this post on Zulip Koundinya Vajjha (Apr 12 2020 at 13:15):

Pittsburgh represent!
The Pittsburgh area has a very active Lean community, centered around Carnegie Mellon University and the neighboring University of Pittsburgh.

We have weekly Lean meetings every Tuesday at 4.30pm in Thackeray Hall at Pitt. (At least we used to, until the university closed down.)

view this post on Zulip Jeremy Avigad (Apr 12 2020 at 13:45):

We use the cmu-lean mailing list on Google groups for the weekly meeting announcements. It is a private mailing list but anyone is welcome to join. You should be able to find it on Google groups and click a button to send a request, but in any case you can email me at avigad@cmu.edu and I will send an invite.

The meetings are informal. Sometimes we just talk shop, but I generally try to line up a volunteer to present something they are working on or a paper they are reading, or lead a discussion. The topics are not restricted to Lean; participants are generally interested in all aspects of formal methods and their applications to mathematics.

We have had a few meetings by Zoom since the lockdown began. We'll take a break this week, but we're still planning to meet sporadically, as people volunteer to present. I have nearly all the slides done for a talk I was going to give at a phil math conference last week (https://princetonphilmath.wordpress.com/), so I'll present those a week from Tuesday (April 21) unless we get a better offer.

view this post on Zulip Tim Daly (Apr 14 2020 at 20:06):

Tim Daly

Out near the KPIT airport, just behind the Raccoon State Park.

view this post on Zulip William Sealy Gosset (Oct 06 2020 at 11:37):

I am in Bethel Park. Once this whole pandemic thing has resolved itself, I hope to become more involved with the Lean community at CMU and Pitt. My background is in financial engineering, and as a result my mathematics background is more on the applied side.


Last updated: May 09 2021 at 22:13 UTC