
–
Coffee and Check-In
–
Welcome remarks from Simons and SLMath
–
Break
–
Lean Tutorial
–
Lunch (on your own)
–
Remarks by Patrick Shafto about a new DARPA program on AI & Math
–
Lean Tutorial/Exercises
–
Break
–
Lean Tutorial/Exercises
–
Coffee and Check-In
–
Break
–
Machine Learning Tutorial
–
Lunch (on your own)
–
Machine Learning/Exercises
–
Break
–
Machine Learning/Exercises
–
Coffee and Check-In
–
–
Break
–
SAT Tutorial
–
Lunch (on your own)
–
SAT Tutorial / Exercises
–
Break
–
SAT Tutorial / Exercises
–
Coffee and Check-In
–
Break
–
Lunch (on your own)
–
Tool Demos/Exploration
–
Break
–
Tool Demos/Exploration
–
Coffee and Check-In
–
Break
–
Tool Demos/Exploration
–
Lunch (on your own)
–
Discussion
–
Break
–
Tool Demos/Exploration
Share this page