diff --git a/data/events.yaml b/data/events.yaml index 904df59c9..da568a135 100644 --- a/data/events.yaml +++ b/data/events.yaml @@ -1,3 +1,10 @@ +- title: Lean for Mathematicians + url: https://sites.google.com/view/simonsleanworkshop2025 + start_date: June 16 2025 + end_date: June 27 2025 + location: New York, NY, USA + type: tutorial + - title: Autoformalization for the Working Mathematician url: https://icerm.brown.edu/program/hot_topics_workshop/htw-25-aftwm start_date: April 24 2025