Pittsburgh, PA

Stream: Geographic locality

[Koundinya Vajjha]

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.)

[Jeremy Avigad]

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.

[Tim Daly]

Tim Daly

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

[William Sealy Gosset]

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.

[Tomas Skrivan]

Just arrived to Pittsburgh, I'm joining CMU to work on scientific computing in Lean. Looking forward to meeting everyone!

[Kevin Buzzard]

Oh that's great news! Expecting more great things from SciLean!

[Joel McCracken]

Hi, I'm in Pittsburgh. I don't know how involved I will be with the local lean community, but if I can make any event I will do it! I'm a professional programmer, write haskell in my day job, and interested in Lean.

[Joel McCracken]

Also, I help run the pgh functional programming meetup group. We haven’t really had many events since pandemic, but our slack chat is active and we get together many weeks via zoom to chat about what we’ve been hacking on lately. If any of you are interested, let me know and I’ll get you an invitation. And if anyone would like to give a talk on any topics, either over zoom or in person, we’d be happy to host you!

[Jeremy Avigad]

@Joel McCracken, we've been doing an informal software verification reading group at the Hoskinson Center at Carnegie Mellon on Fridays at 10am. (There is no meeting this week; it's spring break.) If you might want to attend some of them, let me know, and I'll send you an invite to our Google group mailing list.

[Joel McCracken]

@Jeremy Avigad Sure, i'd love to be on the mailing list at the very least; you can send the invite to mccracken.joel@gmail.com

[Joel McCracken]

Funnily enough, I just read http://philsci-archive.pitt.edu/20979/7/talk_archive.pdf

[Patrick Massot]

I just joined the Hoskinson center in Pittsburgh for one year! During the fall semester I'll be at CMU for sure at least on Monday, Wednesday and Friday since I'll be teaching interactive theorem proving those days.