Lean for the Curious Mathematician 2022
Institute for Computational and Experimental Research in Mathematics (ICERM)
July 11, 2022 - July 15, 2022
Your device timezone is . Do you want to view schedules in or choose a custom timezone?
Monday, July 11, 2022
-
8:30 - 8:50 am EDTCheck In11th Floor Collaborative Space
-
8:50 - 9:00 am EDTWelcome11th Floor Lecture Hall
- Brendan Hassett, ICERM/Brown University
-
9:00 - 10:00 am EDTOrganizer Welcome / Introduction to LeanProgram Overview - 11th Floor Lecture Hall
- Jeremy Avigad, Carnegie Mellon University
-
10:00 - 10:30 am EDTCoffee Break11th Floor Collaborative Space
-
10:30 am - 12:30 pm EDTNatural Number Game demo+exercisesTutorial - 11th Floor Lecture Hall
- Kevin Buzzard, Imperial College London
-
12:30 - 2:00 pm EDTLunch/Free Time
-
2:00 - 3:00 pm EDTWhat's been formalized?/Co-ordinate projectsGroup Presentations - 11th Floor Lecture Hall
- Heather Macbeth, Fordham University
-
3:00 - 3:30 pm EDTCoffee Break11th Floor Collaborative Space
-
3:30 - 5:00 pm EDTInstalling Lean + Natural Number Game exercisesTutorial - 11th Floor Lecture Hall
-
5:00 - 6:30 pm EDTReception11th Floor Collaborative Space
Tuesday, July 12, 2022
-
9:00 - 10:00 am EDT
-
10:00 - 10:30 am EDTCoffee Break11th Floor Collaborative Space
-
10:30 am - 12:30 pm EDT
-
12:30 - 2:00 pm EDTLunch/Free Time
-
2:00 - 3:00 pm EDTSets and FunctionsTutorial - 11th Floor Lecture Hall
- Mario Carneiro, Carnegie Mellon University
-
3:00 - 3:30 pm EDTCoffee Break11th Floor Collaborative Space
-
3:30 - 5:00 pm EDT
Wednesday, July 13, 2022
-
9:00 - 10:00 am EDT
-
10:00 - 10:30 am EDTCoffee Break11th Floor Collaborative Space
-
10:30 am - 12:25 pm EDTCode review for projectsTutorial - 11th Floor Lecture Hall
-
12:25 - 12:30 pm EDTGroup Photo (Immediately After Talk)11th Floor Lecture Hall
-
12:30 - 2:00 pm EDTLunch/Free Time
-
2:00 - 3:00 pm EDTTopological hierarchyTutorial - 11th Floor Lecture Hall
- Patrick Massot, Université Paris-Saclay at Orsay
-
3:00 - 3:30 pm EDTCoffee Break11th Floor Collaborative Space
-
3:30 - 5:00 pm EDT
Thursday, July 14, 2022
-
9:00 - 10:00 am EDTElementary number theoryTutorial - 11th Floor Lecture Hall
- María Inés de Frutos Fernández, Imperial College London
-
10:00 - 10:30 am EDTCoffee Break11th Floor Collaborative Space
-
10:30 am - 12:30 pm EDTUsing Lean for TeachingPanel Discussion - 11th Floor Lecture Hall
- Speakers
- Kevin Buzzard, Imperial College London
- Robert Lewis, Brown University
- Patrick Massot, Université Paris-Saclay at Orsay
- Moderator
- Oliver Nash, Imperial College London
-
12:30 - 2:00 pm EDTLunch/Free Time
-
2:00 - 3:00 pm EDT
-
3:00 - 3:30 pm EDTCoffee Break11th Floor Collaborative Space
-
3:30 - 5:00 pm EDT
Friday, July 15, 2022
-
9:00 - 10:00 am EDT
-
10:00 - 10:30 am EDTCoffee Break11th Floor Collaborative Space
-
10:30 am - 12:30 pm EDT
-
12:30 - 2:00 pm EDTLunch/Free Time
-
2:00 - 3:00 pm EDTTowards algebraic geometryTutorial - 11th Floor Lecture Hall
- Kevin Buzzard, Imperial College London
-
3:00 - 3:30 pm EDTCoffee Break11th Floor Collaborative Space
-
3:30 - 5:00 pm EDTProject/ exercisesTutorial - 11th Floor Lecture Hall
All event times are listed in ICERM local time in Providence, RI (Eastern Daylight Time / UTC-4).
All event times are listed in .
ICERM local time in Providence, RI is Eastern Daylight Time (UTC-4). Would you like to switch back to ICERM time or choose a different custom timezone?
Schedule Timezone Updated