Zulip Chat Archive

Stream: Geographic locality

Topic: Colorado

Evelyn Mitchell (Apr 12 2020 at 14:11):

I'm in Colorado, US

Dan Stanescu (Apr 12 2020 at 21:53):

@Evelyn Mitchell Are you in Fort Collins by chance?

Evelyn Mitchell (Apr 13 2020 at 02:26):

I am. Are you?

Dan Stanescu (Apr 13 2020 at 14:36):

Nope, but Laramie is not that far. Good to know there's someone interested in Lean close by.

Evelyn Mitchell (Apr 13 2020 at 15:28):

I also know a few people in Boulder who are interested in Formal Methods. Perhaps a virtual meetup is in order.

Dan Stanescu (Apr 13 2020 at 21:51):

Agreed.

James B. Wilson (Jun 12 2023 at 18:27):

Not sure this got off the ground. I am Fort Collins based and run a grad/post doc seminar that meets on type theory and related topics in Fort Collins. Should there be interest let me know.

Caleb Jares (Dec 19 2025 at 03:42):

I'm near Boulder and interested in lean/mathlib. @James B. Wilson do you still do seminars?

Last updated: Dec 20 2025 at 21:32 UTC