Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.
Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
Register now for the Women in Data Science (WiDS) Worldwide conference 2022, a technical conference featuring outstanding women discussing their exceptional work in data science and related fields, in a wide variety of research domains. Everyone is welcome and encouraged to attend. This conference is a hybrid event, in-person at Stanford University and online. The in-person event is sold out, except for a few tickets for Academia (faculty/staff)/Non-profit/Government. http://bit.ly/widsworldwide2022_stanfordeventcalendar Tickets are on sale now for the virtual conference, which will start two hours earlier than the in-person conference (6:00 am PST). The first 5,000 students who register can do so for free. Additional discounts are available for Academia (faculty/staff/postdoc)/Non-profit/Government.
More Information:
https://www.widsconference.org/