Discussion: ICARM

Stream: general

[Matthew Ballard]

For questions and discussions about ICARM

[Kevin Buzzard]

Congratulations!

(see #announce > ICARM - A new NSF DMS institute @ 💬 for announcement)

[Floris van Doorn]

This is really great news! Congratulations, and thanks to the work you and others put into this.

[Matthew Ballard]

There are many people and organizations to thank for support including the Lean Community, the maintainers team particularly @Heather Macbeth , and the Lean FRO!

[Patrick Massot]

I was in Pittsburgh all of last year and I can tell everybody here that Jeremy Avigad put an insane amount of work into this. Of course many people worked on this, but this institute wouldn’t exist without Jeremy’s passion for helping other people getting a great environment to enjoy science in general and formal methods in particular.

[Jeremy Avigad]

If we tried to acknowledge all the people who helped make this happen, the list would be endless. The program directors at the NSF were heroic in finding a way to make this work in the current environment. We had business managers waking up in the middle of the night to work on paperwork. And the real work is just about to begin! We will lean on all of you in the months ahead.

[Alex Kontorovich]

Fantastic news, Congrats to all involved!!!