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.

Last updated: Dec 20 2023 at 11:08 UTC