[Alta-Logic] Fwd: summer workshop on interactive theorem proving

[Richard Zach]

Jeremy Avigad sent me this and I thought I'd pass it on to all of you:


I hope this note finds you well. I am writing to draw your attention to 
a summer workshop, *Lean for the Curious Mathematician 2022*, at the 
Institute for Computational and Experimental Research in Mathematics 
(ICERM) in Providence, RI this summer, July 11-15.

https://icerm.brown.edu/topical_workshops/tw-22-lean/

The goal of the workshop is to introduce mathematicians to 
interactive proof assistants, a new technology for writing and checking 
mathematical proofs. No background in the area is needed, and it should 
be fun. ICERM provides funding for travel and lodging.

Please consider applying, and please share this information with anyone 
you know who might be interested. I believe the application deadline is 
March 1, though that information seems to be absent from the web page. 
We would especially like to encourage participation from 
underrepresented communities in mathematics.